Safe Haskell	None
Language	Haskell2010

Text.Parsix.Result

Documentation

data ErrorInfo Source #

Constructors

ErrorInfo
Fields errorInfoReason :: Maybe Text errorInfoExpected :: Set Text

Instances

Eq ErrorInfo Source #
Instance details Defined in Text.Parsix.Result Methods (==) :: ErrorInfo -> ErrorInfo -> Bool # (/=) :: ErrorInfo -> ErrorInfo -> Bool #
Ord ErrorInfo Source #
Instance details Defined in Text.Parsix.Result 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 Source #
Instance details Defined in Text.Parsix.Result Methods showsPrec :: Int -> ErrorInfo -> ShowS # show :: ErrorInfo -> String # showList :: [ErrorInfo] -> ShowS #
Semigroup ErrorInfo Source #
Instance details Defined in Text.Parsix.Result Methods (<>) :: ErrorInfo -> ErrorInfo -> ErrorInfo # sconcat :: NonEmpty ErrorInfo -> ErrorInfo # stimes :: Integral b => b -> ErrorInfo -> ErrorInfo #
Monoid ErrorInfo Source #
Instance details Defined in Text.Parsix.Result Methods mempty :: ErrorInfo # mappend :: ErrorInfo -> ErrorInfo -> ErrorInfo # mconcat :: [ErrorInfo] -> ErrorInfo #

prettyErrorInfo :: ErrorInfo -> Doc AnsiStyle Source #

failed :: Text -> ErrorInfo Source #

data Result a Source #

Constructors

Success a
Failure Error

Instances

Functor Result Source #
Instance details Defined in Text.Parsix.Result Methods fmap :: (a -> b) -> Result a -> Result b # (<$) :: a -> Result b -> Result a #
Foldable Result Source #
Instance details Defined in Text.Parsix.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 Source #
Instance details Defined in Text.Parsix.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) Source #
Instance details Defined in Text.Parsix.Result Methods (==) :: Result a -> Result a -> Bool # (/=) :: Result a -> Result a -> Bool #
Ord a => Ord (Result a) Source #
Instance details Defined in Text.Parsix.Result 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) Source #
Instance details Defined in Text.Parsix.Result Methods showsPrec :: Int -> Result a -> ShowS # show :: Result a -> String # showList :: [Result a] -> ShowS #

data Error Source #

Constructors

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

Instances

Eq Error Source #
Instance details Defined in Text.Parsix.Result Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #
Ord Error Source #
Instance details Defined in Text.Parsix.Result 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 Source #
Instance details Defined in Text.Parsix.Result Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #

errorReason :: Error -> Maybe Text Source #

errorExpected :: Error -> Set Text Source #

prettyError :: Error -> Doc AnsiStyle Source #

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