| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Traq.ProtoLang.Parser
Synopsis
- class Parseable ext where
- parseE :: TokenParser () -> Parser ext
- programParser :: (Parseable ext, SizeType ext ~ SymbSize) => Parser (Program ext)
- parseCode :: (TokenParser () -> Parser a) -> String -> Either ParseError a
- parseProgram :: (Parseable ext, SizeType ext ~ SymbSize) => String -> Either ParseError (Program ext)
- parseFunDef :: (Parseable ext, SizeType ext ~ SymbSize) => String -> Either ParseError (NamedFunDef ext)
- parseStmt :: (Parseable ext, SizeType ext ~ SymbSize) => String -> Either ParseError (Stmt ext)
- varType :: TokenParser () -> Parser (VarType SymbSize)
- isValidIdentifier :: String -> Bool
Parsers
Methods
parseE :: TokenParser () -> Parser ext #
Instances
| Parseable PartialFun # | |
Defined in Traq.Primitives.Class.Prelude Methods parseE :: TokenParser () -> Parser PartialFun # | |
| (SerializePrim prim, SizeType prim ~ Sym SizeT) => Parseable (Primitive prim) # | |
Defined in Traq.Primitives.Class Methods parseE :: TokenParser () -> Parser (Primitive prim) # | |
| (Parseable ext, SizeType ext ~ SymbSize) => Parseable (Expr ext) # | |
Defined in Traq.ProtoLang.Parser Methods parseE :: TokenParser () -> Parser (Expr ext) # | |
| (Parseable ext, SizeType ext ~ SymbSize) => Parseable (Stmt ext) # | |
Defined in Traq.ProtoLang.Parser Methods parseE :: TokenParser () -> Parser (Stmt ext) # | |
| Parseable (TreeSearch sizeT precT) # | |
Defined in Traq.Primitives.TreeSearch Methods parseE :: TokenParser () -> Parser (TreeSearch sizeT precT) # | |
parseCode :: (TokenParser () -> Parser a) -> String -> Either ParseError a #
parseProgram :: (Parseable ext, SizeType ext ~ SymbSize) => String -> Either ParseError (Program ext) #
parseFunDef :: (Parseable ext, SizeType ext ~ SymbSize) => String -> Either ParseError (NamedFunDef ext) #
varType :: TokenParser () -> Parser (VarType SymbSize) #
Helpers
isValidIdentifier :: String -> Bool #