matryoshka
Merge
Related Docs:
object Merge
|
package matryoshka
trait
Merge
[
F
[
_
]
]
extends
Serializable
Like
Zip
, but it can fail to merge, so it’s much more general.
Linear Supertypes
Serializable
,
Serializable
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Merge
Serializable
Serializable
Any
Implicitly
by toIdOps
Hide All
Show All
Visibility
Public
All
Abstract Value Members
abstract
def
getClass
()
:
Class
[_]
Definition Classes
Any
abstract
def
merge
[
A
,
B
]
(
fa:
F
[
A
]
,
fb: ⇒
F
[
B
]
)
:
Option
[
F
[(
A
,
B
)]]
Concrete Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
def
ana
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Merge
[
F
]) ⇒
F
[
Merge
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
anaM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Merge
[
F
]) ⇒
M
[
F
[
Merge
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
M
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
apo
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Merge
[
F
]) ⇒
F
[
\/
[
T
[
F
],
Merge
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
apoM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Merge
[
F
]) ⇒
M
[
F
[
\/
[
T
[
F
],
Merge
[
F
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
M
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
attributeAna
[
F
[
_
]
]
(
ψ: (
Merge
[
F
]) ⇒
F
[
Merge
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
Cofree
[
F
,
Merge
[
F
]]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
attributeAnaM
[
M
[
_
]
,
F
[
_
]
]
(
ψ: (
Merge
[
F
]) ⇒
M
[
F
[
Merge
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
Cofree
[
F
,
Merge
[
F
]]]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
chrono
[
F
[
_
]
,
B
]
(
g: (
F
[
Cofree
[
F
,
B
]]) ⇒
B
,
f: (
Merge
[
F
]) ⇒
F
[
Free
[
F
,
Merge
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
codyna
[
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
B
,
ψ: (
Merge
[
F
]) ⇒
F
[
Free
[
F
,
Merge
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
codynaM
[
M
[
_
]
,
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
M
[
B
]
,
ψ: (
Merge
[
F
]) ⇒
M
[
F
[
Free
[
F
,
Merge
[
F
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
B
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
coelgot
[
F
[
_
]
,
B
]
(
φ: ((
Merge
[
F
],
F
[
B
])) ⇒
B
,
ψ: (
Merge
[
F
]) ⇒
F
[
Merge
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
coelgotM
[
M
[
_
]
]
:
IdOps.CoelgotMPartiallyApplied
[
M
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
dyna
[
F
[
_
]
,
B
]
(
φ: (
F
[
Cofree
[
F
,
B
]]) ⇒
B
,
ψ: (
Merge
[
F
]) ⇒
F
[
Merge
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgot
[
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
B
,
ψ: (
Merge
[
F
]) ⇒
\/
[
B
,
F
[
Merge
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgotAna
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Merge
[
F
]) ⇒
M
[
F
[
Merge
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgotApo
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Merge
[
F
]) ⇒
\/
[
T
[
F
],
F
[
Merge
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
def
freeAna
[
F
[
_
]
,
B
]
(
ψ: (
Merge
[
F
]) ⇒
\/
[
B
,
F
[
Merge
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
Free
[
F
,
B
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
futu
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Merge
[
F
]) ⇒
F
[
Free
[
F
,
Merge
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
futuM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Merge
[
F
]) ⇒
M
[
F
[
Free
[
F
,
Merge
[
F
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
M
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
gana
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Merge
[
F
]) ⇒
F
[
M
[
Merge
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
ganaM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
N
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Merge
[
F
]) ⇒
N
[
F
[
M
[
Merge
[
F
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
M
]
,
arg2:
Monad
[
N
]
,
arg3:
Traverse
[
F
]
,
T:
Corecursive
[
T
]
)
:
N
[
T
[
F
]]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
ghylo
[
W
[
_
]
,
M
[
_
]
,
F
[
_
]
,
B
]
(
w:
DistributiveLaw
[
F
,
W
]
,
m:
DistributiveLaw
[
M
,
F
]
,
f: (
F
[
W
[
B
]]) ⇒
B
,
g: (
Merge
[
F
]) ⇒
F
[
M
[
Merge
[
F
]]]
)
(
implicit
arg0:
Comonad
[
W
]
,
arg1:
Monad
[
M
]
,
arg2:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
ghyloM
[
W
[
_
]
,
M
[
_
]
,
N
[
_
]
,
F
[
_
]
,
B
]
(
w:
DistributiveLaw
[
F
,
W
]
,
m:
DistributiveLaw
[
M
,
F
]
,
f: (
F
[
W
[
B
]]) ⇒
N
[
B
]
,
g: (
Merge
[
F
]) ⇒
N
[
F
[
M
[
Merge
[
F
]]]]
)
(
implicit
arg0:
Comonad
[
W
]
,
arg1:
Traverse
[
W
]
,
arg2:
Monad
[
M
]
,
arg3:
Traverse
[
M
]
,
arg4:
Monad
[
N
]
,
arg5:
Traverse
[
F
]
)
:
N
[
B
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
gpostpro
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
e:
~>
[
F
,
F
]
,
g: (
Merge
[
F
]) ⇒
F
[
M
[
Merge
[
F
]]]
)
(
implicit
arg0:
Recursive
[
T
]
,
arg1:
Monad
[
M
]
,
arg2:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
hashCode
()
:
Int
Definition Classes
Any
def
hylo
[
F
[
_
]
,
B
]
(
f: (
F
[
B
]) ⇒
B
,
g: (
Merge
[
F
]) ⇒
F
[
Merge
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
hyloM
[
M
[
_
]
,
F
[
_
]
,
B
]
(
f: (
F
[
B
]) ⇒
M
[
B
]
,
g: (
Merge
[
F
]) ⇒
M
[
F
[
Merge
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
B
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
mergeWith
[
A
,
B
,
C
,
D
]
(
fa:
F
[
A
]
,
fb: ⇒
F
[
B
]
)
(
g: (
A
,
B
) ⇒
D
)
(
implicit
F:
Functor
[
F
]
)
:
Option
[
F
[
D
]]
def
postpro
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
e:
~>
[
F
,
F
]
,
g: (
Merge
[
F
]) ⇒
F
[
Merge
[
F
]]
)
(
implicit
arg0:
Recursive
[
T
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Merge
[
F
] to
IdOps
[
Merge
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
toString
()
:
String
Definition Classes
Any
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Any
Inherited by implicit conversion toIdOps from
Merge
[
F
] to
IdOps
[
Merge
[
F
]]
Ungrouped
Like
Zip
, but it can fail to merge, so it’s much more general.