Skip to content

Instantly share code, notes, and snippets.

Created August 7, 2014 09:25
Show Gist options
  • Save anonymous/24f235f84c8fcaed03b2 to your computer and use it in GitHub Desktop.
Save anonymous/24f235f84c8fcaed03b2 to your computer and use it in GitHub Desktop.
f :: obj1 -> obj2
class Diffable delta obj
diff_apply :: delta -> obj -> obj
instance Diffable obj1_delta obj1
instance Diffable obj2_delta obj2
class XXXXXXXXX o1 d1 o2 d2 where
ZZZZ :: o1 -> d1 -> o2 -> d2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment