Language.Paraiso.OM.DynValue

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.

Documentation

data DynValue

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

Constructors

DynValue

Fields

realm :: Realm

typeRep :: TypeRep

Instances

Eq DynValue

Show DynValue

Realmable DynValue

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

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

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

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

class ToDynable a where

Something that can be converted to DynValue

Methods

toDyn :: a -> DynValue

Instances

(TRealm r, Typeable * c) => ToDynable (StaticValue r c)

Convert StaticValue to DynValue

(TRealm r, Typeable * c) => ToDynable (Value r c)

Convert Value to DynValue