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

Control.Monad.Foil.TH.Util

Documentation

peelConT :: Type -> Maybe (Name, [Type]) Source #

unpeelConT :: Name -> [Type] -> Type Source #

pattern PeelConT :: Name -> [Type] -> Type Source #

tvarName :: TyVarBndr a -> Name Source #

removeName :: VarBangType -> BangType Source #