| 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).