unison-runtime-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Serialize

Documentation

unknownTag :: PrimBase m => String -> Word8 -> Get m a Source #

class Tag t where Source #

Methods

tag2word :: t -> Word8 Source #

word2tag :: PrimBase m => Word8 -> Get m t Source #

Instances

Instances details

Tag BLTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize.Tags Methods tag2word :: BLTag -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m BLTag Source #
Tag CoTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize.Tags Methods tag2word :: CoTag -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m CoTag Source #
Tag FnTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize.Tags Methods tag2word :: FnTag -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m FnTag Source #
Tag LtTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize.Tags Methods tag2word :: LtTag -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m LtTag Source #
Tag MtTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize.Tags Methods tag2word :: MtTag -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m MtTag Source #
Tag TmTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize.Tags Methods tag2word :: TmTag -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m TmTag Source #
Tag VaTag Source #
Instance details Defined in Unison.Runtime.ANF.Serialize.Tags Methods tag2word :: VaTag -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m VaTag Source #
Tag Prim1 Source #
Instance details Defined in Unison.Runtime.Serialize Methods tag2word :: Prim1 -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m Prim1 Source #
Tag Prim2 Source #
Instance details Defined in Unison.Runtime.Serialize Methods tag2word :: Prim2 -> Word8 Source # word2tag :: forall (m :: Type -> Type). PrimBase m => Word8 -> Get m Prim2 Source #

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

getTag :: 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 :: PrimBase m => Get m Char Source #

putFloat :: Double -> Builder Source #

getFloat :: PrimBase m => Get m Double Source #

putBool :: Bool -> Builder Source #

getBool :: PrimBase m => Get m Bool Source #

putNat :: Word64 -> Builder Source #

getNat :: PrimBase m => Get m Word64 Source #

putInt :: Int64 -> Builder Source #

getInt :: PrimBase m => Get m Int64 Source #

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

getLength :: (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 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 :: (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 :: 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 :: 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 :: PrimBase m => EnumKey k => Get m k -> Get m (EnumSet k) Source #

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

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

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

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

getBytes :: PrimBase m => Get m Bytes Source #

putBytes :: Bytes -> Builder Source #

getByteArray :: PrimBase m => Get m ByteArray Source #

putByteArray :: ByteArray -> Builder Source #

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

getBlock :: PrimBase m => Get m Chunk Source #

putBlock :: Chunk -> Builder Source #

putHash :: Hash -> Builder Source #

getHash :: PrimBase m => Get m Hash Source #

putReferent :: Referent -> Builder Source #

getReferent :: 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 :: PrimBase m => GetRefLookup -> Get m Referent Source #

getNumberedReferent :: PrimBase m => Get m (Referent' RefNum) Source #

getConstructorType :: PrimBase m => Get m ConstructorType Source #

putConstructorType :: ConstructorType -> Builder Source #

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

getConstructorReferenceByNumber :: PrimBase m => Array Reference -> Get m ConstructorReference Source #

putNumberedConstructorReference :: GConstructorReference RefNum -> Builder Source #

getNumberedConstructorReference :: PrimBase m => Get m (GConstructorReference RefNum) Source #

putString :: String -> Builder Source #

getString :: PrimBase m => Get m String Source #

putText :: Text -> Builder Source #

getText :: PrimBase m => Get m Text Source #

putReference :: Reference -> Builder Source #

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

putRefNum :: RefNum -> Builder Source #

getReference :: PrimBase m => Get m Reference Source #

getReferenceByNumber :: PrimBase m => Array Reference -> Get m Reference Source #

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

getRefNum :: PrimBase m => Get m RefNum Source #

putConstructorReference :: ConstructorReference -> Builder Source #

getConstructorReference :: PrimBase m => Get m ConstructorReference Source #