FlatBuffers.Internal.Write

Documentation

type BufferSize = Sum Int32

type Position = Int32

The position of something in a buffer, expressed as the number of bytes counting from the end.

data FBState

Constructors

FBState

Fields

• builder :: !Builder
• bufferSize :: !BufferSize
• maxAlign :: !(Max Alignment)
• cache :: !(Map ByteString Position)

newtype WriteTableField

Constructors

WriteTableField

Fields

• unWriteTableField :: State FBState (FBState -> FBState)

newtype WriteStruct a

A struct to be written to a flatbuffer.

Constructors

WriteStruct

Fields

• buildStruct :: Builder

Instances

IsStruct a => WriteVectorElement (WriteStruct a)

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector (WriteStruct a)

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ WriteStruct a) => Int32 -> mono -> WriteVector (WriteStruct a)

newtype WriteVector (WriteStruct a)

Defined in FlatBuffers.Internal.Write

newtype WriteVector (WriteStruct a) = WriteVectorStruct {

• writeVectorStructTableField :: WriteTableField

}

newtype WriteTable a

A table to be written to a flatbuffer.

Constructors

WriteTable (State FBState Position)

Instances

WriteVectorElement (WriteTable a)

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector (WriteTable a)

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ WriteTable a) => Int32 -> mono -> WriteVector (WriteTable a)

newtype WriteVector (WriteTable a)

Defined in FlatBuffers.Internal.Write

newtype WriteVector (WriteTable a) = WriteVectorTable {

• writeVectorTableTableField :: WriteTableField

}

data WriteUnion a

A union to be written to a flatbuffer.

Constructors

Some !Word8 !(State FBState Position)

None

Instances

WriteVectorElement (WriteUnion a)

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector (WriteUnion a)

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ WriteUnion a) => Int32 -> mono -> WriteVector (WriteUnion a)

data WriteVector (WriteUnion a)

Defined in FlatBuffers.Internal.Write

data WriteVector (WriteUnion a) = WriteVectorUnion !WriteTableField !WriteTableField

encode :: WriteTable a -> ByteString

Serializes a flatbuffer table as a lazy ByteString.

encodeState :: FBState -> WriteTable a -> ByteString

encodeWithFileIdentifier :: forall a. HasFileIdentifier a => WriteTable a -> ByteString

Serializes a flatbuffer table as a lazy ByteString and adds a File Identifier.

encodeStateWithFileIdentifier :: FBState -> FileIdentifier -> WriteTable a -> ByteString

write :: Int32 -> Builder -> FBState -> FBState

Writes something (unaligned) to the buffer.

writeInt32 :: Int32 -> FBState -> FBState

Writes a 32-bit int (unaligned) to the buffer.

writeFileIdentifier :: FileIdentifier -> FBState -> FBState

missing :: WriteTableField

deprecated :: WriteTableField

optional :: (a -> WriteTableField) -> Maybe a -> WriteTableField

optionalDef :: Eq a => a -> (a -> WriteTableField) -> Maybe a -> WriteTableField

writeWord8TableField :: Word8 -> WriteTableField

writeWord16TableField :: Word16 -> WriteTableField

writeWord32TableField :: Word32 -> WriteTableField

writeWord64TableField :: Word64 -> WriteTableField

writeInt8TableField :: Int8 -> WriteTableField

writeInt16TableField :: Int16 -> WriteTableField

writeInt32TableField :: Int32 -> WriteTableField

writeInt64TableField :: Int64 -> WriteTableField

writeFloatTableField :: Float -> WriteTableField

writeDoubleTableField :: Double -> WriteTableField

writeBoolTableField :: Bool -> WriteTableField

writeTextTableField :: Text -> WriteTableField

writeTableTableField :: WriteTable a -> WriteTableField

writeStructTableField :: forall a. IsStruct a => WriteStruct a -> WriteTableField

writeStructTableField' :: Alignment -> InlineSize -> Builder -> WriteTableField

writeUnionTypesVectorTableField :: WriteVector (WriteUnion a) -> WriteTableField

writeUnionValuesVectorTableField :: WriteVector (WriteUnion a) -> WriteTableField

writeUnionTypeTableField :: WriteUnion a -> WriteTableField

writeUnionValueTableField :: WriteUnion a -> WriteTableField

none :: WriteUnion a

Constructs a missing union table field / vector element.

writeUnion :: Word8 -> WriteTable a -> WriteUnion b

vtable :: [Word16] -> Word16 -> ByteString

writeTable :: [WriteTableField] -> WriteTable a

class WriteVectorElement a where

Associated Types

data WriteVector a

A vector to be written to a flatbuffer.

Methods

fromMonoFoldable

Arguments

:: (MonoFoldable mono, Element mono ~ a)

=> Int32

n: the number of elements in xs

-> mono

xs: a collection

-> WriteVector a

Constructs a flatbuffers vector.

