Data.Registry.Internal.Types

List of types used inside the Registry

Documentation

data Value

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

Constructors

CreatedValue Dynamic ValueDescription (Maybe Context) (Maybe Specialization) Dependencies

ProvidedValue Dynamic ValueDescription

Instances

Eq Value

Defined in Data.Registry.Internal.Types

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Show Value

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Hashable Value

Defined in Data.Registry.Internal.Types

Methods

hashWithSalt :: Int -> Value -> Int

hash :: Value -> Int

data ValueDescription

Description of a value. It might just have a description for its type when it is a value created by the resolution algorithm

Constructors

ValueDescription

Fields

• _valueType :: Text
• _valueValue :: Maybe Text

Instances

Eq ValueDescription

Defined in Data.Registry.Internal.Types

Methods

(==) :: ValueDescription -> ValueDescription -> Bool

(/=) :: ValueDescription -> ValueDescription -> Bool

Show ValueDescription

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> ValueDescription -> ShowS

show :: ValueDescription -> String

showList :: [ValueDescription] -> ShowS

Hashable ValueDescription

Defined in Data.Registry.Internal.Types

Methods

hashWithSalt :: Int -> ValueDescription -> Int

hash :: ValueDescription -> Int

describeValue :: (Typeable a, Show a) => a -> ValueDescription

Describe a value with its type and actual content

describeTypeableValue :: Typeable a => a -> ValueDescription

Describe a value with only its type

showValue :: Value -> Text

Show a Value from the Registry

createValue :: (Typeable a, Show a) => a -> Value

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

makeProvidedValue :: Dynamic -> ValueDescription -> Value

Make a ProvidedValue

makeCreatedValue :: Dynamic -> ValueDescription -> Dependencies -> Value

make a CreatedValue in no particular context

createTypeableValue :: Typeable a => a -> Value

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

createDynValue :: Dynamic -> Text -> Value

Create a Value from a Dynamic value and some description

valueDynTypeRep :: Value -> SomeTypeRep

Type representation of a Value

valueDyn :: Value -> Dynamic

Dynamic representation of a Value

valDescription :: Value -> ValueDescription

The description for a Value

valDependencies :: Value -> Dependencies

The dependencies for a Value

valDescriptionToText :: ValueDescription -> Text

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

specializationContext :: Value -> Maybe Context

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

usedSpecialization :: Value -> Maybe Specialization

Return the specialization used to create a specific values

isInSpecializationContext :: SomeTypeRep -> Value -> Bool

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

hasSpecializedDependencies :: Specializations -> Value -> Bool

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

data Function

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

Constructors

Function Dynamic FunctionDescription

Instances

Show Function

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Function -> ShowS

show :: Function -> String

showList :: [Function] -> ShowS

createFunction :: Typeable f => f -> Function

Create a Function value from a Haskell function

data FunctionDescription

Description of a Function with input types and output type

Constructors

FunctionDescription

Fields

• _inputTypes :: [Text]
• _outputType :: Text

Instances

Eq FunctionDescription

Defined in Data.Registry.Internal.Types

Methods

(==) :: FunctionDescription -> FunctionDescription -> Bool

(/=) :: FunctionDescription -> FunctionDescription -> Bool

Show FunctionDescription

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> FunctionDescription -> ShowS

show :: FunctionDescription -> String

showList :: [FunctionDescription] -> ShowS

describeFunction :: Typeable a => a -> FunctionDescription

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

showFunction :: Function -> Text

Show a Function as Text using its Description

funDescription :: Function -> FunctionDescription

The Description of a Function

funDyn :: Function -> Dynamic

Dynamic representation of a Function

funDynTypeRep :: Function -> SomeTypeRep

Type representation of a Function

funDescriptionToText :: FunctionDescription -> Text

A FunctionDescription as Text

hasParameters :: Function -> Bool

Return True if a Function has some input parameters

data Typed a

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

Constructors

TypedValue Value

TypedFunction Function

Instances

