Safe Haskell  SafeInfered 

Documentation
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) => 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.
StaticValue rea con 
(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 