If n is larger than the length of xs, this will result in a malformed buffer. If n is smaller than the length of xs, all elements of xs will still be written to the buffer, but the client will only be able to read the first n elements.

Note: fromMonoFoldable asks for the collection's length to be passed in as an argument rather than use olength because:

1. olength is often O(n), and in some use cases there may be a better way to know the collection's length ahead of time.
2. Calling olength inside fromMonoFoldable can inhibit some fusions which would otherwise be possible.

Since: 0.2.0.0

Instances

WriteVectorElement Bool

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Bool

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Bool) => Int32 -> mono -> WriteVector Bool

WriteVectorElement Double

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Double

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Double) => Int32 -> mono -> WriteVector Double

WriteVectorElement Float

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Float

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Float) => Int32 -> mono -> WriteVector Float

WriteVectorElement Int8

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Int8

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Int8) => Int32 -> mono -> WriteVector Int8

WriteVectorElement Int16

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Int16

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Int16) => Int32 -> mono -> WriteVector Int16

WriteVectorElement Int32

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Int32

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Int32) => Int32 -> mono -> WriteVector Int32

WriteVectorElement Int64

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Int64

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Int64) => Int32 -> mono -> WriteVector Int64

WriteVectorElement Word8

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Word8

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Word8) => Int32 -> mono -> WriteVector Word8

WriteVectorElement Word16

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Word16

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Word16) => Int32 -> mono -> WriteVector Word16

WriteVectorElement Word32

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Word32

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Word32) => Int32 -> mono -> WriteVector Word32

WriteVectorElement Word64

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Word64

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Word64) => Int32 -> mono -> WriteVector Word64

WriteVectorElement Text

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector Text

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ Text) => Int32 -> mono -> WriteVector Text

WriteVectorElement (WriteUnion a)

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector (WriteUnion a)

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ WriteUnion a) => Int32 -> mono -> WriteVector (WriteUnion a)

WriteVectorElement (WriteTable a)

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector (WriteTable a)

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ WriteTable a) => Int32 -> mono -> WriteVector (WriteTable a)

IsStruct a => WriteVectorElement (WriteStruct a)

Defined in FlatBuffers.Internal.Write

Associated Types

data WriteVector (WriteStruct a)

Methods

fromMonoFoldable :: (MonoFoldable mono, Element mono ~ WriteStruct a) => Int32 -> mono -> WriteVector (WriteStruct a)

fromMonoFoldable' :: (WriteVectorElement a, MonoFoldable mono, Element mono ~ a) => mono -> WriteVector a

Convenience function, equivalent to:

fromMonoFoldable' xs = fromMonoFoldable (fromIntegral (olength xs)) xs

In some cases it may be slower than using fromMonoFoldable directly.

Since: 0.2.0.0

fromList :: WriteVectorElement a => Int32 -> [a] -> WriteVector a

fromMonoFoldable specialized to list

fromList' :: WriteVectorElement a => [a] -> WriteVector a

