Safe Haskell | Safe-Infered |
---|
Documentation
data (TRealm rea, Typeable con) => Value rea con Source
value type, with its realm and content type discriminated in type level
FromNode | data obtained from the dataflow graph.
|
FromImm | data obtained as an immediate value.
|
(Eq rea, Eq con, Typeable con, TRealm rea) => Eq (Value rea con) | |
(Show rea, Show con, Typeable con, TRealm rea) => Show (Value rea con) | |
(TRealm rea, Typeable con) => Realmable (Value rea con) | |
(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)) |