NondetT

object NondetT
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def cut[F[_]](implicit evidence$3: Monad[F]): NondetT[F, Unit]
def disamb[F[_], A](allowAmb: Boolean, xs: NondetT[F, A])(implicit evidence$4: Monad[F]): F[Option[A]]
def empty[F[_], A](implicit evidence$1: Monad[F]): NondetT[F, A]
def pure[F[_], A](a: => A)(implicit evidence$2: Monad[F]): NondetT[F, A]

Implicits

Implicits

implicit def nondetTMonadPlus[F[_]](implicit evidence$7: Monad[F]): MonadPlus[[_] =>> NondetT[F, _$14]]
implicit def nondetTTrans: MonadTrans[[F[_], A] =>> NondetT[F, A]]