Packages

SelectT

Selection monad transformer.

Self Type: SelectT[R, M, A]
Source: SelectT.scala
See also: https://www.cs.bham.ac.uk/~mhe/papers/selection-escardo-oliva.pdf
https://arxiv.org/pdf/1406.2058.pdf
https://github.com/ghc/packages-transformers/blob/0_5_4_0/Control/Monad/Trans/Select.hs

Linear Supertypes

Ordering

Inherited

Visibility

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( ... ) @native()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def flatMap[B](f: (A) ⇒ SelectT[R, M, B])(implicit F: Bind[M]): SelectT[R, M, B]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def map[B](f: (A) ⇒ B)(implicit F: Functor[M]): SelectT[R, M, B]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
val run: ((A) ⇒ M[R]) ⇒ M[A]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toContT(implicit F: Bind[M]): ContT[M, R, A]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... ) @native()

Packages