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.