- success: {α : Type} → String.Iterator → α → Lean.Parsec.ParseResult α
- error: {α : Type} → String.Iterator → String → Lean.Parsec.ParseResult α
Instances For
instance
Lean.Parsec.instReprParseResult :
{α : Type} → [inst : Repr α] → Repr (Lean.Parsec.ParseResult α)
@[inline]
Instances For
@[inline]
Instances For
@[specialize #[]]
partial def
Lean.Parsec.manyCore
{α : Type}
(p : Lean.Parsec α)
(acc : Array α)
:
Lean.Parsec (Array α)
@[inline]
Instances For
@[inline]
Instances For
@[specialize #[]]
@[inline]