dotty-cps-async-logic
dotty-cps-async-logic
API
cps.monads.logic
Choices
CpsConcurrentLogicMonad
CpsConcurrentLogicMonadContext
CpsConcurrentLogicMonadInstanceContext
CpsConcurrentLogicMonadInstanceContextBody
CpsLogicMonad
CpsLogicMonad
CpsLogicMonadContext
CpsLogicMonadInstanceContext
CpsLogicMonadInstanceContextBody
CpsLogicStreamConcurrenctMonad
CpsLogicStreamMonadBase
CpsLogicStreamSyncMonad
CpsLogicStreamTryMonad
CpsSyncLogicMonad
LazyListCpsLogicMonad
LogicStream
LogicStreamT
LogicStreamT
Cons
Empty
Error
MPlusSeq
Pure
Suspend
WaitF
dotty-cps-async-logic
/
cps.monads.logic
/
LogicStreamT
LogicStreamT
cps.monads.logic.LogicStreamT
See the
LogicStreamT
companion object
sealed
trait
LogicStreamT
[
F
[
_
],
A
]
Attributes
Companion
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
class
Cons
[
F
,
A
]
class
Empty
[
F
,
A
]
class
Error
[
F
,
A
]
class
MPlusSeq
[
F
,
A
]
class
Pure
[
F
,
A
]
class
Suspend
[
F
,
A
]
class
WaitF
[
F
,
A
]
Show all
Members list
Clear all
Value members
Abstract methods
def
flatMap
[
B
](
f
:
A
=>
LogicStreamT
[
F
,
B
]):
LogicStreamT
[
F
,
B
]
def
flatMapTry
[
B
](
f
: (
Try
[
A
])
=>
LogicStreamT
[
F
,
B
]):
LogicStreamT
[
F
,
B
]
def
fsplit
:
F
[
Option
[(
Try
[
A
],
LogicStreamT
[
F
,
A
])]]
def
map
[
B
](
f
:
A
=>
B
):
LogicStreamT
[
F
,
B
]
def
mplus
(
other
:
=>
LogicStreamT
[
F
,
A
]):
LogicStreamT
[
F
,
A
]
def
msplit
:
LogicStreamT
[
F
,
Option
[(
Try
[
A
],
LogicStreamT
[
F
,
A
])]]
In this article
Attributes
Members list
Value members
Abstract methods