Assemble a ParseError from the offset and the ET t value. ET
t is a monoid and can be assembled by combining primitives provided by
this module, see below.
Modulemegaparsec-9.5.0Haskell2010
Text.Megaparsec.Error.Builder
A set of helpers that should make construction of ParseErrors more concise. This is primarily useful in test suites and for debugging.
- Packagemegaparsec-9.5.0
- Exports13
- LanguageHaskell2010
- LicenceBSD-2-Clause
- SourceBuilder.hs
Top-level helpers
Like err, but constructs a “fancy” ParseError.
Error components
Construct an “unexpected token” error component.
Construct an “unexpected tokens” error component. Empty chunk produces EndOfInput.
Construct an “unexpected label” error component. Do not use with empty strings (for empty strings it's bottom).
Construct an “unexpected end of input” error component.
Construct an “expected token” error component.
Construct an “expected tokens” error component. Empty chunk produces EndOfInput.
Construct an “expected label” error component. Do not use with empty strings.
Construct an “expected end of input” error component.
Construct a custom error component.
Data types
Auxiliary type for construction of trivial parse errors.
Instances7Eq, Data, Ord, Generic, Semigroup, Monoid, …
Eq (Token s) => Eq (ET s)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.Builder(Data s, Data (Token s), Ord (Token s)) => Data (ET s)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderOrd (Token s) => Ord (ET s)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderGeneric (ET s)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderStream s => Semigroup (ET s)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderStream s => Monoid (ET s)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.Buildertype Rep (ET s) = D1 ('MetaDataDefined in megaparsec-9.5.0 · Text.Megaparsec.Error.Builder"ET"
"Text.Megaparsec.Error.Builder"
"megaparsec-9.5.0-9qCsOssMFen6qZuAj1Ay2f"
'False) (C1 ('MetaCons"ET"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (ErrorItem (Token s)))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (ErrorItem (Token s))))))
Auxiliary type for construction of fancy parse errors.
Instances7Eq, Data, Ord, Generic, Semigroup, Monoid, …
Eq e => Eq (EF e)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.Builder(Data e, Ord e) => Data (EF e)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderOrd e => Ord (EF e)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderGeneric (EF e)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderOrd e => Semigroup (EF e)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.BuilderOrd e => Monoid (EF e)Defined in megaparsec-9.5.0 · Text.Megaparsec.Error.Buildertype Rep (EF e) = D1 ('MetaDataDefined in megaparsec-9.5.0 · Text.Megaparsec.Error.Builder"EF"
"Text.Megaparsec.Error.Builder"
"megaparsec-9.5.0-9qCsOssMFen6qZuAj1Ay2f"
'True) (C1 ('MetaCons"EF"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (ErrorFancy e)))))