Idrall.IOEither

Definitions

data IOEither : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkIOEither : IO (Either a b) -> IOEither a b

Hints:

Applicative (IOEither a)

Functor (IOEither a)

Monad (IOEither a)

liftA2 : Applicative f => (a -> b -> c) -> f a -> f b -> f c

  Lift a two-argument function to an applicative

Visibility: export

liftEither : Either e a -> IOEither e a

Visibility: export

liftIOEither : IOEither e a -> IO (Either e a)

Visibility: export

mapErr : (e -> e') -> IOEither e a -> IOEither e' a

Visibility: export