kyo-prelude
kyo-prelude
API
kyo
debug
Debug
Param
Param
internal
BaseKyoTest
kernel
<
Boundary
Context
ContextEffect
ContextEffect
Effect
Effect
SuspendMapOps
SuspendOps
handle
Flat
Weak
Weak
unsafe
WeakLowPriority
unsafe
Frame
Parsed
Position
Loop
Continue
Continue2
Continue3
Continue4
LowPriorityReducibles
Mode
Platform
Reducible
Reducible
Eliminable
Safepoint
Safepoint
Trace
Trace
Owner
Abort
Abort
CatchingOps
GetOps
RunOps
eliminateAbort
Aspect
Aspect
Choice
Choice
Cut
Emit
Emit
Ack
Continue
RunAckOps
RunDiscardOps
RunFoldOps
RunOps
Env
Env
UseOps
eliminateEnv
Kyo
Layer
Layer
Local
Local
Memo
Stream
Stream
Var
Var
UseOps
internal
Get
Update
kyo-prelude
/
kyo
/
Layer
Layer
kyo.Layer
See the
Layer
companion object
abstract
class
Layer
[
+
Out
,
-
S
]
Attributes
Companion
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Layer
[
Out
,
S
]
Members list
Clear all
Value members
Concrete methods
final infix
def
and
[
Out2
,
S2
](
that
:
Layer
[
Out2
,
S2
]):
Layer
[
Out
&
Out2
,
S
&
S2
]
def
run
[
R
](
using
reduce
:
Reducible
[
Env
[
In
]]):
TypeMap
[
Out
]
<
(
S
&
reduce.
SReduced
&
Memo
)
Extension method from
Layer
final infix
def
to
[
Out2
,
S2
,
In2
](
that
:
Layer
[
Out2
,
Env
[
In2
]
&
S2
]):
Layer
[
Out2
,
S
&
S2
]
final infix
def
using
[
Out2
,
S2
,
In2
](
that
:
Layer
[
Out2
,
Env
[
In2
]
&
S2
]):
Layer
[
Out
&
Out2
,
S
&
S2
]
In this article
Attributes
Members list
Value members
Concrete methods