Category v0.1.0 Category.TypeClass.Applicative behaviour View Source

Link to this section Summary

Link to this section Types

Link to this section Functions

Link to this section Callbacks

Link to this callback

applicative_ap(t, t)

View Source
applicative_ap(t((a() -> b())), t(a())) :: t(b())