unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Util.CyclicOrd

Documentation

class CyclicOrd a where Source #

Methods

cyclicOrd :: CycleTable Int Int -> CycleTable Int Int -> a -> a -> IO Ordering Source #

Instances

Instances details
CyclicOrd a => CyclicOrd (Seq a) Source # 
Instance details

Defined in Unison.Util.CyclicOrd

Methods

cyclicOrd :: CycleTable Int Int -> CycleTable Int Int -> Seq a -> Seq a -> IO Ordering Source #

CyclicOrd a => CyclicOrd (Vector a) Source # 
Instance details

Defined in Unison.Util.CyclicOrd

Methods

cyclicOrd :: CycleTable Int Int -> CycleTable Int Int -> Vector a -> Vector a -> IO Ordering Source #

CyclicOrd a => CyclicOrd [a] Source # 
Instance details

Defined in Unison.Util.CyclicOrd

Methods

cyclicOrd :: CycleTable Int Int -> CycleTable Int Int -> [a] -> [a] -> IO Ordering Source #

bothOrd' :: (Ord a, CyclicOrd b) => CycleTable Int Int -> CycleTable Int Int -> a -> a -> b -> b -> IO Ordering Source #

bothOrd :: (CyclicOrd a, CyclicOrd b) => CycleTable Int Int -> CycleTable Int Int -> a -> a -> b -> b -> IO Ordering Source #