unittyped-0.1: An extendable library for type-safe computations including units.
UnitTyped.Bytes
Description
A module for working with amounts of bytes and bits.
Synopsis
data Data Source
An of amount of data.
Instances
type DataUnit = UnitCons Data (Pos One) UnitNilSource
The dimension representing Data^1.
Data^1
data Byte Source
A byte of data.
data Bit Source
A bit of data.
byte :: Fractional f => Value f DataUnit ByteSource
One byte.
bit :: Fractional f => Value f DataUnit BitSource
One bit.