Data.Profunctor.Product.Internal.TH

Documentation

makeAdaptorAndInstanceI :: Maybe String -> Name -> Q [Dec]

type Error = String

makeAdaptorAndInstanceE :: Maybe String -> Info -> Either Error (Q [Dec])

newtypeInstance :: Name -> Name -> Q [Dec]

data ConTysFields

Constructors

ConTys [Type]

^ The type of each constructor field

FieldTys [(Name, Type)]

^ The fieldname and type of each constructor field

lengthCons :: ConTysFields -> Int

data DataDecStuff

Constructors

DataDecStuff

Fields

• dTyName :: Name
• dTyVars :: [Name]
• dConName :: Name
• dConTys :: ConTysFields

dataDecStuffOfInfo :: Info -> Either Error DataDecStuff

varNameOfBinder :: TyVarBndr -> Name

conStuffOfConstructor :: Con -> Either Error (Name, ConTysFields)

constructorOfConstructors :: [Con] -> Either Error Con

extractConstructorStuff :: [Con] -> Either Error (Name, ConTysFields)

instanceDefinition :: Name -> Int -> Int -> Name -> Name -> Q Dec

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

tupleAdaptors :: Int -> Name

adaptorDefinition :: Int -> Name -> Name -> Q Dec

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

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

tupP :: [Pat] -> Pat

tupE :: [Exp] -> Exp

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

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

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

allTyVars :: Int -> [String]

varS :: String -> Exp

varPS :: String -> Pat

mkTyVarsuffix :: String -> String -> TyVarBndr

mkTySuffix :: String -> String -> Type

mkVarTsuffix :: String -> String -> Q Type

varTS :: String -> Type

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

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

simpleClause :: Body -> Clause