Control.Subcategory.Functor.HasBind

class HasBind c m  where

Members

• bind :: forall v1 v0. ObjectOf c v0 => ObjectOf c (m v1) => m v0 -> c v0 (m v1) -> m v1

Instances

• (Bind m) => HasBind Function m

Operator alias for Control.Subcategory.Functor.HasBind.bind (left-associative / precedence 1)

bind' :: forall v1 v0 m c. HasBind c m => ObjectOf c v0 => ObjectOf c (m v1) => Restrictable Function c => m v0 -> (v0 -> (m v1)) -> m v1

Operator alias for Control.Subcategory.Functor.HasBind.bind (left-associative / precedence 1)

bindFlipped :: forall v1 v0 m c. HasBind c m => ObjectOf c v0 => ObjectOf c (m v1) => c v0 (m v1) -> m v0 -> m v1

Operator alias for Control.Subcategory.Functor.HasBind.bindFlipped (right-associative / precedence 1)

composeKleisli :: forall v2 v1 v0 m c. HasBind c m => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (m v1) => ObjectOf c (m v2) => ObjectOf c (c v0 (m v1)) => Slackable c => c v0 (m v1) -> c v1 (m v2) -> v0 -> m v2

Operator alias for Control.Subcategory.Functor.HasBind.composeKleisli (right-associative / precedence 1)

composeKleisliFlipped :: forall v2 v1 v0 m c. HasBind c m => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c (m v1) => ObjectOf c (m v2) => ObjectOf c (c v0 (m v1)) => Slackable c => c v1 (m v2) -> c v0 (m v1) -> v0 -> m v2

Operator alias for Control.Subcategory.Functor.HasBind.composeKleisliFlipped (right-associative / precedence 1)

ifM :: forall v m c. HasBind c m => ObjectOf c Boolean => ObjectOf c (m v) => Restrictable Function c => m Boolean -> m v -> m v -> m v

join :: forall v m c. HasBind c m => HasIdentity c => ObjectOf c (m v) => m (m v) -> m v