Versioning.Upgrade

Documentation

class Adapt (v :: V) (w :: V) (a :: V -> Type) where

Adapt from a version to another

Minimal complete definition

adapt

Methods

adapt :: a v -> a w

class Upgrade (v :: V) (w :: V) (a :: V -> Type) where

Upgrade from a lower to a higher version by calling adapt on all the intermediary steps. You do not need to define any instance. They are derived automatically if all the intermediary Adapt instances are defined.

Minimal complete definition

upgrade'

Methods

upgrade' :: a v -> a w

Instances

(Adapt v (Incr v w) a, Upgrade (Incr v w) w a) => Upgrade v w a

Methods

upgrade' :: a v -> a w

Upgrade v v a

Methods

upgrade' :: a v -> a v

upgrade :: Upgrade v w a => a v -> a w

Upgrade from a lower to a higher version by calling adapt on all the intermediary steps.