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])(implicit evidence$1: Baggy[H]) extends DistinctFn[A, B] with Product with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Distinct
- Serializable
- Serializable
- Product
- Equals
- DistinctFn
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
Type Members
- final type S[λ] = IndexedStateT[scalaz.Id.Id, H[Y], H[Y], λ]
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def *(f: DistinctFn[A, A])(implicit ev: ===[B, A]): DistinctEndo[A]
- def +[C](f: Distinct[B, X, H, Y, Z, C]): Distinct[A, X, H, Y, Z, C]
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def addh(xs: X*): Distinct[A, X, H, Y, Z, B]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def at[M, N](l: PTraversal[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
-
final
def
at[M, N](l: PPrism[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
- Annotations
- @inline()
-
final
def
at[M, N](l: POptional[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
- Annotations
- @inline()
-
final
def
at[M, N](l: PIso[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
- Annotations
- @inline()
-
final
def
at[M, N](l: PLens[M, N, A, B]): Distinct[M, X, H, Y, Z, N]
- Annotations
- @inline()
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
- def compose[M](f: Distinct[M, X, H, Y, Z, A]): Distinct[M, X, H, Y, Z, B]
-
final
def
contramap[C](f: (C) ⇒ A, g: (C, B) ⇒ C): Distinct[C, X, H, Y, Z, C]
- Annotations
- @inline()
- 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]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val fixer: Fixer[X, H, Y, Z]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lift[F[_]](implicit arg0: Foldable[F], arg1: Baggy[F]): 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[_]](implicit arg0: Traverse[F]): Distinct[F[A], X, H, Y, Z, F[B]]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
run: (A) ⇒ B
- Definition Classes
- Distinct → DistinctFn
- def runs(a: A): S[B]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val t: (A) ⇒ ((X) ⇒ State[H[Y], Z]) ⇒ State[H[Y], B]
- def traversal[S, T](traversal: PTraversal[S, T, A, B]): Distinct[S, X, H, Y, Z, T]
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated @deprecated
- Deprecated
(Since version ) see corresponding Javadoc for more information.