Binrep.Example.Tar

Documentation

type BS = ByteString

brCfgNoSum :: Cfg (I 'U 'I1 'LE)

newtype TarNat n

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.

Constructors

TarNat

Fields

• getTarNat :: AsciiNat 8

Instances

Generic (TarNat n)

Defined in Binrep.Example.Tar

Associated Types

type Rep (TarNat n) :: Type -> Type

Methods

from :: TarNat n -> Rep (TarNat n) x

to :: Rep (TarNat n) x -> TarNat n

Show (TarNat n)

Defined in Binrep.Example.Tar

Methods

showsPrec :: Int -> TarNat n -> ShowS

show :: TarNat n -> String

showList :: [TarNat n] -> ShowS

KnownNat n => BLen (TarNat n)

Defined in Binrep.Example.Tar

Methods

blen :: TarNat n -> BLenT

KnownNat n => Get (TarNat n)

Defined in Binrep.Example.Tar

Methods

get :: Getter (TarNat n)

KnownNat n => Put (TarNat n)

No need to check for underflow etc. as TarNat guarantees good sizing.

Defined in Binrep.Example.Tar

Methods

put :: TarNat n -> Builder

Eq (TarNat n)

Defined in Binrep.Example.Tar

Methods

(==) :: TarNat n -> TarNat n -> Bool

(/=) :: TarNat n -> TarNat n -> Bool

type Rep (TarNat n)

Defined in Binrep.Example.Tar

type Rep (TarNat n) = D1 ('MetaData "TarNat" "Binrep.Example.Tar" "binrep-0.2.0-inplace" 'True) (C1 ('MetaCons "TarNat" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTarNat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AsciiNat 8))))

type CBLen (TarNat n)

Defined in Binrep.Example.Tar

type CBLen (TarNat n) = n

data Tar

Constructors

Tar

Fields

• tarFileName :: NullPadded 100 BS
• tarFileMode :: TarNat 8
• tarFileUIDOwner :: TarNat 8
• tarFileUIDGroup :: TarNat 8
• tarFileFileSize :: TarNat 12
• tarFileLastMod :: TarNat 12

Instances

Generic Tar

Defined in Binrep.Example.Tar

Associated Types

type Rep Tar :: Type -> Type

Methods

from :: Tar -> Rep Tar x

to :: Rep Tar x -> Tar

Show Tar

Defined in Binrep.Example.Tar

Methods

showsPrec :: Int -> Tar -> ShowS

show :: Tar -> String

showList :: [Tar] -> ShowS

BLen Tar

Defined in Binrep.Example.Tar

Methods

blen :: Tar -> BLenT

Get Tar

Defined in Binrep.Example.Tar

Methods

get :: Getter Tar

Put Tar

Defined in Binrep.Example.Tar

Methods

put :: Tar -> Builder

Eq Tar

Defined in Binrep.Example.Tar

Methods

(==) :: Tar -> Tar -> Bool

(/=) :: Tar -> Tar -> Bool

type Rep Tar

Defined in Binrep.Example.Tar

type Rep Tar = D1 ('MetaData "Tar" "Binrep.Example.Tar" "binrep-0.2.0-inplace" 'False) (C1 ('MetaCons "Tar" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tarFileName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NullPadded 100 BS)) :*: (S1 ('MetaSel ('Just "tarFileMode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TarNat 8)) :*: S1 ('MetaSel ('Just "tarFileUIDOwner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TarNat 8)))) :*: (S1 ('MetaSel ('Just "tarFileUIDGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TarNat 8)) :*: (S1 ('MetaSel ('Just "tarFileFileSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TarNat 12)) :*: S1 ('MetaSel ('Just "tarFileLastMod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TarNat 12))))))