Safe Haskell	None
Language	Haskell2010

FlatBuffers.Internal.Read

Synopsis

type ReadError = String
newtype TableIndex = TableIndex {
- unTableIndex :: Word16
}
newtype VOffset = VOffset {
- unVOffset :: Word16
}
newtype OffsetFromRoot = OffsetFromRoot Int32
data Table a = Table {
- vtable :: !Position
- tablePos :: !PositionInfo
}
newtype Struct a = Struct {
- structPos :: Position
}
data Union a
- = Union !a
- | UnionNone
- | UnionUnknown !Word8
type Position = ByteString
data PositionInfo = PositionInfo {
- posRoot :: !Position
- posCurrent :: !Position
- posOffsetFromRoot :: !OffsetFromRoot
}
class HasPosition a where
- getPosition :: a -> Position
- move :: Integral i => a -> i -> a
decode :: ByteString -> Either ReadError (Table a)
checkFileIdentifier :: forall a. HasFileIdentifier a => ByteString -> Bool
checkFileIdentifier' :: FileIdentifier -> ByteString -> Bool
moveToElem :: HasPosition pos => pos -> Int32 -> Int32 -> pos
checkIndexBounds :: Int32 -> Int32 -> Int32
inlineVectorToList :: HasPosition pos => Get a -> pos -> Either ReadError [a]
class VectorElement a where
- data Vector a
- length :: Vector a -> Either ReadError Int32
- index :: Vector a -> Int32 -> Either ReadError a
- unsafeIndex :: Vector a -> Int32 -> Either ReadError a
- toList :: Vector a -> Either ReadError [a]
readStructField :: (Position -> a) -> VOffset -> Struct s -> a
readTableFieldOpt :: (PositionInfo -> Either ReadError a) -> TableIndex -> Table t -> Either ReadError (Maybe a)
readTableFieldReq :: (PositionInfo -> Either ReadError a) -> TableIndex -> String -> Table t -> Either ReadError a
readTableFieldWithDef :: (PositionInfo -> Either ReadError a) -> TableIndex -> a -> Table t -> Either ReadError a
readTableFieldUnion :: (Positive Word8 -> PositionInfo -> Either ReadError (Union a)) -> TableIndex -> Table t -> Either ReadError (Union a)
readTableFieldUnionVectorOpt :: (Positive Word8 -> PositionInfo -> Either ReadError (Union a)) -> TableIndex -> Table t -> Either ReadError (Maybe (Vector (Union a)))
readTableFieldUnionVectorReq :: (Positive Word8 -> PositionInfo -> Either ReadError (Union a)) -> TableIndex -> String -> Table t -> Either ReadError (Vector (Union a))
readInt8 :: HasPosition a => a -> Either ReadError Int8
readInt16 :: HasPosition a => a -> Either ReadError Int16
readInt32 :: HasPosition a => a -> Either ReadError Int32
readInt64 :: HasPosition a => a -> Either ReadError Int64
readWord8 :: HasPosition a => a -> Either ReadError Word8
readWord16 :: HasPosition a => a -> Either ReadError Word16
readWord32 :: HasPosition a => a -> Either ReadError Word32
readWord64 :: HasPosition a => a -> Either ReadError Word64
readFloat :: HasPosition a => a -> Either ReadError Float
readDouble :: HasPosition a => a -> Either ReadError Double
readBool :: HasPosition a => a -> Either ReadError Bool
word8ToBool :: Word8 -> Bool
readPrimVector :: (Position -> Vector a) -> PositionInfo -> Either ReadError (Vector a)
readTableVector :: PositionInfo -> Either ReadError (Vector (Table a))
readStructVector :: forall a. IsStruct a => PositionInfo -> Either ReadError (Vector (Struct a))
readUnionVector :: (Positive Word8 -> PositionInfo -> Either ReadError (Union a)) -> PositionInfo -> PositionInfo -> Either ReadError (Vector (Union a))
readText :: HasPosition a => a -> Either ReadError Text
readText' :: Get (Either ReadError Text)
readTable :: PositionInfo -> Either ReadError (Table t)
readTable' :: PositionInfo -> Either ReadError (Table t)
readStruct :: HasPosition a => a -> Struct s
tableIndexToVOffset :: Table t -> TableIndex -> Either ReadError (Maybe VOffset)
readUOffsetAndSkip :: HasPosition pos => pos -> Either ReadError pos
runGet :: Get a -> ByteString -> Either ReadError a
missingField :: String -> Either ReadError a
byteStringSafeIndex :: ByteString -> Int32 -> Either ReadError Word8

Documentation

type ReadError = String Source #

newtype TableIndex Source #

