Data.HDiff.Change.Classify

change classification algorithm

Documentation

getConstrSNat :: IsNat n => Constr sum n -> SNat n

holesGetMultiplicities :: Int -> Holes ki codes f at -> [Exists (Holes ki codes f)]

data ChangeClass

Constructors

CPerm

CMod

CId

CIns

CDel

Instances

Eq ChangeClass

Defined in Data.HDiff.Change.Classify

Methods

(==) :: ChangeClass -> ChangeClass -> Bool

(/=) :: ChangeClass -> ChangeClass -> Bool

Ord ChangeClass

Defined in Data.HDiff.Change.Classify

Methods

compare :: ChangeClass -> ChangeClass -> Ordering

(<) :: ChangeClass -> ChangeClass -> Bool

(<=) :: ChangeClass -> ChangeClass -> Bool

(>) :: ChangeClass -> ChangeClass -> Bool

(>=) :: ChangeClass -> ChangeClass -> Bool

max :: ChangeClass -> ChangeClass -> ChangeClass

min :: ChangeClass -> ChangeClass -> ChangeClass

Show ChangeClass

Defined in Data.HDiff.Change.Classify

Methods

showsPrec :: Int -> ChangeClass -> ShowS

show :: ChangeClass -> String

showList :: [ChangeClass] -> ShowS

changeClassify :: (EqHO ki, TestEquality ki) => CChange ki codes at -> ChangeClass

isIns :: (TestEquality ki, EqHO ki) => CChange ki codes ix -> Bool

isDel :: (TestEquality ki, EqHO ki) => CChange ki codes ix -> Bool

Orphan instances

(EqHO ki, TestEquality ki) => Eq (Exists (Holes ki codes (MetaVarIK ki)))

Methods

(==) :: Exists (Holes ki codes (MetaVarIK ki)) -> Exists (Holes ki codes (MetaVarIK ki)) -> Bool

(/=) :: Exists (Holes ki codes (MetaVarIK ki)) -> Exists (Holes ki codes (MetaVarIK ki)) -> Bool