Documentation

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

type Error = String Source

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

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

dataDecStuffOfInfo :: Info -> Either Error (Name, [Name], Name, [Name]) Source

varNameOfType :: Type -> Either Error Name Source

varNameOfBinder :: TyVarBndr -> Name Source

conStuffOfConstructor :: Con -> Either Error (Name, [Name]) Source

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

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

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

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

tupleAdaptors :: Int -> Name Source

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

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

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

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

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

allTyVars :: Int -> [String] Source

o :: Exp -> Exp -> Exp Source

varS :: String -> Exp Source

varPS :: String -> Pat Source

mkTyVarsuffix :: String -> String -> TyVarBndr Source

mkTySuffix :: String -> String -> Type Source

mkVarTsuffix :: String -> String -> Type Source

varTS :: String -> Type Source

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

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

appArrow :: Type -> Type -> Type Source

simpleClause :: Body -> Clause Source