Idris2Doc : Text.Parser

Text.Parser

afterMany : GrammarstatetokTrues -> Grammarstatetokca -> Grammarstatetokca
  Parse zero or more instance of `skip` until `p` is encountered,
returning its value.

Totality: total
afterSome : GrammarstatetokTrues -> Grammarstatetokca -> GrammarstatetokTruea
  Parse one or more instance of `skip` until `p` is encountered,
returning its value.

Totality: total
between : GrammarstatetokTruel -> GrammarstatetokTruer -> Grammarstatetokca -> GrammarstatetokTruea
  Parse an instance of `p` that is between `left` and `right`.

Totality: total
choice : Foldablet => t (Grammarstatetokca) -> Grammarstatetokca
  Try each grammar in a container until the first one succeeds.
Fails if the container is empty.

Totality: total
choiceMap : (a -> Grammarstatetokcb) -> Foldablet => ta -> Grammarstatetokcb
  Produce a grammar by applying a function to each element of a container,
then try each resulting grammar until the first one succeeds. Fails if the
container is empty.

Totality: total
choose : Grammarstatetokc1a -> Grammarstatetokc2b -> Grammarstatetok (c1&& Delay c2) (Eitherab)
  Try to parse one thing or the other, producing a value that indicates
which option succeeded. If both would succeed, the left option
takes priority.

Totality: total
column : GrammarstatetokenFalseInt
Totality: total
count : (q : Quantity) -> GrammarstatetokTruea -> Grammarstatetok (isSucc (minq)) (Lista)
  Parse `p`, repeated as specified by `q`, returning the list of values.

Totality: total
endBy : GrammarstatetokTrues -> Grammarstatetokca -> GrammarstatetokFalse (Lista)
Totality: total
endBy1 : GrammarstatetokTrues -> Grammarstatetokca -> GrammarstatetokTrue (List1a)
  Parse one or more instances of `p`, separated and terminated by `sep`.

Totality: total
endLocation : GrammarstatetokenFalse (Int, Int)
Totality: total
location : GrammarstatetokenFalse (Int, Int)
Totality: total
many : GrammarstatetokTruea -> GrammarstatetokFalse (Lista)
  Parse zero or more things (may match the empty input)

Totality: total
manyTill : Grammarstatetokce -> GrammarstatetokTruea -> Grammarstatetokc (Lista)
  Parse zero or more instances of `p` until `end` succeeds, returning the
list of values from `p`. Guaranteed to consume input if `end` consumes.

Totality: total
match : {autoconArg : (Eqk, TokenKindk)} -> (kind : k) -> Grammarstate (Tokenk) True (TokTypekind)
  Parse a terminal based on a kind of token.

Totality: total
option : a -> Grammarstatetokca -> GrammarstatetokFalsea
  Optionally parse a thing, with a default value if the grammar doesn't
match. May match the empty input.

Totality: total
optional : Grammarstatetokca -> GrammarstatetokFalse (Maybea)
  Optionally parse a thing.
To provide a default value, use `option` instead.

Totality: total
sepBy : GrammarstatetokTrues -> Grammarstatetokca -> GrammarstatetokFalse (Lista)
  Parse zero or more things, each separated by another thing. May
match the empty input.

Totality: total
sepBy1 : GrammarstatetokTrues -> Grammarstatetokca -> Grammarstatetokc (List1a)
  Parse one or more things, each separated by another thing.

Totality: total
sepEndBy : GrammarstatetokTrues -> Grammarstatetokca -> GrammarstatetokFalse (Lista)
  Parse zero or more instances of `p`, separated by and optionally terminated
by `sep`. Will not match a separator by itself.

Totality: total
sepEndBy1 : GrammarstatetokTrues -> Grammarstatetokca -> Grammarstatetokc (List1a)
  Parse one or more instances of `p` separated by and optionally terminated by
`sep`.

Totality: total
some : GrammarstatetokTruea -> GrammarstatetokTrue (List1a)
  Parse one or more things

Totality: total
someTill : Grammarstatetokce -> GrammarstatetokTruea -> GrammarstatetokTrue (List1a)
  Parse one or more instances of `p` until `end` succeeds, returning the
list of values from `p`. Guaranteed to consume input.

Totality: total
when : Bool -> Lazy (GrammarstatetokenFalse ()) -> GrammarstatetokenFalse ()
Totality: total