LiveCoding.CellExcept

Documentation

data CellExcept a b m e where

Constructors

Return :: e -> CellExcept a b m e

Bind :: CellExcept a b m e1 -> (e1 -> CellExcept a b m e2) -> CellExcept a b m e2

Try :: (Data e, Finite e) => Cell (ExceptT e m) a b -> CellExcept a b m e

Instances

MFunctor (CellExcept a b :: (Type -> Type) -> TYPE LiftedRep -> Type)

Defined in LiveCoding.CellExcept

Methods

hoist :: forall m n (b0 :: k). Monad m => (forall a0. m a0 -> n a0) -> CellExcept a b m b0 -> CellExcept a b n b0

Monad m => Applicative (CellExcept a b m)

Defined in LiveCoding.CellExcept

Methods

pure :: a0 -> CellExcept a b m a0

(<*>) :: CellExcept a b m (a0 -> b0) -> CellExcept a b m a0 -> CellExcept a b m b0

liftA2 :: (a0 -> b0 -> c) -> CellExcept a b m a0 -> CellExcept a b m b0 -> CellExcept a b m c

(*>) :: CellExcept a b m a0 -> CellExcept a b m b0 -> CellExcept a b m b0

(<*) :: CellExcept a b m a0 -> CellExcept a b m b0 -> CellExcept a b m a0

Monad m => Functor (CellExcept a b m)

Defined in LiveCoding.CellExcept

Methods

fmap :: (a0 -> b0) -> CellExcept a b m a0 -> CellExcept a b m b0

(<$) :: a0 -> CellExcept a b m b0 -> CellExcept a b m a0

Monad m => Monad (CellExcept a b m)

Defined in LiveCoding.CellExcept

Methods

(>>=) :: CellExcept a b m a0 -> (a0 -> CellExcept a b m b0) -> CellExcept a b m b0

(>>) :: CellExcept a b m a0 -> CellExcept a b m b0 -> CellExcept a b m b0

return :: a0 -> CellExcept a b m a0

runCellExcept :: Monad m => CellExcept a b m e -> Cell (ExceptT e m) a b

try :: (Data e, Finite e) => Cell (ExceptT e m) a b -> CellExcept a b m e

safely :: Monad m => CellExcept a b m Void -> Cell m a b

discardVoid :: Functor m => ExceptT Void m a -> m a

safe :: Monad m => Cell m a b -> CellExcept a b m Void

once :: (Monad m, Data e, Finite e) => (a -> m e) -> CellExcept a arbitrary m e

Run a monadic action and immediately raise its result as an exception.

once_ :: (Monad m, Data e, Finite e) => m e -> CellExcept a arbitrary m e

Like once, but the action does not have an input.