hdiff-0.0.1: Pattern-Expression-based differencing of arbitrary types.

Safe HaskellNone
LanguageHaskell2010

Data.HDiff.Change.Classify

Contents

Description

change classification algorithm

Documentation

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

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

data ChangeClass Source #

Constructors

CPerm 
CMod 
CId 
CIns 
CDel 
Instances
Eq ChangeClass Source # 
Instance details

Defined in Data.HDiff.Change.Classify

Methods

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

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

Ord ChangeClass Source # 
Instance details

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 Source # 
Instance details

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 Source #

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

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

Orphan instances

(EqHO ki, TestEquality ki) => Eq (Exists (Holes ki codes (MetaVarIK ki))) Source # 
Instance details

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 #