Documentation

fromOrdering :: forall {k} (a :: k). Ordering -> GOrdering a a Source #

(>>?) :: forall {k1} k2 (a :: k2) (b :: k2) (a' :: k1) (b' :: k1). GOrdering a b -> (a ~ b => GOrdering a' b') -> GOrdering a' b' infixr 3 Source #