Agda
Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.General

Description

Serializing types that are not Agda-specific.

Synopsis

Documentation

mapPairsIcode :: (EmbPrj k, EmbPrj v) => [(k, v)] -> S Word32 Source #

Encode a list of key-value pairs as a flat list.

mapPairsValue :: (EmbPrj k, EmbPrj v) => [Word32] -> R [(k, v)] Source #

Orphan instances

EmbPrj VarSet Source # 
Instance details

Methods

icode :: VarSet -> S Word32 Source #

icod_ :: VarSet -> S Word32 Source #

value :: Word32 -> R VarSet Source #

EmbPrj IntSet Source # 
Instance details

Methods

icode :: IntSet -> S Word32 Source #

icod_ :: IntSet -> S Word32 Source #

value :: Word32 -> R IntSet Source #

EmbPrj Void Source # 
Instance details

Methods

icode :: Void -> S Word32 Source #

icod_ :: Void -> S Word32 Source #

value :: Word32 -> R Void Source #

EmbPrj Int32 Source # 
Instance details

Methods

icode :: Int32 -> S Word32 Source #

icod_ :: Int32 -> S Word32 Source #

value :: Word32 -> R Int32 Source #

EmbPrj Word32 Source # 
Instance details

Methods

icode :: Word32 -> S Word32 Source #

icod_ :: Word32 -> S Word32 Source #

value :: Word32 -> R Word32 Source #

EmbPrj Word64 Source # 
Instance details

Methods

icode :: Word64 -> S Word32 Source #

icod_ :: Word64 -> S Word32 Source #

value :: Word32 -> R Word64 Source #

EmbPrj Text Source # 
Instance details

Methods

icode :: Text -> S Word32 Source #

icod_ :: Text -> S Word32 Source #

value :: Word32 -> R Text Source #

EmbPrj Text Source # 
Instance details

Methods

icode :: Text -> S Word32 Source #

icod_ :: Text -> S Word32 Source #

value :: Word32 -> R Text Source #

EmbPrj Integer Source # 
Instance details

Methods

icode :: Integer -> S Word32 Source #

icod_ :: Integer -> S Word32 Source #

value :: Word32 -> R Integer Source #

EmbPrj String Source # 
Instance details

Methods

icode :: String -> S Word32 Source #

icod_ :: String -> S Word32 Source #

value :: Word32 -> R String Source #

EmbPrj () Source # 
Instance details

Methods

icode :: () -> S Word32 Source #

icod_ :: () -> S Word32 Source #

value :: Word32 -> R () Source #

EmbPrj Bool Source # 
Instance details

Methods

icode :: Bool -> S Word32 Source #

icod_ :: Bool -> S Word32 Source #

value :: Word32 -> R Bool Source #

EmbPrj Char Source # 
Instance details

Methods

icode :: Char -> S Word32 Source #

icod_ :: Char -> S Word32 Source #

value :: Word32 -> R Char Source #

EmbPrj Double Source # 
Instance details

Methods

icode :: Double -> S Word32 Source #

icod_ :: Double -> S Word32 Source #

value :: Word32 -> R Double Source #

EmbPrj Int Source # 
Instance details

Methods

icode :: Int -> S Word32 Source #

icod_ :: Int -> S Word32 Source #

value :: Word32 -> R Int Source #

EmbPrj a => EmbPrj (DocTree a) Source # 
Instance details

Methods

icode :: DocTree a -> S Word32 Source #

icod_ :: DocTree a -> S Word32 Source #

value :: Word32 -> R (DocTree a) Source #

EmbPrj a => EmbPrj (List1 a) Source # 
Instance details

Methods

icode :: List1 a -> S Word32 Source #

icod_ :: List1 a -> S Word32 Source #

value :: Word32 -> R (List1 a) Source #

EmbPrj a => EmbPrj (List2 a) Source # 
Instance details

Methods

icode :: List2 a -> S Word32 Source #

icod_ :: List2 a -> S Word32 Source #

value :: Word32 -> R (List2 a) Source #

(Ord a, EmbPrj a) => EmbPrj (Set1 a) Source # 
Instance details

Methods

