Wonderland v0.1.1 Wonderland.TypeClass.Bifunctor behaviour View Source

Link to this section Summary

Link to this section Types

Link to this type

t(x, y)

View Source
t(x, y) :: t(x, y)

Link to this section Functions

Link to this section Callbacks

Link to this callback

bifunctor_bimap(function, function, t)

View Source
bifunctor_bimap((a() -> b()), (c() -> d()), t(a(), c())) :: t(b(), d())