Copyright	(c) Edward Kmett 2011-2014
License	BSD3
Maintainer	ekmett@gmail.com
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Text.Trifecta.Result

Contents

Parse Results
Parsing Errors

Description

Results and Parse Errors

Synopsis

Parse Results

data Result a Source

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

Constructors

Success a
Failure Doc

Instances

Alternative Result
Functor Result
Applicative Result
Foldable Result
Traversable Result
Show a => Show (Result a)
Show a => Pretty (Result a)
AsResult (Result a) (Result b) a b

class AsResult s t a b | s -> a, t -> b, s b -> t, t a -> s where Source

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

Minimal complete definition

Nothing

Methods

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

Instances

AsResult (Result a) (Result b) a b

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

The Prism for the Success constructor of Result

_Failure :: AsResult s s a a => Prism' s Doc Source

The Prism for the Failure constructor of Result

Parsing Errors

data Err Source

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