(Typeable a, Typeable b, insr ~ (Inputs a :++ (Inputs b :++ ('[] :: [Type]))), outr ~ '[Output a, Output b]) => AddRegistryUncheckedLike (Typed a) (Typed b) (Registry insr outr)

Defined in Data.Registry.Registry

Methods

(<+) :: Typed a -> Typed b -> Registry insr outr

(Typeable a, IsSubset (Inputs a) '[Output b] a, Inputs b ~ ('[] :: [Type]), Typeable b, insr ~ (Inputs a :++ (Inputs b :++ ('[] :: [Type]))), outr ~ '[Output a, Output b]) => AddRegistryLike (Typed a) (Typed b) (Registry insr outr)

Defined in Data.Registry.Registry

Methods

(<:) :: Typed a -> Typed b -> Registry insr outr

(Typeable a, insr ~ (Inputs a :++ ins2), outr ~ (Output a ': out2)) => AddRegistryUncheckedLike (Typed a) (Registry ins2 out2) (Registry insr outr)

Defined in Data.Registry.Registry

Methods

(<+) :: Typed a -> Registry ins2 out2 -> Registry insr outr

(Typeable a, IsSubset (Inputs a) out2 a, insr ~ (Inputs a :++ ins2), outr ~ (Output a ': out2)) => AddRegistryLike (Typed a) (Registry ins2 out2) (Registry insr outr)

Defined in Data.Registry.Registry

Methods

(<:) :: Typed a -> Registry ins2 out2 -> Registry insr outr

(Typeable a, insr ~ (Inputs a :++ ins2), outr ~ (Output a ': out2)) => AddRegistryUncheckedLike (Registry ins2 out2) (Typed a) (Registry insr outr)

Defined in Data.Registry.Registry

Methods

(<+) :: Registry ins2 out2 -> Typed a -> Registry insr outr

(Typeable a, IsSubset (Inputs a) out2 a, insr ~ (Inputs a :++ ins2), outr ~ (Output a ': out2)) => AddRegistryLike (Registry ins2 out2) (Typed a) (Registry insr outr)

Defined in Data.Registry.Registry

Methods

(<:) :: Registry ins2 out2 -> Typed a -> Registry insr outr

newtype Functions

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

Constructors

Functions [Function]

Instances

Show Functions

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Functions -> ShowS

show :: Functions -> String

showList :: [Functions] -> ShowS

Semigroup Functions

Defined in Data.Registry.Internal.Types

Methods

(<>) :: Functions -> Functions -> Functions

sconcat :: NonEmpty Functions -> Functions

stimes :: Integral b => b -> Functions -> Functions

Monoid Functions

Defined in Data.Registry.Internal.Types

Methods

mempty :: Functions

mappend :: Functions -> Functions -> Functions

mconcat :: [Functions] -> Functions

describeFunctions :: Functions -> Text

Display a list of constructors

addFunction :: Function -> Functions -> Functions

Add one more Function to the list of Functions

newtype Values

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

Constructors

Values

Fields

• unValues :: [Value]

Instances

Show Values

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Values -> ShowS

show :: Values -> String

showList :: [Values] -> ShowS

Semigroup Values

Defined in Data.Registry.Internal.Types

Methods

(<>) :: Values -> Values -> Values

sconcat :: NonEmpty Values -> Values

stimes :: Integral b => b -> Values -> Values

Monoid Values

Defined in Data.Registry.Internal.Types

Methods

mempty :: Values

mappend :: Values -> Values -> Values

mconcat :: [Values] -> Values

describeValues :: Values -> Text

Display a list of values

addValue :: Value -> Values -> Values

Add one more Value to the list of Values

data Context

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

Constructors

Context

Fields

• _contextStack :: [(SomeTypeRep, Maybe SomeTypeRep)]

Instances

Eq Context

Defined in Data.Registry.Internal.Types

Methods

(==) :: Context -> Context -> Bool

(/=) :: Context -> Context -> Bool

Show Context

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

Semigroup Context

Defined in Data.Registry.Internal.Types

Methods

(<>) :: Context -> Context -> Context

sconcat :: NonEmpty Context -> Context

stimes :: Integral b => b -> Context -> Context

Monoid Context

Defined in Data.Registry.Internal.Types

Methods

mempty :: Context

mappend :: Context -> Context -> Context

mconcat :: [Context] -> Context

contextTypes :: Context -> [SomeTypeRep]

Return the target types for a given context

newtype Dependencies

The values that a value depends on

Constructors

Dependencies

Fields

• unDependencies :: [Value]

Instances

Eq Dependencies

Defined in Data.Registry.Internal.Types

Methods

(==) :: Dependencies -> Dependencies -> Bool

(/=) :: Dependencies -> Dependencies -> Bool

Show Dependencies

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Dependencies -> ShowS

show :: Dependencies -> String

showList :: [Dependencies] -> ShowS

Semigroup Dependencies

Defined in Data.Registry.Internal.Types

Methods

(<>) :: Dependencies -> Dependencies -> Dependencies

sconcat :: NonEmpty Dependencies -> Dependencies

stimes :: Integral b => b -> Dependencies -> Dependencies

Monoid Dependencies

Defined in Data.Registry.Internal.Types

Methods

mempty :: Dependencies

mappend :: Dependencies -> Dependencies -> Dependencies

mconcat :: [Dependencies] -> Dependencies

newtype DependenciesTypes

The values types that a value depends on

Constructors

DependenciesTypes

Fields

• unDependenciesTypes :: [SomeTypeRep]

Instances

Eq DependenciesTypes

Defined in Data.Registry.Internal.Types

Methods

(==) :: DependenciesTypes -> DependenciesTypes -> Bool

(/=) :: DependenciesTypes -> DependenciesTypes -> Bool

Show DependenciesTypes

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> DependenciesTypes -> ShowS

show :: DependenciesTypes -> String

showList :: [DependenciesTypes] -> ShowS

Semigroup DependenciesTypes

Defined in Data.Registry.Internal.Types

Methods

(<>) :: DependenciesTypes -> DependenciesTypes -> DependenciesTypes

sconcat :: NonEmpty DependenciesTypes -> DependenciesTypes

stimes :: Integral b => b -> DependenciesTypes -> DependenciesTypes

Monoid DependenciesTypes

Defined in Data.Registry.Internal.Types

Methods

mempty :: DependenciesTypes

mappend :: DependenciesTypes -> DependenciesTypes -> DependenciesTypes

mconcat :: [DependenciesTypes] -> DependenciesTypes

dependenciesTypes :: Dependencies -> DependenciesTypes

dependenciesOn :: Value -> Dependencies

The dependencies of a value + the value itself

newtype Specializations

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

Constructors

Specializations

Fields

• unSpecializations :: [Specialization]

Instances

Show Specializations

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Specializations -> ShowS

show :: Specializations -> String

showList :: [Specializations] -> ShowS

Semigroup Specializations

Defined in Data.Registry.Internal.Types

Methods

(<>) :: Specializations -> Specializations -> Specializations

sconcat :: NonEmpty Specializations -> Specializations

stimes :: Integral b => b -> Specializations -> Specializations

Monoid Specializations

Defined in Data.Registry.Internal.Types

Methods

mempty :: Specializations

mappend :: Specializations -> Specializations -> Specializations

mconcat :: [Specializations] -> Specializations

data Specialization

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

Constructors

Specialization

Fields

• _specializationPath :: SpecializationPath
• _specializationValue :: Value

Instances

Eq Specialization

Defined in Data.Registry.Internal.Types

Methods

(==) :: Specialization -> Specialization -> Bool

(/=) :: Specialization -> Specialization -> Bool

Show Specialization

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Specialization -> ShowS

show :: Specialization -> String

showList :: [Specialization] -> ShowS

type SpecializationPath = NonEmpty SomeTypeRep

specializationPaths :: Value -> Maybe [SpecializationPath]

specializationStart :: Specialization -> SomeTypeRep

First type of a specialization

specializationEnd :: Specialization -> SomeTypeRep

Last type of a specialization

specializationTargetType :: Specialization -> SomeTypeRep

Return the type of the replaced value in a specialization

isContextApplicable :: Context -> Specialization -> Bool

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

applicableTo :: Specializations -> Context -> Specializations

Return the specifications valid in a given context

specializedContext :: Context -> Specialization -> SpecializedContext

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

data SpecializedContext

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.

Constructors

SpecializedContext

Fields

• _startRange :: Maybe Int
• _endRange :: Maybe Int

Instances

Eq SpecializedContext

Defined in Data.Registry.Internal.Types

Methods

(==) :: SpecializedContext -> SpecializedContext -> Bool

(/=) :: SpecializedContext -> SpecializedContext -> Bool

Ord SpecializedContext

A specialization range is preferrable to another one if its types are more specific (or "deepest" in the value graph) than the other If a path is limited to just one type then a path ending with the same type but specifying other types will take precedence See TypesSpec for some concrete examples.

Defined in Data.Registry.Internal.Types

Methods

compare :: SpecializedContext -> SpecializedContext -> Ordering

(<) :: SpecializedContext -> SpecializedContext -> Bool

(<=) :: SpecializedContext -> SpecializedContext -> Bool

(>) :: SpecializedContext -> SpecializedContext -> Bool

(>=) :: SpecializedContext -> SpecializedContext -> Bool

max :: SpecializedContext -> SpecializedContext -> SpecializedContext

min :: SpecializedContext -> SpecializedContext -> SpecializedContext

Show SpecializedContext

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> SpecializedContext -> ShowS

show :: SpecializedContext -> String

showList :: [SpecializedContext] -> ShowS

createValueFromSpecialization :: Context -> Specialization -> Value

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

describeSpecializations :: Specializations -> Text

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

newtype Modifiers

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

Constructors

Modifiers [(SomeTypeRep, ModifierFunction)]

Instances

Show Modifiers

Defined in Data.Registry.Internal.Types

Methods

showsPrec :: Int -> Modifiers -> ShowS

show :: Modifiers -> String

showList :: [Modifiers] -> ShowS

Semigroup Modifiers

Defined in Data.Registry.Internal.Types

Methods

(<>) :: Modifiers -> Modifiers -> Modifiers

sconcat :: NonEmpty Modifiers -> Modifiers

stimes :: Integral b => b -> Modifiers -> Modifiers

Monoid Modifiers

Defined in Data.Registry.Internal.Types

Methods

mempty :: Modifiers

mappend :: Modifiers -> Modifiers -> Modifiers

mconcat :: [Modifiers] -> Modifiers

type ModifierFunction = Maybe [SpecializationPath] -> Function

createConstModifierFunction :: Typeable f => f -> ModifierFunction

Create a Function value from a Haskell function

describeModifiers :: Modifiers -> Text

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