Utils.Parser

Definitions

interface Cons : Type -> Type -> Type

Parameters: a, s
Methods:

singleton : a -> s

uncons : s -> Maybe (a, s)

Implementations:

Cons Char String

Cons a (List a)

singleton : Cons a s => a -> s

Visibility: public export

uncons : Cons a s => s -> Maybe (a, s)

Visibility: public export

data Parser : Type -> Type -> Type -> Type

  a simple incremental parser

Totality: total
Visibility: public export
Constructors:

Fail : e -> Parser i e a

Pure : i -> a -> Parser i e a

More : (i -> Parser i e a) -> Parser i e a

Alt : Parser i e a -> Lazy (Parser i e a) -> Parser i e a

Hint: 

Functor (Parser i e)

map_error : (e -> e') -> Parser i e a -> Parser i e' a

  maps over the errors of the parser

Visibility: public export

(<|>) : Semigroup e => Parser i e a -> Lazy (Parser i e a) -> Parser i e a

Visibility: public export
Fixity Declaration: infixr operator, level 2

fail : e -> Parser i e a

  fail with an error

Visibility: public export

feed : (Semigroup e, Semigroup i) => i -> Parser i e a -> Parser i e a

  feed input into the parser incrementally

Visibility: public export

pure : Monoid i => a -> Parser i e a

Visibility: public export

(<*>) : (Semigroup e, Monoid i) => Parser i e (a -> b) -> Lazy (Parser i e a) -> Parser i e b

Visibility: public export
Fixity Declaration: infixl operator, level 3

(<*) : (Semigroup e, Monoid i) => Parser i e a -> Parser i e b -> Parser i e a

Visibility: public export
Fixity Declaration: infixl operator, level 3

(*>) : (Semigroup e, Monoid i) => Parser i e a -> Parser i e b -> Parser i e b

Visibility: public export
Fixity Declaration: infixl operator, level 3

(>>=) : (Semigroup e, Monoid i) => Parser i e a -> (a -> Parser i e b) -> Parser i e b

Visibility: public export
Fixity Declaration: infixl operator, level 1

more : (i -> Parser i e a) -> Parser i e a

Visibility: public export

peek : Cons c i => Parser i e c

  peek into the next token without consuming it

Visibility: public export

token : Cons c i => Parser i e c

  reads the next token

Visibility: public export

count : (Semigroup e, (Monoid i, Cons c i)) => (k : Nat) -> Parser i e a -> Parser i e (Vect k a)

  run `p` `k` times and collect the results

Visibility: public export

option : (Semigroup e, Monoid i) => a -> Parser i e a -> Parser i e a

  return the result of `p` if it succeeds, otherwise return `x`

Visibility: public export

some : (Semigroup e, Monoid i) => Parser i e a -> Parser i e (List1 a)

Visibility: public export

many : (Semigroup e, Monoid i) => Parser i e a -> Parser i e (List a)

Visibility: public export

data SimpleError : Type -> Type

  example: `SimpleError String`

Totality: total
Visibility: public export
Constructors:

Msg : a -> SimpleError a

Alt : SimpleError a -> SimpleError a -> SimpleError a

Under : a -> SimpleError a -> SimpleError a

Hints:

Semigroup (SimpleError a)

Show a => Show (SimpleError a)

msg : e -> SimpleError e

Visibility: public export

under : e -> Parser i (SimpleError e) a -> Parser i (SimpleError e) a

Visibility: public export