THLego.Helpers

Decs

typeSynonymDec :: Name -> Type -> Dec

recordNewtypeDec :: Name -> Name -> Type -> Dec

normalNewtypeDec :: Name -> Type -> Dec

recordAdtDec :: Name -> [(Name, Type)] -> Dec

productAdtDec :: Name -> [Type] -> Dec

sumAdtDec :: Name -> [(Name, [Type])] -> Dec

sumCon :: Name -> [Type] -> Con

enumDec :: Name -> [Name] -> Dec

textName :: Text -> Name

textTyLit :: Text -> TyLit

noBang :: Bang

fieldBang :: Bang

multiAppT :: Type -> [Type] -> Type

multiAppE :: Exp -> [Exp] -> Exp

arrowChainT :: [Type] -> Type -> Type

appliedTupleT :: [Type] -> Type

appliedTupleOrSingletonT :: [Type] -> Type

appliedTupleE :: [Exp] -> Exp

appliedTupleOrSingletonE :: [Exp] -> Exp

indexName :: Int -> Name

enumNames :: Int -> [Name]

aName :: Name

bName :: Name

cName :: Name

eqConstraintT :: Name -> Type -> Type