HBF.Parser

Parsing Text into Program Unparsed

Documentation

>>> :set -XOverloadedStrings
>>> import Data.Either
>>> let parse :: Parser a -> Text -> Either ParseError a; parse p text = runP p () "" text

program :: Parser (Program Unoptimized)

Parser for a full Program.

>>> isRight $ parse program "  +[->>+  +[<] ##garbage## ],.[-]  can ignore garbage"
True

operation :: Parser Op

Parser for an Op, ignoring unknown characters.

>>> parse operation "  +///"
Right (Inc 1 0)

>>> parse operation "fooo  [+>]  baaar  "
Right (Loop [Inc 1 0,Move 1])

bfSimpleTokens :: String

The characters allowed in a Brainfuck program except for the loop characters [ and ].

bfTokens :: String

The characters allowed in a Brainfuck program.

garbage :: Parser Char

Parser for unknown characters

>>> parse garbage "this is @#! garbage"
Right 't'

>>> isLeft $ parse garbage "+"
True

simpleOp :: Parser Op

Parser for simple operations (not loops).

>>> parse simpleOp ">"
Right (Move 1)

>>> parse simpleOp "."
Right (Out 1 0)

loopOp :: Parser Op

Parser for loops.

>>> parse loopOp "[+-]"
Right (Loop [Inc 1 0,Inc (-1) 0])

parseProgram :: Text -> Either ParseError (Program Unoptimized)

Parse program stream. Returns an error or the parsed Program

Reexport from Text.Parsec

data ParseError :: *

The abstract data type ParseError represents parse errors. It provides the source position (SourcePos) of the error and a list of error messages (Message). A ParseError can be returned by the function parse. ParseError is an instance of the Show and Eq classes.

Instances

Eq ParseError

Methods

(==) :: ParseError -> ParseError -> Bool

(/=) :: ParseError -> ParseError -> Bool

Show ParseError

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS