Toml.FromValue.Matcher

Description

Synopsis

Documentation

Computations that result in a Result and which track a list of nested contexts to assist in generating warnings and error messages.

Use withScope to run a Matcher in a new, nested scope.

Instances details

MonadFail Matcher Source #	Fail with an error message annotated to the current location.
Instance details Defined in Toml.FromValue.Matcher Methods fail :: String -> Matcher a #
Applicative Matcher Source #
Instance details Defined in Toml.FromValue.Matcher Methods pure :: a -> Matcher a # (<>) :: Matcher (a -> b) -> Matcher a -> Matcher b # liftA2 :: (a -> b -> c) -> Matcher a -> Matcher b -> Matcher c # (>) :: Matcher a -> Matcher b -> Matcher b # (<*) :: Matcher a -> Matcher b -> Matcher a #
Functor Matcher Source #
Instance details Defined in Toml.FromValue.Matcher Methods fmap :: (a -> b) -> Matcher a -> Matcher b # (<$) :: a -> Matcher b -> Matcher a #
Monad Matcher Source #
Instance details Defined in Toml.FromValue.Matcher Methods (>>=) :: Matcher a -> (a -> Matcher b) -> Matcher b # (>>) :: Matcher a -> Matcher b -> Matcher b # return :: a -> Matcher a #

Run a Matcher with an empty scope.

Run a Matcher with a locally extended scope.

Get the current list of scopes.

Emit a warning mentioning the current scope.

Computation outcome with error and warning messages.

Constructors

Failure String
Success [String] a

Instances details

Read a => Read (Result a) Source #
Instance details Defined in Toml.FromValue.Matcher Methods readsPrec :: Int -> ReadS (Result a) # readList :: ReadS [Result a] # readPrec :: ReadPrec (Result a) # readListPrec :: ReadPrec [Result a] #
Show a => Show (Result a) Source #
Instance details Defined in Toml.FromValue.Matcher Methods showsPrec :: Int -> Result a -> ShowS # show :: Result a -> String # showList :: [Result a] -> ShowS #
Eq a => Eq (Result a) Source #
Instance details Defined in Toml.FromValue.Matcher Methods (==) :: Result a -> Result a -> Bool # (/=) :: Result a -> Result a -> Bool #
Ord a => Ord (Result a) Source #
Instance details Defined in Toml.FromValue.Matcher 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 #