module Type.Ord (module Type.Ord.Base) where
import Type.Digits (digit, radix)
import Type.Ord.Base
import Language.Haskell.TH
type instance Compare () () = EQ
fmap concat $ sequence [ do
let dL = conT $ digit n
[l, r] = map (varT . mkName) ["l", "r"]
f x y z = tySynInstD ''Compare [x, y] z
d <- f [t| $dL $l |] [t| $dL $r |] [t| Compare $l $r |]
((d:) . concat) `fmap` sequence [
let dR = conT $ digit m in
sequence [f [t| $dL $l |] [t| $dR $r |] [t| LT |],
f [t| $dR $l |] [t| $dL $r |] [t| GT |]]
| m <- [n + 1..radix 1] ]
| n <- [0..radix 1] ]