Documentation

merge :: Merge p => (p :\/: p) x y -> (p :/\: p) x y

merger :: PrimPatch prim => String -> Patch prim x y -> Patch prim x z -> Sealed (Patch prim y)

unravel :: PrimPatch prim => Patch prim x y -> [Sealed (FL prim x)]

publicUnravel :: PrimPatch prim => Patch prim x y -> [Sealed (FL prim y)]