agentultra/dataversion

dataversion's Issues

Support sum types

Let's support diffing sum types (pseudo code):

type family Mob { version :: Nat }

type instance Mob 0 = A0 Int | B0 Bool deriving Generic
type instance Mob 1 = A1 Int Int | B1 (Maybe Int) | C1 deriving Generic

instance Transform Mob 0 where
  up v = genericUp v (\(A0 x) -> A1 x 0) (\(B0 flag) -> B1 $ if flag then Just 0 else Nothing) (const C1)
  down v = genericDown v (\(B1 flag) -> B0 $ if isJust flag then True else False)