product-profunctors-0.11.0.2: product-profunctors
Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.Product.Internal.TH

Documentation

data ConTysFields Source #

Constructors

ConTys [Type]

^ The type of each constructor field

FieldTys [(Name, Type)]

^ The fieldname and type of each constructor field

instanceDefinition :: Maybe (Either () ()) -> Name -> Int -> Int -> Name -> Name -> Q Dec Source #

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

classP :: Name -> [Q Type] -> Q Type Source #

tupP :: [Pat] -> Pat Source #

tupE :: [Exp] -> Exp Source #

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