LogicStreamT

cps.monads.logic.LogicStreamT
See theLogicStreamT companion object
sealed trait LogicStreamT[F[_], A]

Attributes

Companion
object
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

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])]]