tofu-core-higher-kind
tofu-core-higher-kind
API
tofu
compat
unused212
uv212
control
impl
BindInstanceChain
BiMonad
Bind
Bind
PureApp
RaiseApp
StackSafeBind
TwinMonad
TwinMonad
higherKind
bi
BiMid
BiMid
TofuMidAlgebraSyntax
BiMidAlgebraMonoid
BiMidAlgebraSemigroup
BiMidInstances
BiMidInstances1
BiMidMonoidK
BiPoint
BiPoint
BiTemplate
BiTemplate
EmbedBK
EmbedBK
Fun2BK
Fun2BK
Applied
Maker
Ops
FunBK
FunBK
Applied
Maker
FunctorBK
FunctorBK
MonoidBK
MonoidBKOps
MonoidalBK
MonoidalBK
PureBK
PureBKK
RepBK
RepBK
Applied
MakeRepr
RepresentableB
RepresentableB
Tab
SemigroupBK
SemigroupalBK
SemigroupalBK
Tuple2BK
UnitalBK
UnitalBK
Embed
Embed
EmbedInstanceChain
Function2K
Function2K
Applied
MakeFunctionK
FunctionHK
FunctionHK
Applied
Maker
Mid
Mid
TofuMidAlgebraSyntax
MidAlgebraMonoid
MidAlgebraSemigroup
MidInstances
MidInstances1
MidInvariantK
MidMonoidK
MonoidalK
MonoidalK
Point
Point
Post
Post
TofuPostAlgebraSyntax
PostInstances
PostInstances1
Pre
PreApplier
PreTag
TofuPreAlgebraSyntax
TofuPreSyntax
PreInstances
PreInstances1
PureK
PureK
RepK
RepK
Applied
MakeRepr
RepresentableK
RepresentableK
Tab
RepresentableKInstanceChain
UnitalK
UnitalK
instances
bind
internal
EffectCompHK
syntax
bind
BindSyntax
bindInv
BindInvariantSyntax
embed
TofuEmbedOps
functionK
MakeFunctionK
functorbk
TofuFunctorBKOps
funk
Applied1
Applied2
Maker
monadic
TofuApplicativeBooleanOps
TofuApplyFunc2Ops
TofuApplyFuncOps
TofuApplyOps
TofuFlatMapOps
TofuFunctorOps
TofuSemigroupalOps
monoidalK
TofuMonoidalFOps
TofuMonoidalZipWithKTo
tofu-core-higher-kind
/
tofu
/
tofu.higherKind
/
Embed
Embed
tofu.higherKind.Embed
See the
Embed
companion object
trait
Embed
[
U
[
_
[
_
]]]
Attributes
Companion
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
trait
RepresentableK
[
U
]
Members list
Clear all
Value members
Abstract methods
def
embed
[
F
[
_
] :
FlatMap
](
ft
:
F
[
U
[
F
]]):
U
[
F
]
In this article
Attributes
Members list
Value members
Abstract methods