Grain.Internal.PropDiff

type Patch ctx a = { create :: Create ctx a, delete :: Delete ctx a, update :: Update ctx a }

type Create ctx a = EffectFn2 ctx (Tuple String a) Unit

type Delete ctx a = EffectFn2 ctx (Tuple String a) Unit

type Update ctx a = EffectFn3 ctx (Tuple String a) (Tuple String a) Unit

diff :: forall a ctx. EffectFn2 (Patch ctx a) (DiffArgs ctx a) Unit