Float.Order

Order Floats

up : Ordering Float Up

Order Floats where lower means greater

import Order


Order.with Float.Order.up 40.34 2.1
--> GT

type Up

Tag for up

down : Ordering Float (Reverse Up)

Order Floats where higher means greater

import Order


Order.with Float.Order.down 2.1 40.34
--> GT

Modules