Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class CFunctor m => CBind m where Source #
Nothing
(>>-) :: (Dom m a, Dom m b) => m a -> (a -> m b) -> m b infixl 1 Source #
(>>-) :: (Dom m a, Dom m b, Dom m (m b)) => m a -> (a -> m b) -> m b infixl 1 Source #
Instances
CBind [] Source # | |
CBind Maybe Source # | |
CBind IO Source # | |
CBind Option Source # | |
CBind Identity Source # | |
CBind STM Source # | |
CBind ReadPrec Source # | |
CBind ReadP Source # | |
CBind NonEmpty Source # | |
CBind IntMap Source # | |
CBind Tree Source # | |
CBind Seq Source # | |
CBind Set Source # | |
CBind HashSet Source # | |
CBind (Either a) Source # | |
Semigroup w => CBind ((,) w) Source # | |
CBind (ST s) Source # | |
CBind (ST s) Source # | |
Ord k => CBind (Map k) Source # | |
(Hashable k, Eq k) => CBind (HashMap k) Source # | |
Monad m => CBind (WrapFunctor m) Source # | |
Defined in Control.Subcategory.Bind (>>-) :: (Dom (WrapFunctor m) a, Dom (WrapFunctor m) b) => WrapFunctor m a -> (a -> WrapFunctor m b) -> WrapFunctor m b Source # cjoin :: (Dom (WrapFunctor m) (WrapFunctor m a), Dom (WrapFunctor m) a) => WrapFunctor m (WrapFunctor m a) -> WrapFunctor m a Source # | |
CBind (WrapMono IntSet :: Type -> Type) Source # | |
Defined in Control.Subcategory.Bind | |
CBind ((->) a :: Type -> Type) Source # | |
(CBind m, CBind n) => CBind (Product m n) Source # | |