fromMonoFoldable` specialized to list

singleton :: WriteVectorElement a => a -> WriteVector a

Creates a flatbuffers vector with a single element

empty :: WriteVectorElement a => WriteVector a

Creates an empty flatbuffers vector

newtype FromFoldable f a

Constructors

FromFoldable (f a)

Instances

Foldable f => Foldable (FromFoldable f)

Defined in FlatBuffers.Internal.Write

Methods

fold :: Monoid m => FromFoldable f m -> m

foldMap :: Monoid m => (a -> m) -> FromFoldable f a -> m

foldMap' :: Monoid m => (a -> m) -> FromFoldable f a -> m

foldr :: (a -> b -> b) -> b -> FromFoldable f a -> b

foldr' :: (a -> b -> b) -> b -> FromFoldable f a -> b

foldl :: (b -> a -> b) -> b -> FromFoldable f a -> b

foldl' :: (b -> a -> b) -> b -> FromFoldable f a -> b

foldr1 :: (a -> a -> a) -> FromFoldable f a -> a

foldl1 :: (a -> a -> a) -> FromFoldable f a -> a

toList :: FromFoldable f a -> [a]

null :: FromFoldable f a -> Bool

length :: FromFoldable f a -> Int

elem :: Eq a => a -> FromFoldable f a -> Bool

maximum :: Ord a => FromFoldable f a -> a

minimum :: Ord a => FromFoldable f a -> a

sum :: Num a => FromFoldable f a -> a

product :: Num a => FromFoldable f a -> a

Foldable f => MonoFoldable (FromFoldable f a)

Defined in FlatBuffers.Internal.Write

Methods

ofoldMap :: Monoid m => (Element (FromFoldable f a) -> m) -> FromFoldable f a -> m

ofoldr :: (Element (FromFoldable f a) -> b -> b) -> b -> FromFoldable f a -> b

ofoldl' :: (a0 -> Element (FromFoldable f a) -> a0) -> a0 -> FromFoldable f a -> a0

otoList :: FromFoldable f a -> [Element (FromFoldable f a)]

oall :: (Element (FromFoldable f a) -> Bool) -> FromFoldable f a -> Bool

oany :: (Element (FromFoldable f a) -> Bool) -> FromFoldable f a -> Bool

onull :: FromFoldable f a -> Bool

olength :: FromFoldable f a -> Int

olength64 :: FromFoldable f a -> Int64

ocompareLength :: Integral i => FromFoldable f a -> i -> Ordering

otraverse_ :: Applicative f0 => (Element (FromFoldable f a) -> f0 b) -> FromFoldable f a -> f0 ()

ofor_ :: Applicative f0 => FromFoldable f a -> (Element (FromFoldable f a) -> f0 b) -> f0 ()

omapM_ :: Applicative m => (Element (FromFoldable f a) -> m ()) -> FromFoldable f a -> m ()

oforM_ :: Applicative m => FromFoldable f a -> (Element (FromFoldable f a) -> m ()) -> m ()

ofoldlM :: Monad m => (a0 -> Element (FromFoldable f a) -> m a0) -> a0 -> FromFoldable f a -> m a0

ofoldMap1Ex :: Semigroup m => (Element (FromFoldable f a) -> m) -> FromFoldable f a -> m

ofoldr1Ex :: (Element (FromFoldable f a) -> Element (FromFoldable f a) -> Element (FromFoldable f a)) -> FromFoldable f a -> Element (FromFoldable f a)

ofoldl1Ex' :: (Element (FromFoldable f a) -> Element (FromFoldable f a) -> Element (FromFoldable f a)) -> FromFoldable f a -> Element (FromFoldable f a)

headEx :: FromFoldable f a -> Element (FromFoldable f a)

lastEx :: FromFoldable f a -> Element (FromFoldable f a)

unsafeHead :: FromFoldable f a -> Element (FromFoldable f a)

unsafeLast :: FromFoldable f a -> Element (FromFoldable f a)

maximumByEx :: (Element (FromFoldable f a) -> Element (FromFoldable f a) -> Ordering) -> FromFoldable f a -> Element (FromFoldable f a)

minimumByEx :: (Element (FromFoldable f a) -> Element (FromFoldable f a) -> Ordering) -> FromFoldable f a -> Element (FromFoldable f a)

oelem :: Element (FromFoldable f a) -> FromFoldable f a -> Bool

onotElem :: Element (FromFoldable f a) -> FromFoldable f a -> Bool

type Element (FromFoldable f a)

Defined in FlatBuffers.Internal.Write

type Element (FromFoldable f a) = a

fromFoldable :: (WriteVectorElement a, Foldable f) => Int32 -> f a -> WriteVector a

fromMonoFoldable for types that implement Foldable but not MonoFoldable.

fromFoldable' :: (WriteVectorElement a, Foldable f) => f a -> WriteVector a

fromMonoFoldable` for types that implement Foldable but not MonoFoldable.

fromByteString :: ByteString -> WriteVector Word8

Efficiently creates a vector from a ByteString. Large ByteStrings are inserted directly, but small ones are copied to ensure that the generated chunks are large on average.

Since: 0.2.0.0

fromLazyByteString :: ByteString -> WriteVector Word8

Efficiently creates a vector from a lazy ByteString. Large chunks of the ByteString are inserted directly, but small ones are copied to ensure that the generated chunks are large on average.

Since: 0.2.0.0

inlineVector :: (MonoFoldable mono, Element mono ~ a) => (a -> Builder) -> Alignment -> InlineSize -> Int32 -> mono -> WriteTableField

data TextInfos

Constructors

TextInfos ![TextInfo] !BufferSize

data TextInfo

Constructors

TextInfo

Fields

• tiText :: !Text
• tiUtf8len :: !Int32
• tiPadding :: !Int32
• tiPosition :: !Position

data OffsetInfo

Constructors

OffsetInfo

Fields

• oiIndex :: !Int32
• oiOffsets :: ![Int32]

data TableInfo

Constructors

TableInfo

Fields

• tiState :: !FBState
• tiTablePositions :: ![Position]

data Vecs a

Constructors

Vecs ![Word8] ![Maybe (State FBState Position)]

data UnionTableInfo

Constructors

UnionTableInfo

Fields

• utiState :: !FBState
• utiTablePositions :: ![Maybe Position]

calcPadding

Arguments

:: Alignment

n

-> Int32

additionalBytes

-> BufferSize

-> Int32

Calculate how much 0-padding is needed so that, after writing additionalBytes, the buffer becomes aligned to n bytes.

alignTo

Arguments

:: Alignment

n

-> Int32

additionalBytes

-> FBState

-> FBState

Add enough 0-padding so that the buffer becomes aligned to n after writing additionalBytes.

uoffsetFromHere :: State FBState (FBState -> FBState)

uoffsetFrom :: Position -> FBState -> FBState

utf8length :: Text -> Int32

c_length_utf8 :: ByteArray# -> CSize -> CSize -> IO Int32