Documentation

unknownTag :: forall (m :: Type -> Type) a. PrimBase m => String -> Word8 -> Get m a Source #

class Tag t where Source #

putTag :: Tag t => t -> Builder Source #

getTag :: forall (m :: Type -> Type) t. (PrimBase m, Tag t) => Get m t Source #

putVarInt :: (Integral a, Integral (Unsigned a), Bits (Unsigned a)) => a -> Builder Source #

putChar :: Char -> Builder Source #

getChar :: forall (m :: Type -> Type). PrimBase m => Get m Char Source #

putFloat :: Double -> Builder Source #

getFloat :: forall (m :: Type -> Type). PrimBase m => Get m Double Source #

putBool :: Bool -> Builder Source #

getBool :: forall (m :: Type -> Type). PrimBase m => Get m Bool Source #

putNat :: Word64 -> Builder Source #

getNat :: forall (m :: Type -> Type). PrimBase m => Get m Word64 Source #

putInt :: Int64 -> Builder Source #

getInt :: forall (m :: Type -> Type). PrimBase m => Get m Int64 Source #

putLength :: (Integral n, Integral (Unsigned n), Bits n, Bits (Unsigned n)) => n -> Builder Source #

getLength :: forall (m :: Type -> Type) n. (PrimBase m, Integral n, Integral (Unsigned n), Bits n, Bits (Unsigned n)) => Get m n Source #

putPositive :: (Bits n, Bits (Unsigned n), Integral n, Integral (Unsigned n)) => n -> Builder Source #

getPositive :: forall (m :: Type -> Type) n. (Bounded n, Integral n, PrimBase m) => Get m n Source #

putFoldable :: Foldable f => (a -> Builder) -> f a -> Builder Source #

putMap :: (a -> Builder) -> (b -> Builder) -> Map a b -> Builder Source #

getMap :: forall (m :: Type -> Type) a b. (PrimBase m, Ord a) => Get m a -> Get m b -> Get m (Map a b) Source #

putMapping :: (a -> Builder) -> (b -> Builder) -> [(a, b)] -> Builder Source #

getMapping :: forall (m :: Type -> Type) a b. PrimBase m => Get m a -> Get m b -> Get m [(a, b)] Source #

putEnumMap :: EnumKey k => (k -> Builder) -> (v -> Builder) -> EnumMap k v -> Builder Source #

getEnumMap :: forall (m :: Type -> Type) k v. (PrimBase m, EnumKey k) => Get m k -> Get m v -> Get m (EnumMap k v) Source #

putEnumSet :: EnumKey k => (k -> Builder) -> EnumSet k -> Builder Source #

getEnumSet :: forall (m :: Type -> Type) k. (PrimBase m, EnumKey k) => Get m k -> Get m (EnumSet k) Source #

putMaybe :: Maybe a -> (a -> Builder) -> Builder Source #

getMaybe :: forall (m :: Type -> Type) a. PrimBase m => Get m a -> Get m (Maybe a) Source #

putPair :: (a -> Builder) -> (b -> Builder) -> (a, b) -> Builder Source #

getPair :: forall (m :: Type -> Type) a b. PrimBase m => Get m a -> Get m b -> Get m (a, b) Source #

getBytes :: forall (m :: Type -> Type). PrimBase m => Get m Bytes Source #

putBytes :: Bytes -> Builder Source #

getByteArray :: forall (m :: Type -> Type). PrimBase m => Get m ByteArray Source #

putByteArray :: ByteArray -> Builder Source #

naturalToWord64s :: Natural -> [Word64] Source #

word64sToNatural :: [Word64] -> Natural Source #

putNatural :: Natural -> Builder Source #

getNatural :: forall (m :: Type -> Type). PrimBase m => Get m Natural Source #

putInteger :: Integer -> Builder Source #

getInteger :: forall (m :: Type -> Type). PrimBase m => Get m Integer Source #

putArray :: (a -> Builder) -> Array a -> Builder Source #

getBlock :: forall (m :: Type -> Type). PrimBase m => Get m Chunk Source #

putBlock :: Chunk -> Builder Source #

putHash :: Hash -> Builder Source #

getHash :: forall (m :: Type -> Type). PrimBase m => Get m Hash Source #

putReferent :: Referent -> Builder Source #

getReferent :: forall (m :: Type -> Type). PrimBase m => Get m Referent Source #

type GetRefLookup = (Array Reference, Array Reference) Source #

type PutRefLookup = (CanonMap Reference Int, CanonMap Reference Int) Source #

putReferentByNumber :: PutRefLookup -> Referent -> Builder Source #

putNumberedReferent :: Referent' RefNum -> Builder Source #

getReferentByNumber :: forall (m :: Type -> Type). PrimBase m => GetRefLookup -> Get m Referent Source #

getNumberedReferent :: forall (m :: Type -> Type). PrimBase m => Get m (Referent' RefNum) Source #

getConstructorType :: forall (m :: Type -> Type). PrimBase m => Get m ConstructorType Source #

putConstructorType :: ConstructorType -> Builder Source #

putConstructorReferenceByNumber :: CanonMap Reference Int -> ConstructorReference -> Builder Source #

getConstructorReferenceByNumber :: forall (m :: Type -> Type). PrimBase m => Array Reference -> Get m ConstructorReference Source #

putNumberedConstructorReference :: GConstructorReference RefNum -> Builder Source #

getNumberedConstructorReference :: forall (m :: Type -> Type). PrimBase m => Get m (GConstructorReference RefNum) Source #

putString :: String -> Builder Source #

getString :: forall (m :: Type -> Type). PrimBase m => Get m String Source #

putText :: Text -> Builder Source #

getText :: forall (m :: Type -> Type). PrimBase m => Get m Text Source #

putReference :: Reference -> Builder Source #

putReferenceByNumber :: CanonMap Reference Int -> Reference -> Builder Source #

putRefNum :: RefNum -> Builder Source #

getReference :: forall (m :: Type -> Type). PrimBase m => Get m Reference Source #

getReferenceByNumber :: forall (m :: Type -> Type). PrimBase m => Array Reference -> Get m Reference Source #

lookupRef :: Monad m => Array Reference -> Int -> m Reference Source #

getRefNum :: forall (m :: Type -> Type). PrimBase m => Get m RefNum Source #

putConstructorReference :: ConstructorReference -> Builder Source #

getConstructorReference :: forall (m :: Type -> Type). PrimBase m => Get m ConstructorReference Source #