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.