gen/nyaya.gen/Distinct

Distinct

case class Distinct[A, X, H[_], Y, Z, B](fixer: Fixer[X, H, Y, Z], t: A => (X => State[H[Y], Z]) => State[H[Y], B]) extends DistinctFn[A, B]
Companion:
object
trait Serializable
trait Product
trait Equals
trait DistinctFn[A, B]
class Object
trait Matchable
class Any

Type members

Types

final type S[λ] = State[H[Y], λ]

Value members

Concrete methods

def *(f: DistinctFn[A, A])(implicit ev: Is[B, A]): DistinctEndo[A]
def +[C](f: Distinct[B, X, H, Y, Z, C]): Distinct[A, X, H, Y, Z, C]
def addh(xs: X*): Distinct[A, X, H, Y, Z, B]
@inline
final def at[M, N](l: PLens[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
@inline
final def at[M, N](l: PIso[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
@inline
final def at[M, N](l: POptional[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
@inline
final def at[M, N](l: PPrism[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
def at[M, N](l: PTraversal[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
def compose[M](f: Distinct[M, X, H, Y, Z, A]): Distinct[M, X, H, Y, Z, B]
@inline
final def contramap[C](f: C => A, g: (C, B) => C): Distinct[C, X, H, Y, Z, C]
def dimap[M, N](f: M => A, g: (M, B) => N): Distinct[M, X, H, Y, Z, N]
def dimaps[M, N](f: M => (A => S[B]) => S[N]): Distinct[M, X, H, Y, Z, N]
def lift[F[_]](implicit F: Foldable[F], FB: SetLike[F, B]): Distinct[F[A], X, H, Y, Z, F[B]]
def liftL[R]: Distinct[(A, R), X, H, Y, Z, (B, R)]
def liftMapValues[K]: Distinct[Map[K, A], X, H, Y, Z, Map[K, B]]
def liftMultimapValues[K, L[_], VA, VB](implicit l: MultiValues[L], va: Map[K, L[VA]] =:= Map[K, A], vb: Map[K, B] =:= Map[K, L[VB]]): Distinct[Multimap[K, L, VA], X, H, Y, Z, Multimap[K, L, VB]]
def liftR[L]: Distinct[(L, A), X, H, Y, Z, (L, B)]
def liftT[F[_] : Traverse]: Distinct[F[A], X, H, Y, Z, F[B]]
def run: A => B
def runs(a: A): S[B]
def traversal[S, T](traversal: PTraversal[S, T, A, B]): Distinct[S, X, H, Y, Z, T]

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product