versioning-0.2.0.0: Type-safe data versioning.

Safe HaskellNone
LanguageHaskell2010

Versioning.Internal.Folding

Synopsis

Documentation

type family Decr (c :: V) (v :: V) :: V where ... Source #

Decrement version until the target version is reached

Equations

Decr (V c) (V v) = Decr' (CmpNat c v) (V c) 

type family Incr (c :: V) (v :: V) :: V where ... Source #

Increment version until the target version is reached

Equations

Incr (V c) (V v) = Incr' (CmpNat c v) (V c)