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

Unison.Util.CyclicEq

Documentation

class CyclicEq a where Source #

Methods

cyclicEq :: CycleTable Int Int -> CycleTable Int Int -> a -> a -> IO Bool Source #

Instances

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

Defined in Unison.Util.CyclicEq

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

Defined in Unison.Util.CyclicEq

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

Defined in Unison.Util.CyclicEq

Methods

cyclicEq :: CycleTable Int Int -> CycleTable Int Int -> [a] -> [a] -> IO Bool Source #

bothEq' :: (Eq a, CyclicEq b) => CycleTable Int Int -> CycleTable Int Int -> a -> a -> b -> b -> IO Bool Source #

bothEq :: (CyclicEq a, CyclicEq b) => CycleTable Int Int -> CycleTable Int Int -> a -> a -> b -> b -> IO Bool Source #