coulomb-docs
0.7.2
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
coulomb-docs/coulomb.ops.standard/ord

ord

coulomb.ops.standard.ord$
object ord

Attributes

Source:
ord.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ord.type

Members list

Concise view

Givens

Givens

given ctx_ord_1V1U[VL, UL, VR, UR](using eqv: VR =:= VL, equ: UR =:= UL, ord: Order[VL]): Ord[VL, UL, VR, UR]

Attributes

Source:
ord.scala
given ctx_ord_1V2U[VL, UL, VR, UR](using eqv: VR =:= VL, neu: NotGiven[UR =:= UL], icr: Conversion[Quantity[VR, UR], Quantity[VL, UL]], ord: Order[VL]): Ord[VL, UL, VR, UR]

Attributes

Source:
ord.scala
given ctx_ord_2V1U[VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], equ: UR =:= UL, vres: ValueResolution[VL, VR], icl: Conversion[Quantity[VL, UL], Quantity[VO, UL]], icr: Conversion[Quantity[VR, UR], Quantity[VO, UL]], ord: Order[VO]): Ord[VL, UL, VR, UR]

Attributes

Source:
ord.scala
given ctx_ord_2V2U[VL, UL, VR, UR](using nev: NotGiven[VR =:= VL], neu: NotGiven[UR =:= UL], vres: ValueResolution[VL, VR], icl: Conversion[Quantity[VL, UL], Quantity[VO, UL]], icr: Conversion[Quantity[VR, UR], Quantity[VO, UL]], ord: Order[VO]): Ord[VL, UL, VR, UR]

Attributes

Source:
ord.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL