Documentation

makeAdaptorAndInstanceI :: Bool -> Maybe String -> Name -> Q [Dec] Source #

type Error = String Source #

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

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

data ConTysFields Source #

lengthCons :: ConTysFields -> Int Source #

data DataDecStuff Source #

dataDecStuffOfInfo :: Info -> Either Error DataDecStuff Source #

varNameOfBinder :: TyVarBndr_ flag -> Name Source #

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

constructorOfConstructors :: [Con] -> Either Error Con Source #

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

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

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

tupleAdaptors :: Int -> Name Source #

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

adaptorDefinitionFields :: Name -> [(Name, 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 #

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

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

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

allTyVars :: Int -> [String] Source #

varS :: String -> Exp Source #

varPS :: String -> Pat Source #

mkTyVarsuffix :: String -> String -> TyVarBndrSpec Source #

mkTySuffix :: String -> String -> Type Source #

mkVarTsuffix :: String -> String -> Q Type Source #

varTS :: String -> Type Source #

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

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

simpleClause :: Body -> Clause Source #