DotParse.FlatParse

Lower-level flatparse parsers

Documentation

data Error

A parsing error.

Constructors

Precise Pos ByteString

A precisely known error, like leaving out "in" from "let".

Imprecise Pos [ByteString]

An imprecise error, when we expect a number of different things, but parse something else.

Instances

Show Error

Defined in DotParse.FlatParse.TH

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

Eq Error

Defined in DotParse.FlatParse.TH

Methods

(==) :: Error -> Error -> Bool

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

prettyError :: ByteString -> Error -> ByteString

Pretty print an error. The ByteString input is the source file. The offending line from the source is displayed in the output.

keyword :: String -> Q Exp

Parse a keyword string.

keyword' :: String -> Q Exp

Parse a keyword string, throw precise error on failure.

symbol :: String -> Q Exp

Parse a non-keyword string.

symbol' :: String -> Q Exp

Parser a non-keyword string, throw precise error on failure.

ws :: Parser e ()

Consume whitespace.

token :: Parser e a -> Parser e a

Consume whitespace after running a parser.

ident :: Parser e ByteString

Parse an identifier.

cut :: Parser Error a -> [ByteString] -> Parser Error a

Imprecise cut: we slap a list of items on inner errors.

cut' :: Parser Error a -> ByteString -> Parser Error a

Precise cut: we propagate at most a single error.

testParser :: Show a => Parser Error a -> ByteString -> IO ()

Run parser, print pretty error on failure.

runParser_ :: Parser Error a -> ByteString -> a

run a Parser, erroring on leftovers, Fail or Err

int :: Parser Error Int

(unsigned) Int parser

double :: Parser Error Double

>>> runParser double "1.234x"
OK 1.234 "x"

>>> runParser double "."
Fail

>>> runParser double "123"
OK 123.0 ""

>>> runParser double ".123"
OK 0.123 ""

>>> runParser double "123."
OK 123.0 ""

signed :: Num b => Parser e b -> Parser e b

>>> runParser (signed double) "-1.234x"
OK (-1.234) "x"

quoted :: Parser Error String

Looks ahead for a "/"" that may be in the quoted string. >>> runParser quoted (strToUtf8 ""hello"") OK "hello" ""

>>> runParser quoted (strToUtf8 "\"hello/\"\"")
OK "hello\"" ""

htmlLike :: Parser e String

Parse a HTML-Like string by counting the angle brackets

sepP :: Parser e ()

optional separators

wrapSquareP :: Parser Error a -> Parser Error a

parse wrapping square brackets

wrapSquarePrint :: ByteString -> ByteString

print wrapping square brackets

wrapCurlyP :: Parser Error a -> Parser Error a

parse wrapping square brackets

wrapCurlyPrint :: ByteString -> ByteString

print wrapping curly brackets

wrapQuotePrint :: ByteString -> ByteString

print wrapping quotes

pointP :: Parser Error (Point Double)

comma separated Point

data Spline

dot specification of a cubic spline (and an arrow head which is ignored here)

Constructors

Spline

Fields

• splineEnd :: Maybe (Point Double)
• splineStart :: Maybe (Point Double)
• splineP1 :: Point Double
• splineTriples :: [(Point Double, Point Double, Point Double)]

Instances

Generic Spline

Defined in DotParse.FlatParse

Associated Types

type Rep Spline :: Type -> Type

Methods

from :: Spline -> Rep Spline x

to :: Rep Spline x -> Spline

Show Spline

Defined in DotParse.FlatParse

Methods

showsPrec :: Int -> Spline -> ShowS

show :: Spline -> String

showList :: [Spline] -> ShowS

Eq Spline

Defined in DotParse.FlatParse

Methods

(==) :: Spline -> Spline -> Bool

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

type Rep Spline

Defined in DotParse.FlatParse

type Rep Spline = D1 ('MetaData "Spline" "DotParse.FlatParse" "dotparse-0.1.1.0-7ksB5EWrjOr2Em2eE9iYUk" 'False) (C1 ('MetaCons "Spline" 'PrefixI 'True) ((S1 ('MetaSel ('Just "splineEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Point Double))) :*: S1 ('MetaSel ('Just "splineStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Point Double)))) :*: (S1 ('MetaSel ('Just "splineP1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point Double)) :*: S1 ('MetaSel ('Just "splineTriples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Point Double, Point Double, Point Double)]))))

splineP :: Parser Error Spline

http://www.graphviz.org/docs/attr-types/splineType/

rectP :: Parser Error (Rect Double)

comma separated rectangle or bounding box

boolP :: Parser Error Bool

true | false

nonEmptyP :: Parser e a -> Parser e () -> Parser e (NonEmpty a)

NonEmpty version of many