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

Safe HaskellNone
LanguageHaskell2010

Data.HDiff.Patch.Thinning

Documentation

thin :: forall ki codes at. (ShowHO ki, TestEquality ki, EqHO ki) => RawPatch ki codes at -> RawPatch ki codes at -> Either (ThinningErr ki codes) (RawPatch ki codes at) Source #

unsafeThin :: (ShowHO ki, TestEquality ki, EqHO ki) => RawPatch ki codes at -> RawPatch ki codes at -> RawPatch ki codes at Source #