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

Safe HaskellNone
LanguageHaskell2010

Data.HDiff.Patch.TreeEditDistance

Documentation

toES :: (EqHO ki, ShowHO ki, TestEquality ki) => RawPatch ki codes at -> NA ki (Fix ki codes) at -> Either String (ES ki codes '[at] '[at]) Source #

listId :: ListPrf a -> ListPrf a :~: ListPrf (a :++: '[]) Source #

toES' :: (EqHO ki, ShowHO ki, TestEquality ki) => NP (RawPatch ki codes) sum -> PoA ki (Fix ki codes) sum -> Either String (ES ki codes sum sum) Source #