higherkindness
.
droste
.
Basis
Default
Related Doc:
package Basis
final
case class
Default
[
F
[
_
]
,
R
]
(
algebra:
Algebra
[
F
,
R
]
,
coalgebra:
Coalgebra
[
F
,
R
]
)
extends
Basis
[
F
,
R
] with
Product
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
Product
,
Equals
,
Basis
[
F
,
R
],
Project
[
F
,
R
],
Embed
[
F
,
R
],
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Default
Serializable
Serializable
Product
Equals
Basis
Project
Embed
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
Default
(
algebra:
Algebra
[
F
,
R
]
,
coalgebra:
Coalgebra
[
F
,
R
]
)
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
val
algebra
:
Algebra
[
F
,
R
]
Definition Classes
Default
→
Embed
def
all
(
r:
R
)
(
p: (
R
) ⇒
Boolean
)
(
implicit
F:
Foldable
[
F
]
)
:
Boolean
Definition Classes
Project
def
any
(
r:
R
)
(
p: (
R
) ⇒
Boolean
)
(
implicit
F:
Foldable
[
F
]
)
:
Boolean
Definition Classes
Project
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
coalgebra
:
Coalgebra
[
F
,
R
]
Definition Classes
Default
→
Project
def
collect
[
U
,
B
]
(
r:
R
)
(
pf:
PartialFunction
[
R
,
B
]
)
(
implicit
arg0:
Monoid
[
U
]
,
U:
Basis
[[β$0$]
ListF
[
B
,
β$0$
],
U
]
,
F:
Foldable
[
F
]
)
:
U
Definition Classes
Project
def
contains
(
r:
R
,
c:
R
)
(
implicit
R:
Eq
[
R
]
,
F:
Foldable
[
F
]
)
:
Boolean
Definition Classes
Project
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
foldMap
[
Z
]
(
r:
R
)
(
f: (
R
) ⇒
Z
)
(
implicit
arg0:
Monoid
[
Z
]
,
F:
Foldable
[
F
]
)
:
Z
Definition Classes
Project
def
foldMapM
[
M
[
_
]
,
Z
]
(
r:
R
)
(
f: (
R
) ⇒
M
[
Z
]
)
(
implicit
M:
Monad
[
M
]
,
Z:
Monoid
[
Z
]
,
F:
Foldable
[
F
]
)
:
M
[
Z
]
Definition Classes
Project
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
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
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
implicit
val
tc
:
Project
[
F
,
R
]
Definition Classes
Project
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
Basis
[
F
,
R
]
Inherited from
Project
[
F
,
R
]
Inherited from
Embed
[
F
,
R
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped