| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.Foil.TH.MkToFoil
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 conversion functions from raw to scope-safe representation.
mkExtendScopeFoilPattern Source #
Generate a function to extend scope with variables from a given pattern.
mkWithRefreshedFoilPattern Source #
Generate a function to extend scope with variables from a given pattern.