Safe Haskell	None
Language	Haskell2010

Language.Paraiso.OM.DynValue

Description

The DynValue is stored in the OM dataflow graph type. DynValue carries the type and homogeneity information in value. Therefore, DynValue with various types can be stored in single container type such as graph.

Synopsis

Documentation

data DynValue Source

dynamic value type, with its realm and content type informed as values

Constructors

DynValue
Fields realm :: Realm typeRep :: TypeRep

Instances

Eq DynValue Source
Show DynValue Source
Realmable DynValue Source

mkDyn :: (TRealm r, Typeable c) => r -> c -> DynValue Source

Make DynValue value-level type, from the pair of Type-level type.

f2d :: (Functor f, ToDynable x) => f x -> f DynValue Source

map toDyn over functors. an idiom used in collecting OM static variables.

class ToDynable a where Source

Something that can be converted to DynValue

Methods

toDyn :: a -> DynValue Source

Instances

(TRealm r, Typeable * c) => ToDynable (StaticValue r c) Source	Convert `StaticValue` to `DynValue`
(TRealm r, Typeable * c) => ToDynable (Value r c) Source	Convert `Value` to `DynValue`