Module

Control.Subcategory.Endofunctor.HasCompose

#compose 

compose :: forall c v0 v1 v2. HasMap c (c v0) => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c (c v0 v1) => ObjectOf c (c v1 v2) => ObjectOf c (c v0 v2) => c v1 v2 -> c (c v0 v1) (c v0 v2)

#compose' 

compose' :: forall c v0 v1 v2. HasMap c (c v0) => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c (c v0 v1) => ObjectOf c (c v1 v2) => ObjectOf c (c v0 v2) => ObjectOf c (c (c v0 v1) (c v0 v2)) => Restrictable Function c => c (c v1 v2) (c (c v0 v1) (c v0 v2))

Modules