| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
LiveCoding.CellExcept
Documentation
data CellExcept m a b e where Source #
Constructors
| Return :: e -> CellExcept m a b e | |
| Bind :: CellExcept m a b e1 -> (e1 -> CellExcept m a b e2) -> CellExcept m a b e2 | |
| Try :: (Data e, Finite e) => Cell (ExceptT e m) a b -> CellExcept m a b e |
Instances
| Monad m => Monad (CellExcept m a b) Source # | |
Defined in LiveCoding.CellExcept Methods (>>=) :: CellExcept m a b a0 -> (a0 -> CellExcept m a b b0) -> CellExcept m a b b0 # (>>) :: CellExcept m a b a0 -> CellExcept m a b b0 -> CellExcept m a b b0 # return :: a0 -> CellExcept m a b a0 # | |
| Monad m => Functor (CellExcept m a b) Source # | |
Defined in LiveCoding.CellExcept Methods fmap :: (a0 -> b0) -> CellExcept m a b a0 -> CellExcept m a b b0 # (<$) :: a0 -> CellExcept m a b b0 -> CellExcept m a b a0 # | |
| Monad m => Applicative (CellExcept m a b) Source # | |
Defined in LiveCoding.CellExcept Methods pure :: a0 -> CellExcept m a b a0 # (<*>) :: CellExcept m a b (a0 -> b0) -> CellExcept m a b a0 -> CellExcept m a b b0 # liftA2 :: (a0 -> b0 -> c) -> CellExcept m a b a0 -> CellExcept m a b b0 -> CellExcept m a b c # (*>) :: CellExcept m a b a0 -> CellExcept m a b b0 -> CellExcept m a b b0 # (<*) :: CellExcept m a b a0 -> CellExcept m a b b0 -> CellExcept m a b a0 # | |
runCellExcept :: Monad m => CellExcept m a b e -> Cell (ExceptT e m) a b Source #