effect-tree
Preparing search index...
index
These
mapRight
Variable mapRight
mapRight
:
{
<
A
,
B
>
(
f
:
(
a
:
A
)
=>
B
,
)
:
<
R
,
O
,
E
>
(
self
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
A
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
A
}
,
)
=>
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
B
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
B
}
;
<
R
,
O
,
E
,
A
,
B
>
(
self
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
A
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
A
}
,
f
:
(
a
:
A
)
=>
B
,
)
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
B
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
B
}
;
}
Type Declaration
<
A
,
B
>
(
f
:
(
a
:
A
)
=>
B
,
)
:
<
R
,
O
,
E
>
(
self
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
A
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
A
}
,
)
=>
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
B
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
B
}
Type Parameters
A
B
Parameters
f
:
(
a
:
A
)
=>
B
Returns
<
R
,
O
,
E
>
(
self
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
A
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
A
}
,
)
=>
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
B
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
B
}
<
R
,
O
,
E
,
A
,
B
>
(
self
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
A
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
A
}
,
f
:
(
a
:
A
)
=>
B
,
)
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
B
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
B
}
Type Parameters
R
O
E
A
B
Parameters
self
:
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
A
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
A
}
f
:
(
a
:
A
)
=>
B
Returns
|
{
_tag
:
"Left"
;
left
:
E
}
|
{
_tag
:
"Right"
;
right
:
B
}
|
{
_tag
:
"Both"
;
left
:
E
;
right
:
B
}
Settings
Member Visibility
Internal
Theme
OS
Light
Dark
effect-tree
Loading...