Safe Haskell	None
Language	Haskell2010

LiveCoding.CellExcept

Synopsis

data CellExcept a b (m :: Type -> Type) e where
- Return :: forall e a b (m :: Type -> Type). e -> CellExcept a b m e
- Bind :: forall a b (m :: Type -> Type) e1 e. CellExcept a b m e1 -> (e1 -> CellExcept a b m e) -> CellExcept a b m e
- Try :: forall e (m :: Type -> Type) a b. (Data e, Finite e) => Cell (ExceptT e m) a b -> CellExcept a b m e
runCellExcept :: forall (m :: Type -> Type) a b e. Monad m => CellExcept a b m e -> Cell (ExceptT e m) a b
try :: forall e (m :: Type -> Type) a b. (Data e, Finite e) => Cell (ExceptT e m) a b -> CellExcept a b m e
safely :: forall (m :: Type -> Type) a b. Monad m => CellExcept a b m Void -> Cell m a b
discardVoid :: Functor m => ExceptT Void m a -> m a
safe :: forall (m :: Type -> Type) a b. 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
once_ :: (Monad m, Data e, Finite e) => m e -> CellExcept a arbitrary m e

Documentation

data CellExcept a b (m :: Type -> Type) e where Source #

Constructors

Return :: forall e a b (m :: Type -> Type). e -> CellExcept a b m e
Bind :: forall a b (m :: Type -> Type) e1 e. CellExcept a b m e1 -> (e1 -> CellExcept a b m e) -> CellExcept a b m e
Try :: forall e (m :: Type -> Type) a b. (Data e, Finite e) => Cell (ExceptT e m) a b -> CellExcept a b m e

Instances details

MFunctor (CellExcept a b :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in LiveCoding.CellExcept Methods hoist :: 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 :: forall (m :: Type -> Type) a b e. Monad m => CellExcept a b m e -> Cell (ExceptT e m) a b Source #

try :: forall e (m :: Type -> Type) a b. (Data e, Finite e) => Cell (ExceptT e m) a b -> CellExcept a b m e Source #

safely :: forall (m :: Type -> Type) a b. Monad m => CellExcept a b m Void -> Cell m a b Source #

safe :: forall (m :: Type -> Type) a b. Monad m => Cell m a b -> CellExcept a b m Void Source #

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

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 Source #

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