Documentation

compilePatch :: forall v a s f f' fs fs' i. (Compare v a, f ~ Meta ('ViaEq 'Exact), f' ~ Meta v, RElem f fs i, RecElem Rec f f' fs fs' i, i ~ RIndex f fs) => Patch s fs a -> Patch s fs' a Source #

compileCompareMeta :: forall v a. Compare v a => Meta ('ViaEq 'Exact) a -> Meta v a Source #