Control.Monad.Foil.TH.MkInstancesFoil
mkInstancesFoil Source #
Arguments
Type name for raw terms.
Type name for raw variable identifiers.
Type name for raw scoped terms.
Type name for raw patterns.
Generate Sinkable and CoSinkable instances.
Sinkable
CoSinkable