nutcracker/nutcracker.data/Discrete

Discrete

object Discrete extends DiscreteInstances
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Types

type Delta[A] = Uninhabited

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 cellC[M[_], Var[_], A](a: A)(implicit P: Aux0[M, Var]): ContT[Unit, M, Var[Discrete[A]]]
def filterMap[M[_], Var[_], A, B](refC: ContT[Unit, M, Var[Discrete[A]]])(f: A => Option[B])(implicit P: Aux0[M, Var]): ContT[Unit, M, Var[Discrete[B]]]
def map[M[_], Var[_], A, B](refC: ContU[M, Var[Discrete[A]]])(f: A => B)(implicit P: Aux0[M, Var]): ContU[M, Var[Discrete[B]]]
def mapC[M[_], Var[_], A, B](ref: Var[Discrete[A]])(f: A => ContU[M, Var[Discrete[B]]])(implicit P: Aux0[M, Var]): ContU[M, Var[Discrete[B]]]

Implicits

Implicits

implicit def domInstance[A]: Aux[Discrete[A], Update[A], Delta[A]]
implicit def finalInstance[A]: Aux[Discrete[A], A]
implicit def showInstance[A](implicit A: Show[A]): Show[Discrete[A]]

Inherited implicits

implicit def deepEqualInstance1[Ptr1[_], Ptr2[_], A1, A2](implicit ev: DeepEqual[A1, A2, Ptr1, Ptr2]): DeepEqual[Discrete[A1], A2, Ptr1, Ptr2]
Inherited from:
DiscreteInstances
implicit def deepEqualInstance2[Ptr1[_], Ptr2[_], A1, A2](implicit ev: DeepEqual[A1, A2, Ptr1, Ptr2]): DeepEqual[A1, Discrete[A2], Ptr1, Ptr2]
Inherited from:
DiscreteInstances1
implicit def deepShowInstance[Ptr[_], A](implicit ev: DeepShow[A, Ptr]): DeepShow[Discrete[A], Ptr]
Inherited from:
DiscreteInstances