Modulebasement-0.0.16Haskell2010
Basement.Types.OffsetSize
- 6 types
- 24 values
- Packagebasement-0.0.16
- Exports30
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceOffsetSize.hs
Offset in a data structure consisting of elements of type ty.
Int is a terrible backing type which is hard to get away from, considering that GHC/Haskell are mostly using this for offset. Trying to bring some sanity by a lightweight wrapping.
Instances15From, TryFrom, Enum, Eq, Num, Ord, …
From Word (Offset ty)Defined in basement-0.0.16 · Basement.FromTryFrom Int (Offset ty)Defined in basement-0.0.16 · Basement.FromEnum (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeEq (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeNum (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeOrd (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeShow (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeIntegral (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeAdditive (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeIsNatural (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeSubtractive (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeIsIntegral (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeNormalForm (Offset a)Defined in basement-0.0.16 · Basement.NormalFormtype Difference (Offset ty) = CountOf tyDefined in basement-0.0.16 · Basement.Types.OffsetSizetype NatNumMaxBound (Offset x) = NatNumMaxBound IntDefined in basement-0.0.16 · Basement.Types.OffsetSize
Offset in bytes used for memory addressing (e.g. in a vector, string, ..)
subtract 2 CountOf values of the same type.
m need to be greater than n, otherwise negative count error ensue use the safer (-) version if unsure.
subtract 2 CountOf values of the same type.
m need to be greater than n, otherwise negative count error ensue use the safer (-) version if unsure.
alignment need to be a power of 2
CountOf of a data structure.
More specifically, it represents the number of elements of type ty that fit
into the data structure.
length (fromList ['a', 'b', 'c', '🌟']) :: CountOf CharCountOf 4
Same caveats as Offset apply here.
Instances19TryFrom, Enum, Eq, Num, Ord, Show, …
From Word (CountOf ty)Defined in basement-0.0.16 · Basement.FromTryFrom Int (CountOf ty)Defined in basement-0.0.16 · Basement.FromEnum (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeEq (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeNum (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeOrd (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeShow (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeSemigroup (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeMonoid (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeIntegral (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeAdditive (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeIsNatural (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeSubtractive (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeIsIntegral (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizeNormalForm (CountOf a)Defined in basement-0.0.16 · Basement.NormalFormFrom (CountOf ty) IntDefined in basement-0.0.16 · Basement.FromFrom (CountOf ty) WordDefined in basement-0.0.16 · Basement.Fromtype Difference (CountOf ty) = Maybe (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSizetype NatNumMaxBound (CountOf x) = NatNumMaxBound IntDefined in basement-0.0.16 · Basement.Types.OffsetSize