CabalFix.FlatParse

Various flatparse helpers and combinators.

Parsing

data ParserWarning

Warnings covering leftovers, Errs and Fail

Constructors

ParserLeftover ByteString

ParserError ByteString

ParserUncaught

Instances

Generic ParserWarning

Defined in CabalFix.FlatParse

Associated Types

type Rep ParserWarning :: Type -> Type

Methods

from :: ParserWarning -> Rep ParserWarning x

to :: Rep ParserWarning x -> ParserWarning

Show ParserWarning

Defined in CabalFix.FlatParse

Methods

showsPrec :: Int -> ParserWarning -> ShowS

show :: ParserWarning -> String

showList :: [ParserWarning] -> ShowS

Eq ParserWarning

Defined in CabalFix.FlatParse

Methods

(==) :: ParserWarning -> ParserWarning -> Bool

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

Ord ParserWarning

Defined in CabalFix.FlatParse

Methods

compare :: ParserWarning -> ParserWarning -> Ordering

(<) :: ParserWarning -> ParserWarning -> Bool

(<=) :: ParserWarning -> ParserWarning -> Bool

(>) :: ParserWarning -> ParserWarning -> Bool

(>=) :: ParserWarning -> ParserWarning -> Bool

max :: ParserWarning -> ParserWarning -> ParserWarning

min :: ParserWarning -> ParserWarning -> ParserWarning

type Rep ParserWarning

Defined in CabalFix.FlatParse

type Rep ParserWarning = D1 ('MetaData "ParserWarning" "CabalFix.FlatParse" "cabal-fix-0.1.0.0-AfN4EsJI0yJARKScsE25BU" 'False) (C1 ('MetaCons "ParserLeftover" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :+: (C1 ('MetaCons "ParserError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :+: C1 ('MetaCons "ParserUncaught" 'PrefixI 'False) (U1 :: Type -> Type)))

runParserMaybe :: Parser e a -> ByteString -> Maybe a

Run a Parser, throwing away leftovers. Nothing on Fail or Err.

runParserEither :: IsString e => Parser e a -> ByteString -> Either e a

Run a Parser, throwing away leftovers. Returns Left on Fail or Err.

runParserWarn :: Parser ByteString a -> ByteString -> These ParserWarning a

Run parser, returning leftovers and errors as ParserWarnings.

runParser_ :: Parser String a -> ByteString -> a

Run parser, discards leftovers & throws an error on failure.

>>> runParser_ ws " "
' '

>>> runParser_ ws "x"
*** Exception: uncaught parse error
...

runParser__ :: Parser String a -> ByteString -> a

Run parser, errors on leftovers & failure.

>>> runParser_ ws " "
' '

>>> runParser_ ws "x"
*** Exception: uncaught parse error
...

Flatparse re-exports

runParser :: Parser e a -> ByteString -> Result e a

Run a parser.

type Parser = ParserT PureMode

The type of pure parsers.

data Result e a

Higher-level boxed data type for parsing results.

Constructors

OK a !ByteString

Contains return value and unconsumed input.

Fail

Recoverable-by-default failure.

Err !e

Unrecoverble-by-default error.

Instances

Functor (Result e)

Defined in FlatParse.Basic

Methods

fmap :: (a -> b) -> Result e a -> Result e b

(<$) :: a -> Result e b -> Result e a

(Show a, Show e) => Show (Result e a)

Defined in FlatParse.Basic

Methods

showsPrec :: Int -> Result e a -> ShowS

show :: Result e a -> String

showList :: [Result e a] -> ShowS

Parsers

depP :: Parser e (ByteString, ByteString)

Parse a dependency line into a name, range tuple. Consumes any commas it finds.

versionP :: Parser e [Int]

Parse a version bytestring ti an int list.

versionInts :: ByteString -> [Int]

partial running of versionP

>>> versionInts "0.6.10.0"
[0,6,10,0]

untilP :: Char -> Parser e ByteString

parse whilst not a specific character, then consume the character.

>>> runParser (untilP 'x') "abcxyz"
OK "abc" "yz"

nota :: Char -> Parser e ByteString

Parse whilst not a specific character

>>> runParser (nota 'x') "abcxyz"
OK "abc" "xyz"

ws_ :: Parser e ()

Consume whitespace.

>>> runParser ws_ " \nx"
OK () "x"

>>> runParser ws_ "x"
OK () "x"

ws :: Parser e Char

single whitespace

>>> runParser ws " \nx"
OK ' ' "\nx"