unison-runtime-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Runtime.Serialize

Documentation

unknownTag :: MonadGet m => String -> Word8 -> m a Source #

class Tag t where Source #

Methods

tag2word :: t -> Word8 Source #

word2tag :: MonadGet m => Word8 -> m t Source #

Instances

Instances details

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

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

getTag :: MonadGet m => Tag t => m t Source #

getVarInt :: (MonadGet m, Num b, Bits b) => m b Source #

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

putChar :: Char -> Builder Source #

getChar :: MonadGet m => m Char Source #

putFloat :: Double -> Builder Source #

getFloat :: MonadGet m => m Double Source #

putBool :: Bool -> Builder Source #

getBool :: MonadGet m => m Bool Source #

putNat :: Word64 -> Builder Source #

getNat :: MonadGet m => m Word64 Source #

putInt :: Int64 -> Builder Source #

getInt :: MonadGet m => m Int64 Source #

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

getLength :: (MonadGet m, Integral n, Integral (Unsigned n), Bits n, Bits (Unsigned n)) => 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, MonadGet m) => m n Source #

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

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

getList :: MonadGet m => m a -> m [a] Source #

getSeq :: MonadGet m => m a -> m (Seq a) Source #

getMap :: (MonadGet m, Ord a) => m a -> m b -> m (Map a b) Source #

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

getMapping :: MonadGet m => m a -> m b -> m [(a, b)] Source #

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

getEnumMap :: MonadGet m => EnumKey k => m k -> m v -> m (EnumMap k v) Source #

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

getEnumSet :: MonadGet m => EnumKey k => m k -> m (EnumSet k) Source #

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

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

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

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

getBytes :: MonadGet m => m Bytes Source #

putBytes :: Bytes -> Builder Source #

getByteArray :: MonadGet m => m ByteArray Source #

putByteArray :: ByteArray -> Builder Source #

getArray :: MonadGet m => m a -> m (Array a) Source #

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

getBlock :: MonadGet m => m Chunk Source #

putBlock :: Chunk -> Builder Source #

putHash :: Hash -> Builder Source #

getHash :: MonadGet m => m Hash Source #

putReferent :: Referent -> Builder Source #

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

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

getConstructorType :: MonadGet m => m ConstructorType Source #

putConstructorType :: ConstructorType -> Builder Source #

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

getConstructorReferenceByNumber :: MonadGet m => Array Reference -> m ConstructorReference Source #

putNumberedConstructorReference :: GConstructorReference RefNum -> Builder Source #

getNumberedConstructorReference :: MonadGet m => m (GConstructorReference RefNum) Source #

putString :: String -> Builder Source #

getString :: MonadGet m => m String Source #

putText :: Text -> Builder Source #

getText :: MonadGet m => m Text Source #

putReference :: Reference -> Builder Source #

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

putRefNum :: RefNum -> Builder Source #

getReference :: MonadGet m => m Reference Source #

getReferenceByNumber :: MonadGet m => Array Reference -> m Reference Source #

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

getRefNum :: MonadGet m => m RefNum Source #

putConstructorReference :: ConstructorReference -> Builder Source #

getConstructorReference :: MonadGet m => m ConstructorReference Source #