Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Paraiso.OM.Value
Description
Documentation
value type, with its realm and content type discriminated in type level
Constructors
FromNode | data obtained from the dataflow graph.
|
FromImm | data obtained as an immediate value.
|
Instances
(Eq rea, Eq con) => Eq (Value rea con) | |
(Show rea, Show con) => Show (Value rea con) | |
(TRealm rea, Typeable * con) => Realmable (Value rea con) | |
(TRealm r, Typeable * c) => ToDynable (Value r c) | |
(TRealm r, Typeable * c, C c, Fractional c) => Fractional (Builder v g a (Value r c)) | you can convert GHC floating point immediates to |
(TRealm r, Typeable * c, C c) => Num (Builder v g a (Value r c)) | you can convert GHC numeric immediates to |
(TRealm r, Typeable * c) => C (Builder v g a (Value r c)) | choose the larger or the smaller of the two. |
(TRealm r, Typeable * c, C c) => C (Builder v g a (Value r c)) | |
(TRealm r, Typeable * c, C c) => C (Builder v g a (Value r c)) | |
(TRealm r, Typeable * c, C c) => C (Builder v g a (Value r c)) | |
(TRealm r, Typeable * c, C c) => C (Builder v g a (Value r c)) | |
(TRealm r, Typeable * c, C c) => C (Builder v g a (Value r c)) | Builder is Ring |
(TRealm r, Typeable * c, C c) => C (Builder v g a (Value r c)) | |
(TRealm r, Typeable * c) => C (Builder v g a (Value r c)) | |
(TRealm r, Typeable * c, C c) => C (Builder v g a (Value r c)) | |
TRealm r => Boolean (Builder v g a (Value r Bool)) |
data StaticValue rea con Source
static value type.
Constructors
StaticValue rea con |
Instances
(Eq rea, Eq con) => Eq (StaticValue rea con) | |
(Show rea, Show con) => Show (StaticValue rea con) | |
(TRealm r, Typeable * c) => ToDynable (StaticValue r c) | Convert |