crystal/crystal

crystal

package crystal

Type members

Classlikes

sealed trait Pot[+A]
Companion:
object
object Pot
Companion:
class
sealed trait PotOption[+A]
Companion:
object
object PotOption
Companion:
class
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]

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]