Binrep.Example.FileTable

Documentation

type BS = ByteString

newtype Table s a

Constructors

Table

Fields

• unTable :: SW s (LenPfx 'I1 'LE (Entry s a))

Instances

Get a => Get (Table 'Strong a)

Defined in Binrep.Example.FileTable

Methods

get :: Getter (Table 'Strong a)

(Put a, BLen a) => Put (Table 'Strong a)

Defined in Binrep.Example.FileTable

Methods

put :: Table 'Strong a -> Builder

putFileTable :: (Put a, BLen a) => Table 'Strong a -> Builder

prepEntry :: (Put a, BLen a) => Entry 'Strong a -> (BLenT, Word8 -> Builder, BS)

getFileTable :: Get a => Getter (Table 'Strong a)

data Entry s a

Constructors

Entry

Fields

• entryName :: a
• entryData :: SW s (Refined (SizeLessThan (IMax 'U 'I1)) BS)

Instances

Get a => GetWith Addr# (Entry 'Strong a)

Defined in Binrep.Example.FileTable

Methods

getWith :: Addr# -> Getter (Entry 'Strong a)

Generic (Entry s a)

Defined in Binrep.Example.FileTable

Associated Types

type Rep (Entry s a) :: Type -> Type

Methods

from :: Entry s a -> Rep (Entry s a) x

to :: Rep (Entry s a) x -> Entry s a

Show a => Show (Entry 'Strong a)

Defined in Binrep.Example.FileTable

Methods

showsPrec :: Int -> Entry 'Strong a -> ShowS

show :: Entry 'Strong a -> String

showList :: [Entry 'Strong a] -> ShowS

Show a => Show (Entry 'Weak a)

Defined in Binrep.Example.FileTable

Methods

showsPrec :: Int -> Entry 'Weak a -> ShowS

show :: Entry 'Weak a -> String

showList :: [Entry 'Weak a] -> ShowS

Eq a => Eq (Entry 'Strong a)

Defined in Binrep.Example.FileTable

Methods

(==) :: Entry 'Strong a -> Entry 'Strong a -> Bool

(/=) :: Entry 'Strong a -> Entry 'Strong a -> Bool

Eq a => Eq (Entry 'Weak a)

Defined in Binrep.Example.FileTable

Methods

(==) :: Entry 'Weak a -> Entry 'Weak a -> Bool

(/=) :: Entry 'Weak a -> Entry 'Weak a -> Bool

Strengthen (Entry 'Strong a)

Defined in Binrep.Example.FileTable

Methods

strengthen :: Weak (Entry 'Strong a) -> Validation (NonEmpty StrengthenFail) (Entry 'Strong a)

Weaken (Entry 'Strong a)

Defined in Binrep.Example.FileTable

Associated Types

type Weak (Entry 'Strong a)

Methods

weaken :: Entry 'Strong a -> Weak (Entry 'Strong a)

type Rep (Entry s a)

Defined in Binrep.Example.FileTable

type Rep (Entry s a) = D1 ('MetaData "Entry" "Binrep.Example.FileTable" "binrep-0.3.1-inplace" 'False) (C1 ('MetaCons "Entry" 'PrefixI 'True) (S1 ('MetaSel ('Just "entryName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "entryData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SW s (Refined (SizeLessThan (IMax 'U 'I1)) BS)))))

type Weak (Entry 'Strong a)

Defined in Binrep.Example.FileTable

type Weak (Entry 'Strong a) = Entry 'Weak a

getEntry :: Get a => Addr# -> Getter (Entry 'Strong a)

w8i# :: Word8# -> Int#

exBs :: BS