Haskus.Utils.Parser

Tools to write parsers using Flows

Documentation

data ParseError

Parser error

Constructors

SyntaxError

EndOfInput

Instances

Eq ParseError

Defined in Haskus.Utils.Parser

Methods

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

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

Show ParseError

Defined in Haskus.Utils.Parser

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

data Choice a

Constructors

Choice

Instances

(x ~ Flow m xs, y ~ Flow m ys, z ~ Flow m zs, a :< xs, LiftVariant ys zs, LiftVariant (Remove a xs) zs, zs ~ Union (Remove a xs) ys, Monad m) => Apply (Choice a) (x, y) z

Defined in Haskus.Utils.Parser

Methods

apply :: Choice a -> (x, y) -> z

choice :: forall m fs zs. (Monad m, HFoldl (Choice ParseError) (Flow m '[ParseError]) fs (Flow m zs)) => HList fs -> Flow m zs

Try to apply the actions in the list in order, until one of them succeeds. Returns the value of the succeeding action, or the value of the last one. Failures are detected with values of type ParseError.

choice' :: forall a m fs zs. (Monad m, HFoldl (Choice a) (Flow m '[a]) fs (Flow m zs)) => HList fs -> Flow m zs

Try to apply the actions in the list in order, until one of them succeeds. Returns the value of the succeeding action, or the value of the last one. Failures are detected with values of type "a".

manyBounded :: forall zs xs m. (zs ~ Remove ParseError xs, Monad m, ParseError :<? xs) => Maybe Word -> Maybe Word -> Flow m xs -> Flow m '[[V zs], ParseError]

Apply the given action at least min times and at most max time

On failure, fails.

manyAtMost :: (zs ~ Remove ParseError xs, Monad m, ParseError :< xs) => Word -> Flow m xs -> Flow m '[[V zs]]

Apply the action zero or more times (up to max) until a ParseError result is returned

manyAtMost' :: (zs ~ Remove ParseError xs, Monad m, ParseError :< xs) => Word -> Flow m xs -> m [V zs]

Apply the action zero or more times (up to max) until a ParseError result is returned

manyAtMost'' :: ('[x] ~ Remove ParseError xs, Monad m, ParseError :< xs) => Word -> Flow m xs -> m [x]

Apply the action zero or more times (up to max) until a ParseError result is returned

many :: (zs ~ Remove ParseError xs, Monad m, ParseError :< xs) => Flow m xs -> Flow m '[[V zs]]

Apply the action zero or more times (until a ParseError result is returned)

manyAtLeast :: (zs ~ Remove ParseError xs, Monad m, ParseError :< xs) => Word -> Flow m xs -> Flow m '[[V zs], ParseError]

Apply the action at least n times or more times (until a ParseError result is returned)

manyTill :: (zs ~ Remove ParseError xs, zs' ~ Remove ParseError ys, Monad m, ParseError :<? xs, ParseError :< ys) => Flow m xs -> Flow m ys -> Flow m '[([V zs], V zs'), ParseError]

Apply the first action zero or more times until the second succeeds. If the first action fails, the whole operation fails.

Return both the list of first values and the ending value

manyTill' :: (zs ~ Remove ParseError xs, Monad m, ParseError :<? xs, ParseError :< ys) => Flow m xs -> Flow m ys -> Flow m '[[V zs], ParseError]

Apply the first action zero or more times until the second succeeds. If the first action fails, the whole operation fails.

Return only the list of first values