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 [Name]

^ The type of each constructor field

FieldTys [(Name, Name)]

^ 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

varNameOfType :: Type -> Either Error Name

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 -> 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

allTyVars :: Int -> [String]

o :: Exp -> Exp -> Exp

varS :: String -> Exp

varPS :: String -> Pat

mkTyVarsuffix :: String -> String -> TyVarBndr

mkTySuffix :: String -> String -> Type

mkVarTsuffix :: String -> String -> Type

varTS :: String -> Type

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

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

appArrow :: Type -> Type -> Type

simpleClause :: Body -> Clause