effect-tree
Preparing search index...
effect-tree
Draw
PartF
imap
Function imap
Covariant
instance for
PartF
.
imap
<
A
,
B
>
(
to
:
(
a
:
A
)
=>
B
,
from
:
(
b
:
B
)
=>
A
,
)
:
<
R
,
O
,
E
>
(
self
:
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
,
)
=>
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
Type Parameters
A
B
Parameters
to
:
(
a
:
A
)
=>
B
from
:
(
b
:
B
)
=>
A
Returns
<
R
,
O
,
E
>
(
self
:
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
,
)
=>
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
imap
<
R
,
O
,
E
,
A
,
B
>
(
self
:
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
,
to
:
(
a
:
A
)
=>
B
,
from
:
(
b
:
B
)
=>
A
,
)
:
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
Type Parameters
R
O
E
A
B
Parameters
self
:
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
A
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
to
:
(
a
:
A
)
=>
B
from
:
(
b
:
B
)
=>
A
Returns
|
{
_tag
:
"EmptyF"
}
|
{
_tag
:
"TextF"
;
show
:
string
}
|
{
_tag
:
"RowF"
;
bottom
:
Draw
.
VStrut
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
top
:
Draw
.
VStrut
;
vAlign
:
"top"
|
"bottom"
|
"middle"
;
}
|
{
_tag
:
"ColumnF"
;
cells
:
B
[]
;
hAlign
:
"left"
|
"right"
|
"center"
;
left
:
Draw
.
HStrut
;
right
:
Draw
.
HStrut
;
}
Settings
Member Visibility
Internal
Theme
OS
Light
Dark
effect-tree
Loading...
Covariantinstance for PartF.