Algebra.PartialOrd

Partial orderings

class PartialOrd a

partialOrdEq

Fixed points of chains in partial orders

lfpFrom

unsafeLfpFrom

gfpFrom

unsafeGfpFrom