matryoshka
Fix
Related Docs:
object Fix
|
package matryoshka
final
case class
Fix
[
F
[
_
]
]
(
unFix:
F
[
Fix
[
F
]]
)
extends
Product
with
Serializable
This is the simplest fixpoint type, implemented with general recursion.
Linear Supertypes
Serializable
,
Serializable
,
Product
,
Equals
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Fix
Serializable
Serializable
Product
Equals
AnyRef
Any
Implicitly
by toIdOps
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
Fix
(
unFix:
F
[
Fix
[
F
]]
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
ana
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Fix
[
F
]) ⇒
F
[
Fix
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
anaM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Fix
[
F
]) ⇒
M
[
F
[
Fix
[
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
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
apo
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Fix
[
F
]) ⇒
F
[
\/
[
T
[
F
],
Fix
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
apoM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Fix
[
F
]) ⇒
M
[
F
[
\/
[
T
[
F
],
Fix
[
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
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
attributeAna
[
F
[
_
]
]
(
ψ: (
Fix
[
F
]) ⇒
F
[
Fix
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
Cofree
[
F
,
Fix
[
F
]]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
attributeAnaM
[
M
[
_
]
,
F
[
_
]
]
(
ψ: (
Fix
[
F
]) ⇒
M
[
F
[
Fix
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
Cofree
[
F
,
Fix
[
F
]]]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
chrono
[
F
[
_
]
,
B
]
(
g: (
F
[
Cofree
[
F
,
B
]]) ⇒
B
,
f: (
Fix
[
F
]) ⇒
F
[
Free
[
F
,
Fix
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
codyna
[
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
B
,
ψ: (
Fix
[
F
]) ⇒
F
[
Free
[
F
,
Fix
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
codynaM
[
M
[
_
]
,
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
M
[
B
]
,
ψ: (
Fix
[
F
]) ⇒
M
[
F
[
Free
[
F
,
Fix
[
F
]]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
B
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
coelgot
[
F
[
_
]
,
B
]
(
φ: ((
Fix
[
F
],
F
[
B
])) ⇒
B
,
ψ: (
Fix
[
F
]) ⇒
F
[
Fix
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
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
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
dyna
[
F
[
_
]
,
B
]
(
φ: (
F
[
Cofree
[
F
,
B
]]) ⇒
B
,
ψ: (
Fix
[
F
]) ⇒
F
[
Fix
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgot
[
F
[
_
]
,
B
]
(
φ: (
F
[
B
]) ⇒
B
,
ψ: (
Fix
[
F
]) ⇒
\/
[
B
,
F
[
Fix
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgotAna
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Fix
[
F
]) ⇒
M
[
F
[
Fix
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
elgotApo
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Fix
[
F
]) ⇒
\/
[
T
[
F
],
F
[
Fix
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
freeAna
[
F
[
_
]
,
B
]
(
ψ: (
Fix
[
F
]) ⇒
\/
[
B
,
F
[
Fix
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
Free
[
F
,
B
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
futu
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
f: (
Fix
[
F
]) ⇒
F
[
Free
[
F
,
Fix
[
F
]]]
)
(
implicit
arg0:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
futuM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
f: (
Fix
[
F
]) ⇒
M
[
F
[
Free
[
F
,
Fix
[
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
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
gana
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Fix
[
F
]) ⇒
F
[
M
[
Fix
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
ganaM
[
T
[
_
[
_
]
]
,
M
[
_
]
,
N
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
f: (
Fix
[
F
]) ⇒
N
[
F
[
M
[
Fix
[
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
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
ghylo
[
W
[
_
]
,
M
[
_
]
,
F
[
_
]
,
B
]
(
w:
DistributiveLaw
[
F
,
W
]
,
m:
DistributiveLaw
[
M
,
F
]
,
f: (
F
[
W
[
B
]]) ⇒
B
,
g: (
Fix
[
F
]) ⇒
F
[
M
[
Fix
[
F
]]]
)
(
implicit
arg0:
Comonad
[
W
]
,
arg1:
Monad
[
M
]
,
arg2:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
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: (
Fix
[
F
]) ⇒
N
[
F
[
M
[
Fix
[
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
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
gpostpro
[
T
[
_
[
_
]
]
,
M
[
_
]
,
F
[
_
]
]
(
k:
DistributiveLaw
[
M
,
F
]
,
e:
~>
[
F
,
F
]
,
g: (
Fix
[
F
]) ⇒
F
[
M
[
Fix
[
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
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
hylo
[
F
[
_
]
,
B
]
(
f: (
F
[
B
]) ⇒
B
,
g: (
Fix
[
F
]) ⇒
F
[
Fix
[
F
]]
)
(
implicit
arg0:
Functor
[
F
]
)
:
B
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
def
hyloM
[
M
[
_
]
,
F
[
_
]
,
B
]
(
f: (
F
[
B
]) ⇒
M
[
B
]
,
g: (
Fix
[
F
]) ⇒
M
[
F
[
Fix
[
F
]]]
)
(
implicit
arg0:
Monad
[
M
]
,
arg1:
Traverse
[
F
]
)
:
M
[
B
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
postpro
[
T
[
_
[
_
]
]
,
F
[
_
]
]
(
e:
~>
[
F
,
F
]
,
g: (
Fix
[
F
]) ⇒
F
[
Fix
[
F
]]
)
(
implicit
arg0:
Recursive
[
T
]
,
arg1:
Functor
[
F
]
,
T:
Corecursive
[
T
]
)
:
T
[
F
]
Implicit information
This member is added by an implicit conversion from
Fix
[
F
] to
IdOps
[
Fix
[
F
]] performed by method toIdOps in
matryoshka
.
Definition Classes
IdOps
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
val
unFix
:
F
[
Fix
[
F
]]
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Product
Inherited from
Equals
Inherited from
AnyRef
Inherited from
Any
Inherited by implicit conversion toIdOps from
Fix
[
F
] to
IdOps
[
Fix
[
F
]]
Ungrouped
This is the simplest fixpoint type, implemented with general recursion.