| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.Foil.TH.MkInstancesFoil
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 Sinkable and CoSinkable instances.
Generate Sinkable and CoSinkable instances.
deriveUnifiablePattern Source #
Generate Sinkable and CoSinkable instances.