Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
An implementation of dynamic types using Copilot.Core.Type.Equality. The theory behind this technique is described the following paper:
- Baars, Arthur I. and Swierstra, S. Doaitse, "Typing dynamic typing", ACM SIGPLAN Notices vol. 37, p. 157-166, 2002
Documentation
data DynamicF :: (* -> *) -> (* -> *) -> * where Source #
Representation of a function accompanied by its type.
fromDyn :: EqualType t => t a -> Dynamic t -> Maybe a Source #
Extract a value from a dynamic. Return Nothing
if the value is not of
the given type.