Documentation

A Value is the Dynamic representation of a Haskell value + its description It is either provided by the user of the Registry or created as part of the resolution algorithm If a Context is present for a a created value this means that this value has been written as the result of a specialization. The first type of the list of types in the context is the types under which the specialization must apply and the other types are "parents" of the current value in the value graph

This registers the specific context in which a valu | Description of a value. It might just have a description for its type when it is a value created by the resolution algorithm

Describe a value with its type and actual content

Describe a value with only its type

Show a Value from the Registry

Create a Value from a Haskell value, using its Show instance for its description

Make a ProvidedValue

make a CreatedValue in no particular context

Create a Value from a Haskell value, with only its Typeable description

Create a Value from a Dynamic value and some description

Type representation of a Value

Dynamic representation of a Value

The description for a Value

The dependencies for a Value

A ValueDescription as Text. If the actual content of the Value is provided display the type first then the content

Return the creation context for a given value when it was created as the result of a "specialization"

Return the specialization used to create a specific values

Return True if a type is part of the specialization context of a Value

Return True if a value has transitives dependencies which are specialized values

A Function is the Dynamic representation of a Haskell function + its description

Create a Function value from a Haskell function

Description of a Function with input types and output type

Describe a Function (which doesn't have a Show instance) that can be put in the Registry

Show a Function as Text using its Description

The Description of a Function

Dynamic representation of a Function

Type representation of a Function

A FunctionDescription as Text

Return True if a Function has some input parameters

A Typed value or function can be added to a Registry It is either a value, having both Show and Typeable information or a function having just Typeable information

This is a list of functions (or "constructors") available for constructing values

Display a list of constructors

Add one more Function to the list of Functions

List of values available which can be used as parameters to constructors for building other values

Display a list of values

Add one more Value to the list of Values

The types of values that we are trying to build at a given moment of the resolution algorithm. IMPORTANT: this is a *stack*, the deepest elements in the value graph are first in the list

The values that a value depends on

The values types that a value depends on

The dependencies of a value + the value itself

Specification of values which become available for construction when a corresponding type comes in context

A specialization is defined by a path of types, from top to bottom in the value graph and target value, which is the value to use when we need a value on that type on that path. For example: specializationPath = [App, PaymentEngine, TransactionRepository] specializationValue = DatabaseConfig "localhost" 5432 This means that need to use this DatabaseConfig whenever trying to find inputs needed to create a TransactionRepository if that repository is necessary to create a PaymentEngine, itself involved in the creation of the App

First type of a specialization

Last type of a specialization

Return the type of the replaced value in a specialization

A specialization is applicable to a context if all its types are part of that context, in the right order

Return the specifications valid in a given context

The depth of a specialization in a context is the the index of the deepest type of that specialization in the stack of types of that context is the one having its "deepest" type (in the value graph) the "deepest" in the current context If there is a tie we take the "highest" highest type of each

For a given context this represents the position of a specialization path in that context. startRange is the index of the start type of the specialization endRange is the index of the last type.

Restrict a given context to the types of a specialization specializedContext :: Context -> Specialization -> Context specializedContext (Context cs) specialization = Context $ P.dropWhile (/= specializationEnd specialization) . dropWhileEnd (/= specializationStart specialization) $ cs

In a given context, create a value as specified by a specialization the full context is necessary since the specificationPath is only a subpath of a given creation context

Display a list of specializations for the Registry, just showing the context (a type) in which a value must be selected

List of functions modifying some values right after they have been built. This enables "tweaking" the creation process with slightly different results. Here SomeTypeRep is the target value type a and

Display a list of modifiers for the Registry, just showing the type of the modified value