Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type BS = ByteString
- newtype TarNat n = TarNat {}
- data Tar = Tar {
- tarFileName :: NullPadded 100 BS
- tarFileMode :: TarNat 8
- tarFileUIDOwner :: TarNat 8
- tarFileUIDGroup :: TarNat 8
- tarFileFileSize :: TarNat 12
- tarFileLastMod :: TarNat 12
Documentation
type BS = ByteString Source #
The naturals in tars are sized octal ASCII digit strings that end with a
null byte (and may start with leading ASCII zeroes). The size includes the
terminating null, so you get n-1
digits. What a farce.
Don't use this constructor directly! The size must be checked to ensure it fits.
Instances
Generic (TarNat n) Source # | |
Show (TarNat n) Source # | |
KnownNat n => BLen (TarNat n) Source # | |
KnownNat n => Get (TarNat n) Source # | |
KnownNat n => Put (TarNat n) Source # | No need to check for underflow etc. as TarNat guarantees good sizing. |
Eq (TarNat n) Source # | |
type Rep (TarNat n) Source # | |
Defined in Binrep.Example.Tar | |
type CBLen (TarNat n) Source # | |
Defined in Binrep.Example.Tar |
Tar | |
|