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.

A value can simply be provided by the user of the registry or created as the result of function application

Dependencies is the transitive list of all the values used to create a CreatedValue

The optional SpecializationContext is used for values created as the result of a specialization It stores the context of creation (the list of types we are currently trying to build) and the desired specialization (which must be a subtype of the context)

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 specialization used when specializing a value

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

Type representation of the output 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

A Untyped is used for storing either a value or a function in the registry

Drop the type variable

Return the output type of an untyped entry

Dynamic representation of a Function

This is a list of entries in the registry available for constructing values They are sorted by output type and if there are several available functions or values for a given type the first one in the list has the highest priority

Create a Entries data structure from a list of untyped entries

Create a list of functions from the Entries data structure

Create a list of values from the Entries data structure

Display a list of constructors

Display a list of values

Add one more Function to the list of Entries. It gets the highest priority for functions with the same output type

Add an entry to the list of Entries. It gets the highest priority for functions with the same output type

Add one more untyped entry to the list of Entries It gets the lowest priority for functions with the same output type This is not a very efficient because it requires a full recreation of the map

Add one more untyped entry to the list of Entries It gets the lowest priority for functions with the same output type This is not a very efficient because it requires a full recreation of the map

Find a function or value returning a target type from a list of entries

The types of values that we are trying to build at a given moment of the resolution algorithm. We also store the function requiring a given value type to provide better error messages IMPORTANT: this is a *stack*, the deepest elements in the value graph are first in the list

Return the target types for a given context

The values that a value depends on

The values types that a value depends on

Return the types of all the dependencies

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 a target value, which is the value to use when we need a value of 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

List of consecutive types used when making a specific values See the comments on Specialization

For each dependency of the value Return the specialization context of the value if - that dependency value is specialized - the current value is part of the context stack and part of a context path

First type of a specialization

Last type of a specialization

Return the type of the replaced value in a specialization

This represents the full context in which a value has been specialized Context is the full list of types leading to the creation of that value and Specialization is a sub path describing under which types the value must be specialized For example, when creating a FilePath used by a Logger the context could be: App -> Database -> Sql -> Logger and the Specialization just Database -> Logger to specify that the file path must have a specific value in that case

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

Return the specializations valid in a given context Those are the specializations which path is a subpath of the current 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.

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 Note: there are no dependencies for this value since it has been directly provided by a Specialization

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

A ModifierFunction modifies an already created value If that value has been created as the result of a specialization then the specialization path is also passed to the function This is used for memoizing actions using a cache so that we cache each specialized value separately.

Create a ModifierFunction value from a Haskell function The application of that function does not depend on the fact that we are trying to apply it to a specialized value

Create a ModifierFunction value from a Haskell function that will only act on unspecialized values

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

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

Create a Values data structure from a list of values

Return values as a list

Add one more Value to the list of Values

Add one more Value to the list of Values It gets the lowest priority for values with the same type This is not a very efficient because it requires a full recreation of the map

Find all the values with a specific type from a list of values

Find the first value with a specific type from a list of values