core
core
higherkindness.droste
Algebra
AlgebraM
Basis
Basis
Default
Solve
Solve
CVAlgebra
CVCoalgebra
Coalgebra
CoalgebraM
Embed
Embed
GAlgebra
GAlgebra
Gathered
GAlgebraM
GAlgebraM
Gathered
GCoalgebra
GCoalgebra
Scattered
GCoalgebraM
GCoalgebraM
Scattered
GTrans
GTrans
GTransM
GTransM
Gather
Project
Project
RAlgebra
RAlgebraM
RCoalgebra
RCoalgebraM
Scatter
Trans
TransM
kernel
prelude
scheme
zoo
higherkindness.droste.data
Attr
AttrF
Coattr
Pure
Roll
CoattrF
Pure
Roll
CoattrImplicits
CoattrOps
Fix
Mu
Mu
Nu
Nu
prelude
higherkindness.droste.data.list
ConsF
ListF
ListF
NilF
higherkindness.droste.data.stream
Stream
StreamOps
coalgebras
implicits
higherkindness.droste.implicits
composedFunctor
composedTraverse
higherkindness.droste.syntax
AttrSyntax
AttrSyntax
Ops
ComposeSyntax
EmbedSyntax
EmbedSyntax
Ops
FixSyntax
FixSyntax
Ops
LiftSyntax
LiftSyntax
Ops
ProjectSyntax
ProjectSyntax
ProjectFoldableOps
ProjectOps
UnfixSyntax
UnfixSyntax
Ops
all
attr
compose
embed
fix
lift
project
unfix
higherkindness.droste.util
DefaultTraverse
newtypes
@@
BooleanOps
Tags
Conjunction
Disjunction
core
/
higherkindness.droste
/
RCoalgebraM
RCoalgebraM
object
RCoalgebraM
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
RCoalgebraM
.type
Value members
Value members
Concrete methods
def
apply
[
R
,
M
[
_
],
F
[
_
],
A
](
f:
A
=>
M
[
F
[
Either
[
R
,
A
]]]):
RCoalgebraM
[
R
,
M
,
F
,
A
]