recursors-0.1.0.0: Auto-generate final encodings and their isomorphisms using Template Haskell

Safe HaskellNone
LanguageHaskell2010

Control.Final

Documentation

substituteType :: Type -> Type -> Type -> Type Source #

funType :: Type -> [Type] -> Type Source #

funCall :: Exp -> [Exp] -> Exp Source #

makeFinalIso :: String -> Name -> DecsQ Source #

makeFinalType :: String -> Cxt -> Name -> [TyVarBndr] -> [Con] -> DecsQ Source #