matryoshka
Corecursive
Related Docs:
object Corecursive
|
package matryoshka
trait
Corecursive
[
T
[
_
[
_
]
]
]
extends
Serializable
Unfolds for corecursive data types.
Linear Supertypes
Serializable
,
Serializable
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Corecursive
Serializable
Serializable
Any
Hide All
Show all
Visibility
Public
All
Abstract Value Members
abstract
def
embed
[
F
[
_
]
]
(
t:
F
[
T
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
T
[
F
]
abstract
def
getClass
()
:
Class
[_]
Definition Classes
Any
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
[
F
[
_
]
,
A
]
(
a:
A
)
(
f: (
A
) ⇒
F
[
A
]
)
(
implicit
arg0:
Functor
[
F
]
)
:
T
[
F
]
def
anaM
[
F
[
_
]
,
M
[
_
]
,
A
]
(
a:
A
)
(
f: (
A
) ⇒
M
[
F
[
A
]]
)
(
implicit
arg0:
Traverse
[
F
]
,
arg1:
Monad
[
M
]
)
:
M
[
T
[
F
]]
def
apo
[
F
[
_
]
,
A
]
(
a:
A
)
(
f: (
A
) ⇒
F
[
\/
[
T
[
F
],
A
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
T
[
F
]
def
apoM
[
F
[
_
]
,
M
[
_
]
,
A
]
(
a:
A
)
(
f: (
A
) ⇒
M
[
F
[
\/
[
T
[
F
],
A
]]]
)
(
implicit
arg0:
Traverse
[
F
]
,
arg1:
Monad
[
M
]
)
:
M
[
T
[
F
]]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
def
futu
[
F
[
_
]
,
A
]
(
a:
A
)
(
f: (
A
) ⇒
F
[
Free
[
F
,
A
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
T
[
F
]
def
futuM
[
F
[
_
]
,
M
[
_
]
,
A
]
(
a:
A
)
(
f: (
A
) ⇒
M
[
F
[
Free
[
F
,
A
]]]
)
(
implicit
arg0:
Traverse
[
F
]
,
arg1:
Monad
[
M
]
)
:
M
[
T
[
F
]]
def
gana
[
F
[
_
]
,
M
[
_
]
,
A
]
(
a:
A
)
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
A
) ⇒
F
[
M
[
A
]]
)
(
implicit
arg0:
Functor
[
F
]
,
M:
Monad
[
M
]
)
:
T
[
F
]
def
gpostpro
[
F
[
_
]
,
M
[
_
]
,
A
]
(
a:
A
)
(
k:
DistributiveLaw
[
M
,
F
]
,
e:
~>
[
F
,
F
]
,
g: (
A
) ⇒
F
[
M
[
A
]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Recursive
[
T
]
,
M:
Monad
[
M
]
)
:
T
[
F
]
def
hashCode
()
:
Int
Definition Classes
Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
postpro
[
F
[
_
]
,
A
]
(
a:
A
)
(
e:
~>
[
F
,
F
]
,
g: (
A
) ⇒
F
[
A
]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Recursive
[
T
]
)
:
T
[
F
]
def
toString
()
:
String
Definition Classes
Any
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Any
Ungrouped
Unfolds for corecursive data types.