Wonderland
v0.1.1
Pages
Modules
Wonderland v0.1.1
Wonderland.TypeClass.Bifunctor
behaviour
View Source
Link to this section
Summary
Types
t(x, y)
Functions
bimap(f, g, x)
ex_bimap(x, f, g)
ex_first(x, f)
ex_second(x, g)
first(f, x)
second(g, x)
Callbacks
bifunctor_bimap(function, function, t)
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 macro
bimap(f, g, x)
View Source
(macro)
Link to this macro
ex_bimap(x, f, g)
View Source
(macro)
Link to this macro
ex_first(x, f)
View Source
(macro)
Link to this macro
ex_second(x, g)
View Source
(macro)
Link to this macro
first(f, x)
View Source
(macro)
Link to this macro
second(g, x)
View Source
(macro)
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())