LogicStream

cps.monads.logic.LogicStreamT$package.LogicStream
object LogicStream

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

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]