Control.Applicative.MultiExcept

Documentation

data MultiExcept err a

A MultiExcept is a success value, or one or more errors.

Instances

Functor (MultiExcept err)

Defined in Control.Applicative.MultiExcept

Methods

fmap :: (a -> b) -> MultiExcept err a -> MultiExcept err b

(<$) :: a -> MultiExcept err b -> MultiExcept err a

Applicative (MultiExcept err)

Defined in Control.Applicative.MultiExcept

Methods

pure :: a -> MultiExcept err a

(<*>) :: MultiExcept err (a -> b) -> MultiExcept err a -> MultiExcept err b

liftA2 :: (a -> b -> c) -> MultiExcept err a -> MultiExcept err b -> MultiExcept err c

(*>) :: MultiExcept err a -> MultiExcept err b -> MultiExcept err b

(<*) :: MultiExcept err a -> MultiExcept err b -> MultiExcept err a

Alt (MultiExcept err)

Defined in Control.Applicative.MultiExcept

Methods

(<!>) :: MultiExcept err a -> MultiExcept err a -> MultiExcept err a

some :: Applicative (MultiExcept err) => MultiExcept err a -> MultiExcept err [a]

many :: Applicative (MultiExcept err) => MultiExcept err a -> MultiExcept err [a]

(Eq a, Eq err) => Eq (MultiExcept err a)

Defined in Control.Applicative.MultiExcept

Methods

(==) :: MultiExcept err a -> MultiExcept err a -> Bool

(/=) :: MultiExcept err a -> MultiExcept err a -> Bool

(Ord a, Ord err) => Ord (MultiExcept err a)

Defined in Control.Applicative.MultiExcept

Methods

compare :: MultiExcept err a -> MultiExcept err a -> Ordering

(<) :: MultiExcept err a -> MultiExcept err a -> Bool

(<=) :: MultiExcept err a -> MultiExcept err a -> Bool

(>) :: MultiExcept err a -> MultiExcept err a -> Bool

(>=) :: MultiExcept err a -> MultiExcept err a -> Bool

max :: MultiExcept err a -> MultiExcept err a -> MultiExcept err a

min :: MultiExcept err a -> MultiExcept err a -> MultiExcept err a

(Read a, Read err) => Read (MultiExcept err a)

Defined in Control.Applicative.MultiExcept

Methods

readsPrec :: Int -> ReadS (MultiExcept err a)

readList :: ReadS [MultiExcept err a]

readPrec :: ReadPrec (MultiExcept err a)

readListPrec :: ReadPrec [MultiExcept err a]

(Show a, Show err) => Show (MultiExcept err a)

Defined in Control.Applicative.MultiExcept

Methods

showsPrec :: Int -> MultiExcept err a -> ShowS

show :: MultiExcept err a -> String

showList :: [MultiExcept err a] -> ShowS

fromEither :: Either err a -> MultiExcept err a

Convert an Either to a MultiExcept.

fromEitherPoly :: Either (DNonEmpty err) a -> MultiExcept err a

Convert a multi-error Either to a MultiExcept.

join :: MultiExcept err (MultiExcept err a) -> MultiExcept err a

Join nested MultiExcepts with the same error type. Note that this doesn't imply a valid Monad instance.

runMultiExcept :: MultiExcept err a -> Either (NonEmpty err) a

Run the computation.

succeed :: a -> MultiExcept err a

Embeds a value into a MultiExcept context.

throwError :: err -> MultiExcept err a

Throw a single error.

throwErrors :: DNonEmpty err -> MultiExcept err a

Throw one or more errors.