Safe Haskell | Safe-Infered |
---|
Documentation
dynamic value type, with its realm and content type informed as values
mkDyn :: (TRealm r, Typeable c) => r -> c -> DynValueSource
Make DynValue
value-level type, from the pair of Type-level type.
Safe Haskell | Safe-Infered |
---|
dynamic value type, with its realm and content type informed as values
mkDyn :: (TRealm r, Typeable c) => r -> c -> DynValueSource
Make DynValue
value-level type, from the pair of Type-level type.