Moduleproduct-profunctors-0.11.1.1Haskell2010

Data.Profunctor.Product.Internal.TH

Synopsis

valuemakeAdaptorAndInstanceI :: Bool -> Maybe String -> Name -> Q [Dec]

typetype Error = String

valuemakeAdaptorAndInstanceE

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

datadata ConTysFields

valuelengthCons :: ConTysFields -> Int

datadata DataDecStuff

valuedataDecStuffOfInfo :: Info -> Either Error DataDecStuff

valuevarNameOfBinder :: TyVarBndr_ flag -> Name

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

valueconstructorOfConstructors :: [Con] -> Either Error Con

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

valueinstanceDefinition

valueadaptorSig :: Name -> Int -> Name -> Q Dec

valuetupleAdaptors :: Int -> Name

valueadaptorDefinition :: Int -> Name -> Name -> Q Dec

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

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

valueclassP :: Name -> [Q Type] -> Q Type

valuetupP :: [Pat] -> Pat

valuetupE :: [Exp] -> Exp

valueconP :: Name -> [Pat] -> Pat

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

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

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

valueallTyVars :: Int -> [String]

valuevarS :: String -> Exp

valuevarPS :: String -> Pat

valuemkTyVarsuffix :: String -> String -> TyVarBndrSpec

valuemkTySuffix :: String -> String -> Type

valuemkVarTsuffix :: String -> String -> Q Type

valuevarTS :: String -> Type

valueappTAll :: Type -> [Type] -> Type

valueappEAll :: Exp -> [Exp] -> Exp

valuesimpleClause :: Body -> Clause