Control.Subcategory.Bind

Documentation

class CFunctor m => CBind m where

Minimal complete definition

Nothing

Methods

(>>-) :: (Dom m a, Dom m b) => m a -> (a -> m b) -> m b infixl 1

(>>-) :: (Dom m a, Dom m b, Dom m (m b)) => m a -> (a -> m b) -> m b infixl 1

cjoin :: (Dom m (m a), Dom m a) => m (m a) -> m a

Instances

CBind []

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom [] a, Dom [] b) => [a] -> (a -> [b]) -> [b]

cjoin :: (Dom [] [a], Dom [] a) => [[a]] -> [a]

CBind Maybe

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom Maybe a, Dom Maybe b) => Maybe a -> (a -> Maybe b) -> Maybe b

cjoin :: (Dom Maybe (Maybe a), Dom Maybe a) => Maybe (Maybe a) -> Maybe a

CBind IO

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom IO a, Dom IO b) => IO a -> (a -> IO b) -> IO b

cjoin :: (Dom IO (IO a), Dom IO a) => IO (IO a) -> IO a

CBind Option

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom Option a, Dom Option b) => Option a -> (a -> Option b) -> Option b

cjoin :: (Dom Option (Option a), Dom Option a) => Option (Option a) -> Option a

CBind Identity

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom Identity a, Dom Identity b) => Identity a -> (a -> Identity b) -> Identity b

cjoin :: (Dom Identity (Identity a), Dom Identity a) => Identity (Identity a) -> Identity a

CBind STM

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom STM a, Dom STM b) => STM a -> (a -> STM b) -> STM b

cjoin :: (Dom STM (STM a), Dom STM a) => STM (STM a) -> STM a

CBind ReadPrec

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom ReadPrec a, Dom ReadPrec b) => ReadPrec a -> (a -> ReadPrec b) -> ReadPrec b

cjoin :: (Dom ReadPrec (ReadPrec a), Dom ReadPrec a) => ReadPrec (ReadPrec a) -> ReadPrec a

CBind ReadP

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom ReadP a, Dom ReadP b) => ReadP a -> (a -> ReadP b) -> ReadP b

cjoin :: (Dom ReadP (ReadP a), Dom ReadP a) => ReadP (ReadP a) -> ReadP a

CBind NonEmpty

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom NonEmpty a, Dom NonEmpty b) => NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b

cjoin :: (Dom NonEmpty (NonEmpty a), Dom NonEmpty a) => NonEmpty (NonEmpty a) -> NonEmpty a

CBind IntMap

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom IntMap a, Dom IntMap b) => IntMap a -> (a -> IntMap b) -> IntMap b

cjoin :: (Dom IntMap (IntMap a), Dom IntMap a) => IntMap (IntMap a) -> IntMap a

CBind Tree

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom Tree a, Dom Tree b) => Tree a -> (a -> Tree b) -> Tree b

cjoin :: (Dom Tree (Tree a), Dom Tree a) => Tree (Tree a) -> Tree a

CBind Seq

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom Seq a, Dom Seq b) => Seq a -> (a -> Seq b) -> Seq b

cjoin :: (Dom Seq (Seq a), Dom Seq a) => Seq (Seq a) -> Seq a

CBind Set

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom Set a, Dom Set b) => Set a -> (a -> Set b) -> Set b

cjoin :: (Dom Set (Set a), Dom Set a) => Set (Set a) -> Set a

CBind HashSet

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom HashSet a, Dom HashSet b) => HashSet a -> (a -> HashSet b) -> HashSet b

cjoin :: (Dom HashSet (HashSet a), Dom HashSet a) => HashSet (HashSet a) -> HashSet a

CBind (Either a)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (Either a) a0, Dom (Either a) b) => Either a a0 -> (a0 -> Either a b) -> Either a b

cjoin :: (Dom (Either a) (Either a a0), Dom (Either a) a0) => Either a (Either a a0) -> Either a a0

Semigroup w => CBind ((,) w)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom ((,) w) a, Dom ((,) w) b) => (w, a) -> (a -> (w, b)) -> (w, b)

cjoin :: (Dom ((,) w) (w, a), Dom ((,) w) a) => (w, (w, a)) -> (w, a)

CBind (ST s)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (ST s) a, Dom (ST s) b) => ST s a -> (a -> ST s b) -> ST s b

cjoin :: (Dom (ST s) (ST s a), Dom (ST s) a) => ST s (ST s a) -> ST s a

CBind (ST s)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (ST s) a, Dom (ST s) b) => ST s a -> (a -> ST s b) -> ST s b

cjoin :: (Dom (ST s) (ST s a), Dom (ST s) a) => ST s (ST s a) -> ST s a

Ord k => CBind (Map k)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (Map k) a, Dom (Map k) b) => Map k a -> (a -> Map k b) -> Map k b

cjoin :: (Dom (Map k) (Map k a), Dom (Map k) a) => Map k (Map k a) -> Map k a

(Hashable k, Eq k) => CBind (HashMap k)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (HashMap k) a, Dom (HashMap k) b) => HashMap k a -> (a -> HashMap k b) -> HashMap k b

cjoin :: (Dom (HashMap k) (HashMap k a), Dom (HashMap k) a) => HashMap k (HashMap k a) -> HashMap k a

Monad m => CBind (WrapFunctor m)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (WrapFunctor m) a, Dom (WrapFunctor m) b) => WrapFunctor m a -> (a -> WrapFunctor m b) -> WrapFunctor m b

cjoin :: (Dom (WrapFunctor m) (WrapFunctor m a), Dom (WrapFunctor m) a) => WrapFunctor m (WrapFunctor m a) -> WrapFunctor m a

CBind (WrapMono IntSet :: Type -> Type)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (WrapMono IntSet) a, Dom (WrapMono IntSet) b) => WrapMono IntSet a -> (a -> WrapMono IntSet b) -> WrapMono IntSet b

cjoin :: (Dom (WrapMono IntSet) (WrapMono IntSet a), Dom (WrapMono IntSet) a) => WrapMono IntSet (WrapMono IntSet a) -> WrapMono IntSet a

CBind ((->) a :: Type -> Type)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom ((->) a) a0, Dom ((->) a) b) => (a -> a0) -> (a0 -> a -> b) -> a -> b

cjoin :: (Dom ((->) a) (a -> a0), Dom ((->) a) a0) => (a -> (a -> a0)) -> a -> a0

(CBind m, CBind n) => CBind (Product m n)

Defined in Control.Subcategory.Bind

Methods

(>>-) :: (Dom (Product m n) a, Dom (Product m n) b) => Product m n a -> (a -> Product m n b) -> Product m n b

cjoin :: (Dom (Product m n) (Product m n a), Dom (Product m n) a) => Product m n (Product m n a) -> Product m n a

class (CBind f, CPointed f) => CMonad f

Instances

(CBind f, CPointed f) => CMonad f

Defined in Control.Subcategory.Bind

creturn :: (Dom m a, CMonad m) => a -> m a

(-<<) :: (Dom m b, Dom m a, CBind m) => (a -> m b) -> m a -> m b infixr 1