zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/PartialOrd

PartialOrd

zio.prelude.PartialOrd
See thePartialOrd companion trait
object PartialOrd

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
PartialOrd.type

Members list

Value members

Concrete methods

def apply[A](implicit ord: PartialOrd[A]): PartialOrd[A]

Summons an implicit PartialOrd[A].

Summons an implicit PartialOrd[A].

Attributes

def make[A](ord: (A, A) => PartialOrdering): PartialOrd[A]

Constructs an PartialOrd[A] from a function. The instance will be optimized to first compare the values for reference equality and then compare the values using the specified function.

Constructs an PartialOrd[A] from a function. The instance will be optimized to first compare the values for reference equality and then compare the values using the specified function.

Attributes

def makeFrom[A](ord: (A, A) => PartialOrdering, equal0: Equal[A]): PartialOrd[A]

Constructs an instance from an ord function and a equal0 function. Since this takes a separate equal0, short-circuiting the equality check (failing fast) is possible.

Constructs an instance from an ord function and a equal0 function. Since this takes a separate equal0, short-circuiting the equality check (failing fast) is possible.

Attributes

Implicits

Implicits

implicit def ChunkPartialOrd[A : PartialOrd]: PartialOrd[Chunk[A]]

Derives an PartialOrd[Chunk[A]] given an PartialOrd[A].

Derives an PartialOrd[Chunk[A]] given an PartialOrd[A].

Attributes

implicit def DerivePartialOrd[F[_], A](implicit derive: Derive[F, PartialOrd], ord: PartialOrd[A]): PartialOrd[F[A]]

Derives an PartialOrd[F[A]] given a Derive[F, PartialOrd] and an PartialOrd[A].

Derives an PartialOrd[F[A]] given a Derive[F, PartialOrd] and an PartialOrd[A].

Attributes

implicit def EitherPartialOrd[A : PartialOrd, B : PartialOrd]: PartialOrd[Either[A, B]]

Derives an PartialOrd[Either[A, B]] given an PartialOrd[A] and an PartialOrd[B].

Derives an PartialOrd[Either[A, B]] given an PartialOrd[A] and an PartialOrd[B].

Attributes

implicit def ListPartialOrd[A : PartialOrd]: PartialOrd[List[A]]

Derives an PartialOrd[List[A]] given an PartialOrd[A].

Derives an PartialOrd[List[A]] given an PartialOrd[A].

Attributes

implicit def NonEmptyChunkPartialOrd[A : PartialOrd]: PartialOrd[NonEmptyChunk[A]]

Derives an PartialOrd[NonEmptyChunk[A]] given an PartialOrd[A].

Derives an PartialOrd[NonEmptyChunk[A]] given an PartialOrd[A].

Attributes

implicit def OptionPartialOrd[A : PartialOrd]: PartialOrd[Option[A]]

Derives an PartialOrd[Option[A]] given an PartialOrd[A]. None will be treated as less than all other values.

Derives an PartialOrd[Option[A]] given an PartialOrd[A]. None will be treated as less than all other values.

Attributes

implicit val PartialOrdContravariant: Contravariant[PartialOrd]

The Contravariant instance for PartialOrd.

The Contravariant instance for PartialOrd.

Attributes

implicit val PartialOrdIdentityBoth: IdentityBoth[PartialOrd]

The IdentityBoth (and thus AssociativeBoth) instance for PartialOrd.

The IdentityBoth (and thus AssociativeBoth) instance for PartialOrd.

Attributes

implicit val PartialOrdIdentityEither: IdentityEither[PartialOrd]

The IdentityEither (and thus AssociativeEither) instance for PartialOrd.

The IdentityEither (and thus AssociativeEither) instance for PartialOrd.

Attributes

implicit def Tuple10PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple11PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple12PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple13PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple14PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple15PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple16PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd, P : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple17PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd, P : PartialOrd, Q : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple18PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd, P : PartialOrd, Q : PartialOrd, R : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple19PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd, P : PartialOrd, Q : PartialOrd, R : PartialOrd, S : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple20PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd, P : PartialOrd, Q : PartialOrd, R : PartialOrd, S : PartialOrd, T : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple21PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd, P : PartialOrd, Q : PartialOrd, R : PartialOrd, S : PartialOrd, T : PartialOrd, U : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple22PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd, J : PartialOrd, K : PartialOrd, L : PartialOrd, M : PartialOrd, N : PartialOrd, O : PartialOrd, P : PartialOrd, Q : PartialOrd, R : PartialOrd, S : PartialOrd, T : PartialOrd, U : PartialOrd, V : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple2PartialOrd[A : PartialOrd, B : PartialOrd]: PartialOrd[(A, B)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple3PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd]: PartialOrd[(A, B, C)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple4PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd]: PartialOrd[(A, B, C, D)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple5PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd]: PartialOrd[(A, B, C, D, E)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple6PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd]: PartialOrd[(A, B, C, D, E, F)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple7PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple8PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def Tuple9PartialOrd[A : PartialOrd, B : PartialOrd, C : PartialOrd, D : PartialOrd, E : PartialOrd, F : PartialOrd, G : PartialOrd, H : PartialOrd, I : PartialOrd]: PartialOrd[(A, B, C, D, E, F, G, H, I)]

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Derives an PartialOrd for a product type given an PartialOrd for each element of the product type.

Attributes

implicit def VectorPartialOrd[A : PartialOrd]: PartialOrd[Vector[A]]

Derives an PartialOrd[Vector[A]] given an PartialOrd[A].

Derives an PartialOrd[Vector[A]] given an PartialOrd[A].

Attributes

Generated with