free-foil-0.2.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

Safe Haskell	None
Language	Haskell2010

Control.Monad.Free.Foil.TH.PatternSynonyms

Synopsis

mkPatternSynonyms :: Name -> Q [Dec]
mkPatternSynonym :: Type -> Name -> Name -> Con -> Q [(Name, Dec)]

Documentation

mkPatternSynonyms Source #

Arguments

:: Name	Type name for the signature bifunctor.
-> Q [Dec]

Generate helpful pattern synonyms given a signature bifunctor.

mkPatternSynonym :: Type -> Name -> Name -> Con -> Q [(Name, Dec)] Source #