Text.Trifecta.Result

Results and Parse Errors

Parse Results

data Result a

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

Constructors

Success a

Failure ErrInfo

Instances

Monad Result

Defined in Text.Trifecta.Result

Methods

(>>=) :: Result a -> (a -> Result b) -> Result b

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

return :: a -> Result a

fail :: String -> Result a

Functor Result

Defined in Text.Trifecta.Result

Methods

fmap :: (a -> b) -> Result a -> Result b

(<$) :: a -> Result b -> Result a

Applicative Result

Defined in Text.Trifecta.Result

Methods

pure :: a -> Result a

(<*>) :: Result (a -> b) -> Result a -> Result b

liftA2 :: (a -> b -> c) -> Result a -> Result b -> Result c

(*>) :: Result a -> Result b -> Result b

(<*) :: Result a -> Result b -> Result a

Foldable Result

Defined in Text.Trifecta.Result

Methods

fold :: Monoid m => Result m -> m

foldMap :: Monoid m => (a -> m) -> Result a -> m

foldr :: (a -> b -> b) -> b -> Result a -> b

foldr' :: (a -> b -> b) -> b -> Result a -> b

foldl :: (b -> a -> b) -> b -> Result a -> b

foldl' :: (b -> a -> b) -> b -> Result a -> b

foldr1 :: (a -> a -> a) -> Result a -> a

foldl1 :: (a -> a -> a) -> Result a -> a

toList :: Result a -> [a]

null :: Result a -> Bool

length :: Result a -> Int

elem :: Eq a => a -> Result a -> Bool

maximum :: Ord a => Result a -> a

minimum :: Ord a => Result a -> a

sum :: Num a => Result a -> a

product :: Num a => Result a -> a

Traversable Result

Defined in Text.Trifecta.Result

Methods

traverse :: Applicative f => (a -> f b) -> Result a -> f (Result b)

sequenceA :: Applicative f => Result (f a) -> f (Result a)

mapM :: Monad m => (a -> m b) -> Result a -> m (Result b)

sequence :: Monad m => Result (m a) -> m (Result a)

Alternative Result

Defined in Text.Trifecta.Result

Methods

empty :: Result a

(<|>) :: Result a -> Result a -> Result a

some :: Result a -> Result [a]

many :: Result a -> Result [a]

Show a => Show (Result a)

Defined in Text.Trifecta.Result

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

AsResult (Result a) (Result b) a b

Defined in Text.Trifecta.Result

Methods

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

class 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)

Instances

AsResult (Result a) (Result b) a b

Defined in Text.Trifecta.Result

Methods

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

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

Fold over a Result

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

The Prism for the Success constructor of Result

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

The Prism for the Failure constructor of Result

Parsing Errors

data 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

Fields

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

Instances

Semigroup Err

Defined in Text.Trifecta.Result

Methods

(<>) :: Err -> Err -> Err

sconcat :: NonEmpty Err -> Err

stimes :: Integral b => b -> Err -> Err

Monoid Err

Defined in Text.Trifecta.Result

Methods

mempty :: Err

mappend :: Err -> Err -> Err

mconcat :: [Err] -> Err

HasErr Err

Defined in Text.Trifecta.Result

Methods

err :: Lens' Err Err

expected :: Lens' Err (Set String)

finalDeltas :: Lens' Err [Delta]

footnotes :: Lens' Err [Doc AnsiStyle]

reason :: Lens' Err (Maybe (Doc AnsiStyle))

class HasErr c where

Minimal complete definition

err

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))

Instances

HasErr Err

Defined in Text.Trifecta.Result

Methods

err :: Lens' Err Err

expected :: Lens' Err (Set String)

finalDeltas :: Lens' Err [Delta]

footnotes :: Lens' Err [Doc AnsiStyle]

reason :: Lens' Err (Maybe (Doc AnsiStyle))

class Errable m where

Methods

raiseErr :: Err -> m a

Instances

Errable Parser

Defined in Text.Trifecta.Parser

Methods

raiseErr :: Err -> Parser a

data ErrInfo

Constructors

ErrInfo

Fields

• _errDoc :: Doc AnsiStyle
• _errDeltas :: [Delta]

Instances

Show ErrInfo

Defined in Text.Trifecta.Result

Methods

showsPrec :: Int -> ErrInfo -> ShowS

show :: ErrInfo -> String

showList :: [ErrInfo] -> ShowS

Semigroup ErrInfo

Defined in Text.Trifecta.Result

Methods

(<>) :: ErrInfo -> ErrInfo -> ErrInfo

sconcat :: NonEmpty ErrInfo -> ErrInfo

stimes :: Integral b => b -> ErrInfo -> ErrInfo

Monoid ErrInfo

Defined in Text.Trifecta.Result

Methods

mempty :: ErrInfo

mappend :: ErrInfo -> ErrInfo -> ErrInfo

mconcat :: [ErrInfo] -> ErrInfo

explain :: Rendering -> Err -> Doc AnsiStyle

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

failed :: String -> Err

Generate a simple Err word-wrapping the supplied message.