Text.Parsix.Result

Documentation

data ErrorInfo

Constructors

ErrorInfo

Fields

• errorInfoReason :: Maybe Text
• errorInfoExpected :: Set Text

Instances

Eq ErrorInfo

Methods

(==) :: ErrorInfo -> ErrorInfo -> Bool

(/=) :: ErrorInfo -> ErrorInfo -> Bool

Ord ErrorInfo

Methods

compare :: ErrorInfo -> ErrorInfo -> Ordering

(<) :: ErrorInfo -> ErrorInfo -> Bool

(<=) :: ErrorInfo -> ErrorInfo -> Bool

(>) :: ErrorInfo -> ErrorInfo -> Bool

(>=) :: ErrorInfo -> ErrorInfo -> Bool

max :: ErrorInfo -> ErrorInfo -> ErrorInfo

min :: ErrorInfo -> ErrorInfo -> ErrorInfo

Show ErrorInfo

Methods

showsPrec :: Int -> ErrorInfo -> ShowS

show :: ErrorInfo -> String

showList :: [ErrorInfo] -> ShowS

Semigroup ErrorInfo

Methods

(<>) :: ErrorInfo -> ErrorInfo -> ErrorInfo

sconcat :: NonEmpty ErrorInfo -> ErrorInfo

stimes :: Integral b => b -> ErrorInfo -> ErrorInfo

Monoid ErrorInfo

Methods

mempty :: ErrorInfo

mappend :: ErrorInfo -> ErrorInfo -> ErrorInfo

mconcat :: [ErrorInfo] -> ErrorInfo

prettyErrorInfo :: ErrorInfo -> Doc AnsiStyle

failed :: Text -> ErrorInfo

data Result a

Constructors

Success a

Failure Error

Instances

Functor Result

Methods

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

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

Foldable 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

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)

Eq a => Eq (Result a)

Methods

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

(/=) :: Result a -> Result a -> Bool

Ord a => Ord (Result a)

Methods

compare :: Result a -> Result a -> Ordering

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

(<=) :: Result a -> Result a -> Bool

(>) :: Result a -> Result a -> Bool

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

max :: Result a -> Result a -> Result a

min :: Result a -> Result a -> Result a

Show a => Show (Result a)

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

data Error

Constructors

Error

Fields

• errorInfo :: !ErrorInfo
• errorPosition :: !Position
• errorSourceText :: !Text
• errorHighlights :: Highlights
• errorFilePath :: FilePath

Instances

Eq Error

Methods

(==) :: Error -> Error -> Bool

(/=) :: Error -> Error -> Bool

Ord Error

Methods

compare :: Error -> Error -> Ordering

(<) :: Error -> Error -> Bool

(<=) :: Error -> Error -> Bool

(>) :: Error -> Error -> Bool

(>=) :: Error -> Error -> Bool

max :: Error -> Error -> Error

min :: Error -> Error -> Error

Show Error

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

errorReason :: Error -> Maybe Text

errorExpected :: Error -> Set Text

prettyError :: Error -> Doc AnsiStyle

prettyErrorWithStyle :: (Highlight -> AnsiStyle) -> Error -> Doc AnsiStyle