Order
Float
s
up : Ordering Basics.Float Up
Order
Float
s where lower means greater
import Order
Order.with Float.Order.up 40.34 2.1
--> GT
Tag for up
down : Ordering Basics.Float (Order.Reverse Up)
Order
Float
s where higher means greater
import Order
Order.with Float.Order.down 2.1 40.34
--> GT