product-profunctors-0.8.0.3: product-profunctors

Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.Product.Internal.TH

Documentation

type Error = String #

data ConTysFields #

Constructors

ConTys [Name]

^ The type of each constructor field

FieldTys [(Name, Name)]

^ The fieldname and type of each constructor field

data DataDecStuff #

Constructors

DataDecStuff 

adaptorSig :: Name -> Int -> Name -> Q Dec #

adaptorDefinitionFields :: Name -> [(Name, name)] -> Name -> Dec #

xTuple :: ([Pat] -> Pat) -> ([Exp] -> Exp) -> (Name, Int) -> Dec #

fromTuple :: Name -> (Name, Int) -> Dec #

toTuple :: Name -> (Name, Int) -> Dec #

pArg' :: Name -> String -> Int -> Type #

o :: Exp -> Exp -> Exp #

appTAll :: Type -> [Type] -> Type #

appEAll :: Exp -> [Exp] -> Exp #