hdiff-0.0.1: Pattern-Expression-based differencing of arbitrary types.
Data.HDiff.Patch.TreeEditDistance
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 #