Safe Haskell | None |
---|---|
Language | Haskell2010 |
A binary version 0/1 field with seperate content for each version.
Synopsis
- data Versioned v0 v1 (version :: Nat) where
- V0 :: IsBoxContent v0 => !v0 -> Versioned v0 v1 0
- V1 :: IsBoxContent v1 => !v1 -> Versioned v0 v1 1
Documentation
data Versioned v0 v1 (version :: Nat) where Source #
Two alternative representations based on a version index. Use this for box content that can be either 32 or 64 bit.
V0 :: IsBoxContent v0 => !v0 -> Versioned v0 v1 0 | |
V1 :: IsBoxContent v1 => !v1 -> Versioned v0 v1 1 |
Instances
(version ~ 0, IsBoxContent v0, Default v0) => Default (Versioned v0 v1 version) Source # | |
IsBoxContent (Versioned v0 v1 version) Source # | |