Safe Haskell	Safe-Infered

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
Show DynValue
Realmable DynValue

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 whereSource

Something that can be converted to DynValue

Methods

toDyn :: a -> DynValue Source

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`