Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Base DSL which makes use of phantom types. Use this DSL for defining programs as opposed to data type definitions.
Documentation
ref :: Definition a -> Datum a Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Base DSL which makes use of phantom types. Use this DSL for defining programs as opposed to data type definitions.
ref :: Definition a -> Datum a Source #