ftypes-0.1.0.0: Initial project template from stack

Safe HaskellNone
LanguageHaskell2010

FTypes.Internal.TH.Helpers

Synopsis

Documentation

destructure :: ExpQ -> PatQ -> ExpQ -> ExpQ

Generates `case $val of { $pat -> $exp }`

appEs :: ExpQ -> [ExpQ] -> ExpQ

Generates `f arg1 ... argn`

apAppEs :: ExpQ -> [ExpQ] -> ExpQ

Generates `f * arg1 * ... * argn`

liftAppEs :: ExpQ -> [ExpQ] -> ExpQ

Generates `f $ arg1 * ... * argn`

nameFromTyVarBndr :: TyVarBndr -> Name

Extract the name from a TyVarBndr.

conAppsT :: Name -> [Type] -> Type

Apply arguments to a type constructor.