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

Ord

zio.prelude.Ord
See theOrd companion trait
object Ord

Attributes

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

Members list

Value members

Concrete methods

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

Summons an implicit Ord[A].

Summons an implicit Ord[A].

Attributes

def default[A](implicit ord: Ordering[A]): Ord[A]

Constructs an Ord[A] from a scala.math.Ordering.

Constructs an Ord[A] from a scala.math.Ordering.

Attributes

def fromScala[A](implicit ordering: Ordering[A]): Ord[A]
def make[A](ord: (A, A) => Ordering): Ord[A]

Constructs an Ord[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 Ord[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) => Ordering, equal0: Equal[A]): Ord[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 ChunkOrd[A : Ord]: Ord[Chunk[A]]

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

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

Attributes

implicit def DeriveOrd[F[_], A](implicit derive: Derive[F, Ord], ord: Ord[A]): Ord[F[A]]

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

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

Attributes

implicit def EitherOrd[A : Ord, B : Ord]: Ord[Either[A, B]]

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

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

Attributes

implicit def ListOrd[A : Ord]: Ord[List[A]]

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

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

Attributes

implicit def NonEmptyChunkOrd[A : Ord]: Ord[NonEmptyChunk[A]]

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

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

Attributes

implicit def OptionOrd[A : Ord]: Ord[Option[A]]

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

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

Attributes

implicit val OrdContravariant: Contravariant[Ord]

The Contravariant instance for Ord.

The Contravariant instance for Ord.

Attributes

implicit val OrdIdentityBoth: IdentityBoth[Ord]

The IdentityBoth instance for Ord.

The IdentityBoth instance for Ord.

Attributes

implicit val OrdIdentityEither: IdentityEither[Ord]

The IdentityEither instance for Ord.

The IdentityEither instance for Ord.

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

implicit def Tuple2Ord[A : Ord, B : Ord]: Ord[(A, B)]

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

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

Attributes

implicit def Tuple3Ord[A : Ord, B : Ord, C : Ord]: Ord[(A, B, C)]

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

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

Attributes

implicit def Tuple4Ord[A : Ord, B : Ord, C : Ord, D : Ord]: Ord[(A, B, C, D)]

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

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

Attributes

implicit def Tuple5Ord[A : Ord, B : Ord, C : Ord, D : Ord, E : Ord]: Ord[(A, B, C, D, E)]

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

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

Attributes

implicit def Tuple6Ord[A : Ord, B : Ord, C : Ord, D : Ord, E : Ord, F : Ord]: Ord[(A, B, C, D, E, F)]

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

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

Attributes

implicit def Tuple7Ord[A : Ord, B : Ord, C : Ord, D : Ord, E : Ord, F : Ord, G : Ord]: Ord[(A, B, C, D, E, F, G)]

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

implicit def VectorOrd[A : Ord]: Ord[Vector[A]]

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

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

Attributes

Generated with