Toml.FromValue.Matcher

Documentation

data Matcher a

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

MonadFail Matcher

Fail with an error message annotated to the current location.

Defined in Toml.FromValue.Matcher

Methods

fail :: String -> Matcher a

Applicative Matcher

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

Defined in Toml.FromValue.Matcher

Methods

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

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

Monad Matcher

Defined in Toml.FromValue.Matcher

Methods

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

(>>) :: Matcher a -> Matcher b -> Matcher b

return :: a -> Matcher a

runMatcher :: Matcher a -> Result a

Run a Matcher with an empty scope.

withScope :: String -> Matcher a -> Matcher a

Run a Matcher with a locally extended scope.

getScope :: Matcher [String]

Get the current list of scopes.

warning :: String -> Matcher ()

Emit a warning mentioning the current scope.

data Result a

Computation outcome with error and warning messages.

Constructors

Failure String

Success [String] a

Instances

Read a => Read (Result a)

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)

Defined in Toml.FromValue.Matcher

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

Eq a => Eq (Result a)

Defined in Toml.FromValue.Matcher

Methods

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

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

Ord a => Ord (Result a)

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