effect-tree
Preparing search index...
index
Codec
Edges
getEdgeListEquivalence
Variable getEdgeListEquivalence
Const
getEdgeListEquivalence
:
<
A
>
(
equalsA
:
Equivalence.Equivalence
<
A
>
,
)
=>
Equivalence.Equivalence
<
EdgeList
<
A
>
>
= ...
Given an equivalence of
A
, return an equivalence of
EdgeList<A>
.
Type Declaration
<
A
>
(
equalsA
:
Equivalence.Equivalence
<
A
>
)
:
Equivalence.Equivalence
<
EdgeList
<
A
>
>
Type Parameters
A
Parameters
equalsA
:
Equivalence.Equivalence
<
A
>
Returns
Equivalence.Equivalence
<
EdgeList
<
A
>
>
Settings
Member Visibility
Internal
Theme
OS
Light
Dark
effect-tree
Loading...
Given an equivalence of
A, return an equivalence ofEdgeList<A>.