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
/
LogicStream
LogicStream
cps.monads.logic.LogicStreamT$package.LogicStream
object
LogicStream
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
LogicStream
.
type
Members list
Clear all
Value members
Concrete methods
def
empty
[
A
]:
LogicStream
[
A
]
def
error
[
A
](
e
:
Throwable
):
LogicStream
[
A
]
def
fromCollection
[
A
](
s
:
Iterable
[
A
]):
LogicStream
[
A
]
transparent inline
def
noChoices
[
A
](
using
CpsLogicMonadContext
[
LogicStream
]):
A
def
pure
[
A
](
a
:
A
):
LogicStream
[
A
]
In this article
Attributes
Members list
Value members
Concrete methods