Safe Haskell | None |
---|
- declareFunction :: Name -> DecsQ
- declareNamedSymbol :: (Name, String) -> DecsQ
- declareNamedFunction :: (Name, String) -> DecsQ
- declareNamedThing :: (Name, String, Name) -> DecsQ
Documentation
This module provides functions for automagically generating type-safe ExpG definitions from functions. For an example on how to use this,
you can look at the Prelude
module.
declareFunction :: Name -> DecsQSource
Declare a function. The name of the definition will be the name of the function with an added apostrophe. (Example: declareFunction 'add generates a definition with the name add').
declareNamedSymbol :: (Name, String) -> DecsQSource
Declare a symbol, using the given name for the definition.
declareNamedFunction :: (Name, String) -> DecsQSource
Make a ExpG for the given function, using the given name for the definition.