Constructors

TableIndex
Fields unTableIndex :: Word16

Instances

Num TableIndex Source #
Instance details Defined in FlatBuffers.Internal.Read Methods (+) :: TableIndex -> TableIndex -> TableIndex # (-) :: TableIndex -> TableIndex -> TableIndex # (*) :: TableIndex -> TableIndex -> TableIndex # negate :: TableIndex -> TableIndex # abs :: TableIndex -> TableIndex # signum :: TableIndex -> TableIndex # fromInteger :: Integer -> TableIndex #
Show TableIndex Source #
Instance details Defined in FlatBuffers.Internal.Read Methods showsPrec :: Int -> TableIndex -> ShowS # show :: TableIndex -> String # showList :: [TableIndex] -> ShowS #

newtype VOffset Source #

Constructors

VOffset
Fields unVOffset :: Word16

Instances

Enum VOffset Source #
Instance details Defined in FlatBuffers.Internal.Read Methods succ :: VOffset -> VOffset # pred :: VOffset -> VOffset # toEnum :: Int -> VOffset # fromEnum :: VOffset -> Int # enumFrom :: VOffset -> [VOffset] # enumFromThen :: VOffset -> VOffset -> [VOffset] # enumFromTo :: VOffset -> VOffset -> [VOffset] # enumFromThenTo :: VOffset -> VOffset -> VOffset -> [VOffset] #
Eq VOffset Source #
Instance details Defined in FlatBuffers.Internal.Read Methods (==) :: VOffset -> VOffset -> Bool # (/=) :: VOffset -> VOffset -> Bool #
Integral VOffset Source #
Instance details Defined in FlatBuffers.Internal.Read Methods quot :: VOffset -> VOffset -> VOffset # rem :: VOffset -> VOffset -> VOffset # div :: VOffset -> VOffset -> VOffset # mod :: VOffset -> VOffset -> VOffset # quotRem :: VOffset -> VOffset -> (VOffset, VOffset) # divMod :: VOffset -> VOffset -> (VOffset, VOffset) # toInteger :: VOffset -> Integer #
Num VOffset Source #
Instance details Defined in FlatBuffers.Internal.Read Methods (+) :: VOffset -> VOffset -> VOffset # (-) :: VOffset -> VOffset -> VOffset # (*) :: VOffset -> VOffset -> VOffset # negate :: VOffset -> VOffset # abs :: VOffset -> VOffset # signum :: VOffset -> VOffset # fromInteger :: Integer -> VOffset #
Ord VOffset Source #
Instance details Defined in FlatBuffers.Internal.Read Methods compare :: VOffset -> VOffset -> Ordering # (<) :: VOffset -> VOffset -> Bool # (<=) :: VOffset -> VOffset -> Bool # (>) :: VOffset -> VOffset -> Bool # (>=) :: VOffset -> VOffset -> Bool # max :: VOffset -> VOffset -> VOffset # min :: VOffset -> VOffset -> VOffset #
Real VOffset Source #
Instance details Defined in FlatBuffers.Internal.Read Methods toRational :: VOffset -> Rational #
Show VOffset Source #
Instance details Defined in FlatBuffers.Internal.Read Methods showsPrec :: Int -> VOffset -> ShowS # show :: VOffset -> String # showList :: [VOffset] -> ShowS #

newtype OffsetFromRoot Source #

Constructors

OffsetFromRoot Int32

Instances

