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

(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

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

Run the computation

throwError :: err -> MultiExcept err a

Throw a single error

succeed :: a -> MultiExcept err a

Embeds a value into a MultiExcept context