Control.Monad.Try

DATA TRY

data Try e w a

Instances

Monoid w => Monad (Try e w)

Defined in Control.Monad.Try

Methods

(>>=) :: Try e w a -> (a -> Try e w b) -> Try e w b

(>>) :: Try e w a -> Try e w b -> Try e w b

return :: a -> Try e w a

Functor (Try e w)

Defined in Control.Monad.Try

Methods

fmap :: (a -> b) -> Try e w a -> Try e w b

(<$) :: a -> Try e w b -> Try e w a

Monoid w => Applicative (Try e w)

Defined in Control.Monad.Try

Methods

pure :: a -> Try e w a

(<*>) :: Try e w (a -> b) -> Try e w a -> Try e w b

liftA2 :: (a -> b -> c) -> Try e w a -> Try e w b -> Try e w c

(*>) :: Try e w a -> Try e w b -> Try e w b

(<*) :: Try e w a -> Try e w b -> Try e w a

Monoid w => Alternative (Try w w)

Defined in Control.Monad.Try

Methods

empty :: Try w w a

(<|>) :: Try w w a -> Try w w a -> Try w w a

some :: Try w w a -> Try w w [a]

many :: Try w w a -> Try w w [a]

Monoid w => MonadPlus (Try w w)

Defined in Control.Monad.Try

Methods

mzero :: Try w w a

mplus :: Try w w a -> Try w w a -> Try w w a

(Show e, Show a, Show w) => Show (Try e w a)

Defined in Control.Monad.Try

Methods

showsPrec :: Int -> Try e w a -> ShowS

show :: Try e w a -> String

showList :: [Try e w a] -> ShowS

maybeToTry :: Monoid w => e -> Maybe a -> Try e w a

RUN TRY

runTry :: Try e w a -> (Either e a, w)

gatherSuccess :: (Monoid w, Set w w) => [Try w w a] -> ([a], w)

THROW AND CATCH ERROR

throw :: Monoid w => e -> Try e w a

catch :: Semigroup w => Try e w a -> (e -> Try e w a) -> Try e w a

rights :: (Monoid w, Set w w) => [Try w w a] -> Try w w [a]

WRITE AND GET LOG

class Set x xs

Minimal complete definition

set

Instances

Set x x

Defined in Control.Monad.Try

Methods

set :: x -> x

(Monoid y, Set x xs) => Set x (y, xs)

Defined in Control.Monad.Try

Methods

set :: x -> (y, xs)

Monoid xs => Set x (x, xs)

Defined in Control.Monad.Try

Methods

set :: x -> (x, xs)

tell :: Set w ws => w -> Try e ws ()

partial :: Try e (w, ws) a -> Try e ws (Either e a, w)

TOOL

cons :: (Monoid w, Set w w) => Either w a -> [a] -> Try w w [a]