Enum OffsetFromRoot Source #
Instance details Defined in FlatBuffers.Internal.Read Methods succ :: OffsetFromRoot -> OffsetFromRoot # pred :: OffsetFromRoot -> OffsetFromRoot # toEnum :: Int -> OffsetFromRoot # fromEnum :: OffsetFromRoot -> Int # enumFrom :: OffsetFromRoot -> [OffsetFromRoot] # enumFromThen :: OffsetFromRoot -> OffsetFromRoot -> [OffsetFromRoot] # enumFromTo :: OffsetFromRoot -> OffsetFromRoot -> [OffsetFromRoot] # enumFromThenTo :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot -> [OffsetFromRoot] #
Eq OffsetFromRoot Source #
Instance details Defined in FlatBuffers.Internal.Read Methods (==) :: OffsetFromRoot -> OffsetFromRoot -> Bool # (/=) :: OffsetFromRoot -> OffsetFromRoot -> Bool #
Integral OffsetFromRoot Source #
Instance details Defined in FlatBuffers.Internal.Read Methods quot :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # rem :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # div :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # mod :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # quotRem :: OffsetFromRoot -> OffsetFromRoot -> (OffsetFromRoot, OffsetFromRoot) # divMod :: OffsetFromRoot -> OffsetFromRoot -> (OffsetFromRoot, OffsetFromRoot) # toInteger :: OffsetFromRoot -> Integer #
Num OffsetFromRoot Source #
Instance details Defined in FlatBuffers.Internal.Read Methods (+) :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # (-) :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # (*) :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # negate :: OffsetFromRoot -> OffsetFromRoot # abs :: OffsetFromRoot -> OffsetFromRoot # signum :: OffsetFromRoot -> OffsetFromRoot # fromInteger :: Integer -> OffsetFromRoot #
Ord OffsetFromRoot Source #
Instance details Defined in FlatBuffers.Internal.Read Methods compare :: OffsetFromRoot -> OffsetFromRoot -> Ordering # (<) :: OffsetFromRoot -> OffsetFromRoot -> Bool # (<=) :: OffsetFromRoot -> OffsetFromRoot -> Bool # (>) :: OffsetFromRoot -> OffsetFromRoot -> Bool # (>=) :: OffsetFromRoot -> OffsetFromRoot -> Bool # max :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot # min :: OffsetFromRoot -> OffsetFromRoot -> OffsetFromRoot #
Real OffsetFromRoot Source #
Instance details Defined in FlatBuffers.Internal.Read Methods toRational :: OffsetFromRoot -> Rational #
Show OffsetFromRoot Source #
Instance details Defined in FlatBuffers.Internal.Read Methods showsPrec :: Int -> OffsetFromRoot -> ShowS # show :: OffsetFromRoot -> String # showList :: [OffsetFromRoot] -> ShowS #

data Table a Source #

A table that is being read from a flatbuffer.

Constructors

Table
Fields vtable :: !Position tablePos :: !PositionInfo

Instances

VectorElement (Table a) Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector (Table a) :: Type Source # Methods length :: Vector (Table a) -> Either ReadError Int32 Source # index :: Vector (Table a) -> Int32 -> Either ReadError (Table a) Source # unsafeIndex :: Vector (Table a) -> Int32 -> Either ReadError (Table a) Source # toList :: Vector (Table a) -> Either ReadError [Table a] Source #
HasPosition (Vector (Table a)) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector (Table a) -> Position Source # move :: Integral i => Vector (Table a) -> i -> Vector (Table a) Source #
newtype Vector (Table a) Source #
Instance details Defined in FlatBuffers.Internal.Read newtype Vector (Table a) = VectorTable PositionInfo

newtype Struct a Source #

A struct that is being read from a flatbuffer.

Constructors

Struct
Fields structPos :: Position

Instances

VectorElement (Struct a) Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector (Struct a) :: Type Source # Methods length :: Vector (Struct a) -> Either ReadError Int32 Source # index :: Vector (Struct a) -> Int32 -> Either ReadError (Struct a) Source # unsafeIndex :: Vector (Struct a) -> Int32 -> Either ReadError (Struct a) Source # toList :: Vector (Struct a) -> Either ReadError [Struct a] Source #
data Vector (Struct a) Source #
Instance details Defined in FlatBuffers.Internal.Read data Vector (Struct a) = VectorStruct { vectorStructStructSize :: !InlineSize vectorStructPos :: !Position }

data Union a Source #

A union that is being read from a flatbuffer.

Constructors

Union !a
UnionNone
UnionUnknown !Word8

Instances

VectorElement (Union a) Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector (Union a) :: Type Source # Methods length :: Vector (Union a) -> Either ReadError Int32 Source # index :: Vector (Union a) -> Int32 -> Either ReadError (Union a) Source # unsafeIndex :: Vector (Union a) -> Int32 -> Either ReadError (Union a) Source # toList :: Vector (Union a) -> Either ReadError [Union a] Source #
data Vector (Union a) Source #
Instance details Defined in FlatBuffers.Internal.Read data Vector (Union a) = VectorUnion { vectorUnionTypesPos :: !(Vector Word8) vectorUnionValuesPos :: !PositionInfo vectorUnionReadElem :: !(Positive Word8 -> PositionInfo -> Either ReadError (Union a)) }

type Position = ByteString Source #

data PositionInfo Source #

Current position in the buffer

Constructors

PositionInfo
Fields posRoot :: !Position Pointer to the buffer root posCurrent :: !Position Pointer to current position posOffsetFromRoot :: !OffsetFromRoot Number of bytes between current position and root

Instances

HasPosition PositionInfo Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: PositionInfo -> Position Source # move :: Integral i => PositionInfo -> i -> PositionInfo Source #

class HasPosition a where Source #

Methods

getPosition :: a -> Position Source #

