versioning-0.2.0.0: Type-safe data versioning.
Versioning.Internal.Folding
Synopsis
type family Decr (c :: V) (v :: V) :: V where ... Source #
Decrement version until the target version is reached
Equations
type family Incr (c :: V) (v :: V) :: V where ... Source #
Increment version until the target version is reached