Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Monad.Free.Foil.TH.Signature
Documentation
Arguments
:: Name | Type name for raw terms. |
-> Name | Type name for raw variable identifiers. |
-> Name | Type name for raw scoped terms. |
-> Name | Type name for raw patterns. |
-> Q [Dec] |
Generate a signature for the free foil (or free scoped monads) based on a naïve recursive abstract syntax representation, with clearly separated types for terms, variable identifiers, scoped terms, and patterns (binders).