move :: Integral i => a -> i -> a Source #

Instances

HasPosition ByteString Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: ByteString -> Position Source # move :: Integral i => ByteString -> i -> ByteString Source #
HasPosition PositionInfo Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: PositionInfo -> Position Source # move :: Integral i => PositionInfo -> i -> PositionInfo Source #
HasPosition (Vector Bool) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Bool -> Position Source # move :: Integral i => Vector Bool -> i -> Vector Bool Source #
HasPosition (Vector Double) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Double -> Position Source # move :: Integral i => Vector Double -> i -> Vector Double Source #
HasPosition (Vector Float) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Float -> Position Source # move :: Integral i => Vector Float -> i -> Vector Float Source #
HasPosition (Vector Int8) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Int8 -> Position Source # move :: Integral i => Vector Int8 -> i -> Vector Int8 Source #
HasPosition (Vector Int16) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Int16 -> Position Source # move :: Integral i => Vector Int16 -> i -> Vector Int16 Source #
HasPosition (Vector Int32) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Int32 -> Position Source # move :: Integral i => Vector Int32 -> i -> Vector Int32 Source #
HasPosition (Vector Int64) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Int64 -> Position Source # move :: Integral i => Vector Int64 -> i -> Vector Int64 Source #
HasPosition (Vector Word8) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Word8 -> Position Source # move :: Integral i => Vector Word8 -> i -> Vector Word8 Source #
HasPosition (Vector Word16) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Word16 -> Position Source # move :: Integral i => Vector Word16 -> i -> Vector Word16 Source #
HasPosition (Vector Word32) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Word32 -> Position Source # move :: Integral i => Vector Word32 -> i -> Vector Word32 Source #
HasPosition (Vector Word64) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector Word64 -> Position Source # move :: Integral i => Vector Word64 -> i -> Vector Word64 Source #
HasPosition (Vector (Table a)) Source #
Instance details Defined in FlatBuffers.Internal.Read Methods getPosition :: Vector (Table a) -> Position Source # move :: Integral i => Vector (Table a) -> i -> Vector (Table a) Source #

decode :: ByteString -> Either ReadError (Table a) Source #

Deserializes a flatbuffer from a lazy ByteString.

checkFileIdentifier :: forall a. HasFileIdentifier a => ByteString -> Bool Source #

Checks if a buffer contains the file identifier for a root table a, to see if it's safe to decode it to a Table. It should be used in conjunction with -XTypeApplications.

