Moduletrifecta-2.1.4Haskell2010

Text.Trifecta.Result

Results and Parse Errors

3 types
3 classes
5 values

Packagetrifecta-2.1.4
Exports11
LanguageHaskell2010
LicenceBSD-3-Clause
SourceResult.hs

Parse Results

5 declarations

datadata Result a

The result of parsing. Either we succeeded or something went wrong.

Constructors

Success a
Failure ErrInfo

Instances8Monad, Functor, Applicative, Foldable, Traversable, Alternative, …

Monad ResultDefined in trifecta-2.1.4 · Text.Trifecta.Result
Functor ResultDefined in trifecta-2.1.4 · Text.Trifecta.Result
Applicative ResultDefined in trifecta-2.1.4 · Text.Trifecta.Result
Foldable ResultDefined in trifecta-2.1.4 · Text.Trifecta.Result
Traversable ResultDefined in trifecta-2.1.4 · Text.Trifecta.Result
Alternative ResultDefined in trifecta-2.1.4 · Text.Trifecta.Result
Show a => Show (Result a)Defined in trifecta-2.1.4 · Text.Trifecta.Result
AsResult (Result a) (Result b) a bDefined in trifecta-2.1.4 · Text.Trifecta.Result

classclass AsResult s t a b | s -> a, t -> b, s b -> t, t a -> s where

A Prism that lets you embed or retrieve a Result in a potentially larger type.

Methods

_Result :: Prism s t (Result a) (Result b)

Instances1AsResult

AsResult (Result a) (Result b) a bDefined in trifecta-2.1.4 · Text.Trifecta.Result

valuefoldResult :: (ErrInfo -> b) -> (a -> b) -> Result a -> b

Fold over a Result

value_Success :: AsResult s t a b => Prism s t a b

The Prism for the Success constructor of Result

value_Failure :: AsResult s s a a => Prism' s ErrInfo

The Prism for the Failure constructor of Result

Parsing Errors

6 declarations

datadata Err

This is used to report an error. What went wrong, some supplemental docs and a set of things expected at the current location. This does not, however, include the actual location.

Constructors

Err
- _reason :: Maybe (Doc AnsiStyle)
- _footnotes :: [Doc AnsiStyle]
- _expected :: Set String
- _finalDeltas :: [Delta]

Instances3Semigroup, Monoid, HasErr

Semigroup ErrDefined in trifecta-2.1.4 · Text.Trifecta.Result
Monoid ErrDefined in trifecta-2.1.4 · Text.Trifecta.Result
HasErr ErrDefined in trifecta-2.1.4 · Text.Trifecta.Result

classclass HasErr c where

Methods

err :: Lens' c Err
expected :: Lens' c (Set String)
finalDeltas :: Lens' c [Delta]
footnotes :: Lens' c [Doc AnsiStyle]
reason :: Lens' c (Maybe (Doc AnsiStyle))

Instances1HasErr

HasErr ErrDefined in trifecta-2.1.4 · Text.Trifecta.Result

classclass Errable (m :: Type -> Type) where

Methods

raiseErr :: Err -> m a

Instances1Errable

Errable ParserDefined in trifecta-2.1.4 · Text.Trifecta.Parser

datadata ErrInfo

Constructors

ErrInfo
- _errDoc :: Doc AnsiStyle
- _errDeltas :: [Delta]

Instances3Show, Semigroup, Monoid

Show ErrInfoDefined in trifecta-2.1.4 · Text.Trifecta.Result
Semigroup ErrInfoDefined in trifecta-2.1.4 · Text.Trifecta.Result
Monoid ErrInfoDefined in trifecta-2.1.4 · Text.Trifecta.Result

valueexplain :: Rendering -> Err -> Doc AnsiStyle

Convert a Rendering of auxiliary information and an Err into a 'Doc AnsiStyle', ready to be prettyprinted to the user.

valuefailed :: String -> Err

Generate a simple Err word-wrapping the supplied message.