Language.Paraiso.OM.DynValue

The Value is flowing through the OM dataflow graph. Value carries the type and homogeneity information about the dataflow.

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

Symbolable Cpp 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