{-# LANGUAGE TypeApplications #-}

if checkFileIdentifier @Monster bs
  then decode @Monster bs
  else return someMonster

checkFileIdentifier' :: FileIdentifier -> ByteString -> Bool Source #

moveToElem :: HasPosition pos => pos -> Int32 -> Int32 -> pos Source #

checkIndexBounds :: Int32 -> Int32 -> Int32 Source #

inlineVectorToList :: HasPosition pos => Get a -> pos -> Either ReadError [a] Source #

class VectorElement a where Source #

Minimal complete definition

length, unsafeIndex, toList

Associated Types

data Vector a Source #

A vector that is being read from a flatbuffer.

Methods

length :: Vector a -> Either ReadError Int32 Source #

Returns the size of the vector.

index :: Vector a -> Int32 -> Either ReadError a Source #

Returns the item at the given index. If the given index is negative or too large, an error is thrown.

unsafeIndex :: Vector a -> Int32 -> Either ReadError a Source #

Returns the item at the given index without performing the bounds check.

Given an invalid index, unsafeIndex will likely read garbage data or return a ReadError. In the case of Vector Word8, using a negative index carries the same risks as unsafeIndex (i.e. reading from outside the buffer's boundaries).

toList :: Vector a -> Either ReadError [a] Source #

Converts the vector to a list.

Instances

VectorElement Bool Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Bool :: Type Source # Methods length :: Vector Bool -> Either ReadError Int32 Source # index :: Vector Bool -> Int32 -> Either ReadError Bool Source # unsafeIndex :: Vector Bool -> Int32 -> Either ReadError Bool Source # toList :: Vector Bool -> Either ReadError [Bool] Source #
VectorElement Double Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Double :: Type Source # Methods length :: Vector Double -> Either ReadError Int32 Source # index :: Vector Double -> Int32 -> Either ReadError Double Source # unsafeIndex :: Vector Double -> Int32 -> Either ReadError Double Source # toList :: Vector Double -> Either ReadError [Double] Source #
VectorElement Float Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Float :: Type Source # Methods length :: Vector Float -> Either ReadError Int32 Source # index :: Vector Float -> Int32 -> Either ReadError Float Source # unsafeIndex :: Vector Float -> Int32 -> Either ReadError Float Source # toList :: Vector Float -> Either ReadError [Float] Source #
VectorElement Int8 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Int8 :: Type Source # Methods length :: Vector Int8 -> Either ReadError Int32 Source # index :: Vector Int8 -> Int32 -> Either ReadError Int8 Source # unsafeIndex :: Vector Int8 -> Int32 -> Either ReadError Int8 Source # toList :: Vector Int8 -> Either ReadError [Int8] Source #
VectorElement Int16 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Int16 :: Type Source # Methods length :: Vector Int16 -> Either ReadError Int32 Source # index :: Vector Int16 -> Int32 -> Either ReadError Int16 Source # unsafeIndex :: Vector Int16 -> Int32 -> Either ReadError Int16 Source # toList :: Vector Int16 -> Either ReadError [Int16] Source #
VectorElement Int32 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Int32 :: Type Source # Methods length :: Vector Int32 -> Either ReadError Int32 Source # index :: Vector Int32 -> Int32 -> Either ReadError Int32 Source # unsafeIndex :: Vector Int32 -> Int32 -> Either ReadError Int32 Source # toList :: Vector Int32 -> Either ReadError [Int32] Source #
VectorElement Int64 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Int64 :: Type Source # Methods length :: Vector Int64 -> Either ReadError Int32 Source # index :: Vector Int64 -> Int32 -> Either ReadError Int64 Source # unsafeIndex :: Vector Int64 -> Int32 -> Either ReadError Int64 Source # toList :: Vector Int64 -> Either ReadError [Int64] Source #
VectorElement Word8 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Word8 :: Type Source # Methods length :: Vector Word8 -> Either ReadError Int32 Source # index :: Vector Word8 -> Int32 -> Either ReadError Word8 Source # unsafeIndex :: Vector Word8 -> Int32 -> Either ReadError Word8 Source # toList :: Vector Word8 -> Either ReadError [Word8] Source #
VectorElement Word16 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Word16 :: Type Source # Methods length :: Vector Word16 -> Either ReadError Int32 Source # index :: Vector Word16 -> Int32 -> Either ReadError Word16 Source # unsafeIndex :: Vector Word16 -> Int32 -> Either ReadError Word16 Source # toList :: Vector Word16 -> Either ReadError [Word16] Source #
VectorElement Word32 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Word32 :: Type Source # Methods length :: Vector Word32 -> Either ReadError Int32 Source # index :: Vector Word32 -> Int32 -> Either ReadError Word32 Source # unsafeIndex :: Vector Word32 -> Int32 -> Either ReadError Word32 Source # toList :: Vector Word32 -> Either ReadError [Word32] Source #
VectorElement Word64 Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Word64 :: Type Source # Methods length :: Vector Word64 -> Either ReadError Int32 Source # index :: Vector Word64 -> Int32 -> Either ReadError Word64 Source # unsafeIndex :: Vector Word64 -> Int32 -> Either ReadError Word64 Source # toList :: Vector Word64 -> Either ReadError [Word64] Source #
VectorElement Text Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector Text :: Type Source # Methods length :: Vector Text -> Either ReadError Int32 Source # index :: Vector Text -> Int32 -> Either ReadError Text Source # unsafeIndex :: Vector Text -> Int32 -> Either ReadError Text Source # toList :: Vector Text -> Either ReadError [Text] Source #
VectorElement (Union a) Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector (Union a) :: Type Source # Methods length :: Vector (Union a) -> Either ReadError Int32 Source # index :: Vector (Union a) -> Int32 -> Either ReadError (Union a) Source # unsafeIndex :: Vector (Union a) -> Int32 -> Either ReadError (Union a) Source # toList :: Vector (Union a) -> Either ReadError [Union a] Source #
VectorElement (Struct a) Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector (Struct a) :: Type Source # Methods length :: Vector (Struct a) -> Either ReadError Int32 Source # index :: Vector (Struct a) -> Int32 -> Either ReadError (Struct a) Source # unsafeIndex :: Vector (Struct a) -> Int32 -> Either ReadError (Struct a) Source # toList :: Vector (Struct a) -> Either ReadError [Struct a] Source #
VectorElement (Table a) Source #
Instance details Defined in FlatBuffers.Internal.Read Associated Types data Vector (Table a) :: Type Source # Methods length :: Vector (Table a) -> Either ReadError Int32 Source # index :: Vector (Table a) -> Int32 -> Either ReadError (Table a) Source # unsafeIndex :: Vector (Table a) -> Int32 -> Either ReadError (Table a) Source # toList :: Vector (Table a) -> Either ReadError [Table a] Source #