icode :: Set1 a -> S Word32 Source #

icod_ :: Set1 a -> S Word32 Source #

value :: Word32 -> R (Set1 a) Source #

Typeable a => EmbPrj (SmallSet a) Source # 
Instance details

Methods

icode :: SmallSet a -> S Word32 Source #

icod_ :: SmallSet a -> S Word32 Source #

value :: Word32 -> R (SmallSet a) Source #

EmbPrj a => EmbPrj (Seq a) Source # 
Instance details

Methods

icode :: Seq a -> S Word32 Source #

icod_ :: Seq a -> S Word32 Source #

value :: Word32 -> R (Seq a) Source #

(Ord a, EmbPrj a) => EmbPrj (Set a) Source # 
Instance details

Methods

icode :: Set a -> S Word32 Source #

icod_ :: Set a -> S Word32 Source #

value :: Word32 -> R (Set a) Source #

EmbPrj a => EmbPrj (Maybe a) Source # 
Instance details

Methods

icode :: Maybe a -> S Word32 Source #

icod_ :: Maybe a -> S Word32 Source #

value :: Word32 -> R (Maybe a) Source #

EmbPrj a => EmbPrj (Maybe a) Source # 
Instance details

Methods

icode :: Maybe a -> S Word32 Source #

icod_ :: Maybe a -> S Word32 Source #

value :: Word32 -> R (Maybe a) Source #

EmbPrj a => EmbPrj [a] Source # 
Instance details

Methods

icode :: [a] -> S Word32 Source #

icod_ :: [a] -> S Word32 Source #

value :: Word32 -> R [a] Source #

(EmbPrj k, EmbPrj v, EmbPrj (Tag v)) => EmbPrj (BiMap k v) Source # 
Instance details

Methods

icode :: BiMap k v -> S Word32 Source #

icod_ :: BiMap k v -> S Word32 Source #

value :: Word32 -> R (BiMap k v) Source #

(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Trie a b) Source # 
Instance details

Methods

icode :: Trie a b -> S Word32 Source #

icod_ :: Trie a b -> S Word32 Source #

value :: Word32 -> R (Trie a b) Source #

(EmbPrj a, Typeable b) => EmbPrj (WithDefault' a b) Source # 
Instance details

Methods

icode :: WithDefault' a b -> S Word32 Source #

icod_ :: WithDefault' a b -> S Word32 Source #

value :: Word32 -> R (WithDefault' a b) Source #

(Ord a, EmbPrj a, EmbPrj b) => EmbPrj (Map a b) Source # 
Instance details

Methods

icode :: Map a b -> S Word32 Source #

icod_ :: Map a b -> S Word32 Source #

value :: Word32 -> R (Map a b) Source #

(EmbPrj a, EmbPrj b) => EmbPrj (Either a b) Source # 
Instance details

Methods

icode :: Either a b -> S Word32 Source #

icod_ :: Either a b -> S Word32 Source #

value :: Word32 -> R (Either a b) Source #

(EmbPrj a, EmbPrj b) => EmbPrj (Pair a b) Source # 
Instance details

Methods

icode :: Pair a b -> S Word32 Source #

icod_ :: Pair a b -> S Word32 Source #

value :: Word32 -> R (Pair a b) Source #

(Eq k, Hashable k, EmbPrj k, EmbPrj v) => EmbPrj (HashMap k v) Source # 
Instance details

Methods

icode :: HashMap k v -> S Word32 Source #

icod_ :: HashMap k v -> S Word32 Source #

value :: Word32 -> R (HashMap k v) Source #

(EmbPrj a, EmbPrj b) => EmbPrj (a, b) Source # 
Instance details

Methods

icode :: (a, b) -> S Word32 Source #

icod_ :: (a, b) -> S Word32 Source #

value :: Word32 -> R (a, b) Source #

(EmbPrj a, EmbPrj b, EmbPrj c) => EmbPrj (a, b, c) Source # 
Instance details

Methods

icode :: (a, b, c) -> S Word32 Source #

icod_ :: (a, b, c) -> S Word32 Source #

value :: Word32 -> R (a, b, c) Source #