unison-runtime-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Runtime.Serialize

Documentation

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

Tag CoTag Source # 
Instance details

Defined in Unison.Runtime.ANF.Serialize

Tag FnTag Source # 
Instance details

Defined in Unison.Runtime.ANF.Serialize

Tag LtTag Source # 
Instance details

Defined in Unison.Runtime.ANF.Serialize

Tag MtTag Source # 
Instance details

Defined in Unison.Runtime.ANF.Serialize

Tag TmTag Source # 
Instance details

Defined in Unison.Runtime.ANF.Serialize

Tag VaTag Source # 
Instance details

Defined in Unison.Runtime.ANF.Serialize

Tag BPrim1 Source # 
Instance details

Defined in Unison.Runtime.Serialize

Tag BPrim2 Source # 
Instance details

Defined in Unison.Runtime.Serialize

Tag UPrim1 Source # 
Instance details

Defined in Unison.Runtime.Serialize

Tag UPrim2 Source # 
Instance details

Defined in Unison.Runtime.Serialize

putTag :: MonadPut m => Tag t => t -> m () Source #

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

putChar :: MonadPut m => Char -> m () Source #

putFloat :: MonadPut m => Double -> m () Source #

putBool :: MonadPut m => Bool -> m () Source #

putNat :: MonadPut m => Word64 -> m () Source #

putInt :: MonadPut m => Int64 -> m () Source #

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

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

getPositive :: forall m n. (Bounded n, Integral n, MonadGet m) => m n Source #

putFoldable :: (Foldable f, MonadPut m) => (a -> m ()) -> f a -> m () Source #

putMap :: MonadPut m => (a -> m ()) -> (b -> m ()) -> Map a b -> m () Source #

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

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

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

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

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

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

putMaybe :: MonadPut m => Maybe a -> (a -> m ()) -> m () Source #

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

putPair :: MonadPut m => (a -> m ()) -> (b -> m ()) -> (a, b) -> m () Source #

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

putBytes :: MonadPut m => Bytes -> m () Source #

putBlock :: MonadPut m => Chunk -> m () Source #

putHash :: MonadPut m => Hash -> m () Source #

putText :: MonadPut m => Text -> m () Source #