Control.Subcategory.HasCompose

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

Members

• compose :: forall v2 v1 v0. 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 v2 v1 v0 s. 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)