crystal

package crystal

Type members

Classlikes

trait ActionInterpreter[F[_], A[_[_]], T]
trait ActionInterpreterOpt[F[_], A[_[_]], T]
Companion
object
final case
class Error(t: Throwable) extends Pot[Nothing]
final case
class Pending(start: Long) extends Pot[Nothing]
sealed
trait Pot[+A]
Companion
object
object Pot
Companion
class
final case
class Ready[+A](value: A) extends Pot[A]
implicit
class UnitMonadOps[F[_]](f: F[Unit])(implicit evidence$1: Monad[F])
final
class ViewF[F[_], A](val get: A, val modCB: (A => A, A => F[Unit]) => F[Unit])(implicit evidence$2: Monad[F]) extends ViewOps[F, Id, A]
Companion
object
object ViewF
Companion
class
abstract
class ViewListF[F[_], A](val get: List[A], val modCB: (A => A, List[A] => F[Unit]) => F[Unit])(implicit evidence$4: Monad[F]) extends ViewOps[F, List, A]
sealed abstract
class ViewOps[F[_], G[_], A]
abstract
class ViewOptF[F[_], A](val get: Option[A], val modCB: (A => A, Option[A] => F[Unit]) => F[Unit])(implicit evidence$3: Monad[F]) extends ViewOps[F, Option, A]

Types

Value members

Concrete methods

def refModCB[F[_] : FlatMap, A](ref: Ref[F, A]): (A => A, A => F[Unit]) => F[Unit]

Implicits

Implicits

final implicit
def UnitMonadOps[F[_] : Monad](f: F[Unit]): UnitMonadOps[F]