| ||||||||
| ||||||||
| ||||||||
| Description | ||||||||
| Synopsis | ||||||||
| Syntax building functions | ||||||||
| name :: String -> Name | ||||||||
| sym :: String -> Name | ||||||||
| var :: Name -> Exp | ||||||||
| op :: Name -> QOp | ||||||||
| qvar :: ModuleName -> Name -> Exp | ||||||||
| pvar :: Name -> Pat | ||||||||
| app :: Exp -> Exp -> Exp | ||||||||
| infixApp :: Exp -> QOp -> Exp -> Exp | ||||||||
| appFun :: Exp -> [Exp] -> Exp | ||||||||
| pApp :: Name -> [Pat] -> Pat | ||||||||
| tuple :: [Exp] -> Exp | ||||||||
| pTuple :: [Pat] -> Pat | ||||||||
| varTuple :: [Name] -> Exp | ||||||||
| pvarTuple :: [Name] -> Pat | ||||||||
| function :: String -> Exp | ||||||||
| strE :: String -> Exp | ||||||||
| charE :: Char -> Exp | ||||||||
| intE :: Integer -> Exp | ||||||||
| strP :: String -> Pat | ||||||||
| charP :: Char -> Pat | ||||||||
| intP :: Integer -> Pat | ||||||||
| doE :: [Stmt] -> Exp | ||||||||
| lamE :: SrcLoc -> [Pat] -> Exp -> Exp | ||||||||
| letE :: [Decl] -> Exp -> Exp | ||||||||
| caseE :: Exp -> [Alt] -> Exp | ||||||||
| alt :: SrcLoc -> Pat -> Exp -> Alt | ||||||||
| altGW :: SrcLoc -> Pat -> [Stmt] -> Exp -> Binds -> Alt | ||||||||
| listE :: [Exp] -> Exp | ||||||||
| eList :: Exp | ||||||||
| peList :: Pat | ||||||||
| paren :: Exp -> Exp | ||||||||
| pParen :: Pat -> Pat | ||||||||
| qualStmt :: Exp -> Stmt | ||||||||
| genStmt :: SrcLoc -> Pat -> Exp -> Stmt | ||||||||
| letStmt :: [Decl] -> Stmt | ||||||||
| binds :: [Decl] -> Binds | ||||||||
| noBinds :: Binds | ||||||||
| wildcard :: Pat | ||||||||
| genNames :: String -> Int -> [Name] | ||||||||
| More advanced building | ||||||||
| sfun :: SrcLoc -> Name -> [Name] -> Rhs -> Binds -> Decl | ||||||||
| A function with a single match | ||||||||
| simpleFun :: SrcLoc -> Name -> Name -> Exp -> Decl | ||||||||
| A function with a single match, a single argument, no guards and no where declarations | ||||||||
| patBind :: SrcLoc -> Pat -> Exp -> Decl | ||||||||
| A pattern bind where the pattern is a variable, and where there are no guards and no 'where' clause. | ||||||||
| patBindWhere :: SrcLoc -> Pat -> Exp -> [Decl] -> Decl | ||||||||
| nameBind :: SrcLoc -> Name -> Exp -> Decl | ||||||||
| metaFunction :: String -> [Exp] -> Exp | ||||||||
| metaConPat :: String -> [Pat] -> Pat | ||||||||
| Produced by Haddock version 2.4.2 |