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.

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

Convert Value to DynValue