# PartialOrder

`trait PartialOrder[a: Type]`Source

A Partial Order is a function ⊑ which satisfies three properties: reflexivity, anti-symmetry, and transitivity.

### Instances

`instance PartialOrder[Down[a]] with PartialOrder[a]`Source
`instance PartialOrder[Map[k, v]] with Order[k], Eq[v]`Source
`instance PartialOrder[Option[t]] with PartialOrder[t]`Source
`instance PartialOrder[Int8]`Source
`instance PartialOrder[Int16]`Source
`instance PartialOrder[Int32]`Source
`instance PartialOrder[Int64]`Source
`instance PartialOrder[BigInt]`Source
`instance PartialOrder[(a1, a2)] with PartialOrder[a1], PartialOrder[a2]`Source
`instance PartialOrder[(a1, a2, a3)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3]`Source
`instance PartialOrder[(a1, a2, a3, a4)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4]`Source
`instance PartialOrder[(a1, a2, a3, a4, a5)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5]`Source
`instance PartialOrder[(a1, a2, a3, a4, a5, a6)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5], PartialOrder[a6]`Source
`instance PartialOrder[(a1, a2, a3, a4, a5, a6, a7)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5], PartialOrder[a6], PartialOrder[a7]`Source
`instance PartialOrder[(a1, a2, a3, a4, a5, a6, a7, a8)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5], PartialOrder[a6], PartialOrder[a7], PartialOrder[a8]`Source
`instance PartialOrder[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5], PartialOrder[a6], PartialOrder[a7], PartialOrder[a8], PartialOrder[a9]`Source
`instance PartialOrder[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5], PartialOrder[a6], PartialOrder[a7], PartialOrder[a8], PartialOrder[a9], PartialOrder[a10]`Source
`instance PartialOrder[Set[a]] with Order[a]`Source

## Signatures

`def lessEqual(x: a, y: a): Bool with PartialOrder[a]`

Returns `true` if `x` is smaller or equal to `y`.