Int.Order

Order Ints

Order Ints where lower means greater

import Order


Order.with Int.Order.increasing 40 2
--> GT

decreasing : Ordering Int (Reverse Increasing)

Order Ints where higher means greater

import Order


Order.with Int.Order.decreasing 2 40
--> GT

Modules