Modulemegaparsec-9.7.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.

2 types
11 values

Packagemegaparsec-9.7.0
Exports13
LanguageHaskell2010
LicenceBSD-2-Clause
SourceBuilder.hs

Top-level helpers

2 declarations

valueerr

:: Int
ParseError offset
-> ET s
Error components
-> ParseError s e
Resulting ParseError

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.

valueerrFancy

:: Int
ParseError offset
-> EF e
Error components
-> ParseError s e
Resulting ParseError

Like err, but constructs a “fancy” ParseError.

Error components

9 declarations

valueutok :: Token s -> ET s

Construct an “unexpected token” error component.

valueutoks :: Stream s => Tokens s -> ET s

Construct an “unexpected tokens” error component. Empty chunk produces EndOfInput.

valueulabel :: String -> ET s

Construct an “unexpected label” error component. Do not use with empty strings (for empty strings it's bottom).

valueueof :: ET s

Construct an “unexpected end of input” error component.

valueetok :: Token s -> ET s

Construct an “expected token” error component.

valueetoks :: Stream s => Tokens s -> ET s

Construct an “expected tokens” error component. Empty chunk produces EndOfInput.

valueelabel :: String -> ET s

Construct an “expected label” error component. Do not use with empty strings.

valueeeof :: ET s

Construct an “expected end of input” error component.

valuefancy :: ErrorFancy e -> EF e

Construct a custom error component.

Data types

2 declarations

datadata ET s

Auxiliary type for construction of trivial parse errors.

Instances7Eq, Data, Ord, Generic, Semigroup, Monoid, …

Eq (Token s) => Eq (ET s)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
(Data s, Data (Token s), Ord (Token s)) => Data (ET s)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Ord (Token s) => Ord (ET s)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Generic (ET s)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Stream s => Semigroup (ET s)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Stream s => Monoid (ET s)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
type Rep (ET s) = D1 ('MetaData "ET" "Text.Megaparsec.Error.Builder" "megaparsec-9.7.0-Jiz5oe6zAALBOFyVFbTGRU" '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))))))Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder

newtypenewtype EF e

Auxiliary type for construction of fancy parse errors.

Instances7Eq, Data, Ord, Generic, Semigroup, Monoid, …

Eq e => Eq (EF e)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
(Data e, Ord e) => Data (EF e)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Ord e => Ord (EF e)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Generic (EF e)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Ord e => Semigroup (EF e)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
Ord e => Monoid (EF e)Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder
type Rep (EF e) = D1 ('MetaData "EF" "Text.Megaparsec.Error.Builder" "megaparsec-9.7.0-Jiz5oe6zAALBOFyVFbTGRU" 'True) (C1 ('MetaCons "EF" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (ErrorFancy e)))))Defined in megaparsec-9.7.0 · Text.Megaparsec.Error.Builder