Agda.Utils.PartialOrd

data PartialOrdering

leqPO

oppPO

orPO

seqPO

fromOrdering

fromOrderings

toOrderings

Comparison with partial result

type Comparable a

class PartialOrd a

comparableOrd

related

Totally ordered types.

Generic partially ordered types.

data Pointwise a

data Inclusion a

PartialOrdering is itself partially ordered!