Control.Subcategory.HasCompose

class HasCompose (s :: Type -> Type -> Type)  where

Members

• compose :: forall v0 v1 v2. ObjectOf s v0 => ObjectOf s v1 => ObjectOf s v2 => s v1 v2 -> s v0 v1 -> s v0 v2

Instances

• HasCompose Builder
• HasCompose Function

Operator alias for Control.Subcategory.HasCompose.compose (right-associative / precedence 9)

composeFlipped :: forall s v0 v1 v2. ObjectOf s v0 => ObjectOf s v1 => ObjectOf s v2 => HasCompose s => s v0 v1 -> s v1 v2 -> s v0 v2

Operator alias for Control.Subcategory.HasCompose.composeFlipped (right-associative / precedence 9)