Safe Haskell	None
Language	Haskell2010

Agda.Utils.Serialize

Documentation

class Serialize a where Source #

Methods

size :: a -> Int Source #

put :: a -> Put Source #

get :: Get a Source #

Instances

Instances details

Serialize Node Source #
Instance details Defined in Agda.TypeChecking.Serialise.Node Methods size :: Node -> Int Source # put :: Node -> Put Source # get :: Get Node Source #
Serialize VarSet Source #
Instance details Defined in Agda.Utils.VarSet Methods size :: VarSet -> Int Source # put :: VarSet -> Put Source # get :: Get VarSet Source #
Serialize Word16 Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Word16 -> Int Source # put :: Word16 -> Put Source # get :: Get Word16 Source #
Serialize Word32 Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Word32 -> Int Source # put :: Word32 -> Put Source # get :: Get Word32 Source #
Serialize Word64 Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Word64 -> Int Source # put :: Word64 -> Put Source # get :: Get Word64 Source #
Serialize Word8 Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Word8 -> Int Source # put :: Word8 -> Put Source # get :: Get Word8 Source #
Serialize Text Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Text -> Int Source # put :: Text -> Put Source # get :: Get Text Source #
Serialize Text Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Text -> Int Source # put :: Text -> Put Source # get :: Get Text Source #
Serialize Integer Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Integer -> Int Source # put :: Integer -> Put Source # get :: Get Integer Source #
Serialize () Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: () -> Int Source # put :: () -> Put Source # get :: Get () Source #
Serialize Char Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Char -> Int Source # put :: Char -> Put Source # get :: Get Char Source #
Serialize Double Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Double -> Int Source # put :: Double -> Put Source # get :: Get Double Source #
Serialize Int Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Int -> Int Source # put :: Int -> Put Source # get :: Get Int Source #
Serialize Word Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: Word -> Int Source # put :: Word -> Put Source # get :: Get Word Source #
Serialize a => Serialize (Array a) Source #
Instance details Defined in Agda.Utils.MinimalArray.Lifted Methods size :: Array a -> Int Source # put :: Array a -> Put Source # get :: Get (Array a) Source #
Serialize a => Serialize [a] Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: [a] -> Int Source # put :: [a] -> Put Source # get :: Get [a] Source #
(Serialize a, Serialize b) => Serialize (a, b) Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: (a, b) -> Int Source # put :: (a, b) -> Put Source # get :: Get (a, b) Source #
(Serialize a, Serialize b, Serialize c) => Serialize (a, b, c) Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: (a, b, c) -> Int Source # put :: (a, b, c) -> Put Source # get :: Get (a, b, c) Source #
(Serialize a, Serialize b, Serialize c, Serialize d) => Serialize (a, b, c, d) Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: (a, b, c, d) -> Int Source # put :: (a, b, c, d) -> Put Source # get :: Get (a, b, c, d) Source #
(Serialize a, Serialize b, Serialize c, Serialize d, Serialize e) => Serialize (a, b, c, d, e) Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e) -> Int Source # put :: (a, b, c, d, e) -> Put Source # get :: Get (a, b, c, d, e) Source #
(Serialize a, Serialize b, Serialize c, Serialize d, Serialize e, Serialize f) => Serialize (a, b, c, d, e, f) Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e, f) -> Int Source # put :: (a, b, c, d, e, f) -> Put Source # get :: Get (a, b, c, d, e, f) Source #
(Serialize a, Serialize b, Serialize c, Serialize d, Serialize e, Serialize f, Serialize g) => Serialize (a, b, c, d, e, f, g) Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e, f, g) -> Int Source # put :: (a, b, c, d, e, f, g) -> Put Source # get :: Get (a, b, c, d, e, f, g) Source #
(Serialize a, Serialize b, Serialize c, Serialize d, Serialize e, Serialize f, Serialize g, Serialize h) => Serialize (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e, f, g, h) -> Int Source # put :: (a, b, c, d, e, f, g, h) -> Put Source # get :: Get (a, b, c, d, e, f, g, h) Source #

serialize :: Serialize a => a -> IO ByteString Source #

deserialize :: Serialize a => ByteString -> IO a Source #

serializePure :: Serialize a => a -> ByteString Source #

deserializePure :: Serialize a => ByteString -> a Source #

ensure :: Int -> (Addr# -> Get a) -> Get a Source #

newtype Get a Source #

Constructors

Get
Fields unGet :: Addr# -> Addr# -> RW -> (# Addr#, RW, a #)

Instances

Instances details

Applicative Get Source #
Instance details Defined in Agda.Utils.Serialize Methods pure :: a -> Get a # (<>) :: Get (a -> b) -> Get a -> Get b # liftA2 :: (a -> b -> c) -> Get a -> Get b -> Get c # (>) :: Get a -> Get b -> Get b # (<*) :: Get a -> Get b -> Get a #
Functor Get Source #
Instance details Defined in Agda.Utils.Serialize Methods fmap :: (a -> b) -> Get a -> Get b # (<$) :: a -> Get b -> Get a #
Monad Get Source #
Instance details Defined in Agda.Utils.Serialize Methods (>>=) :: Get a -> (a -> Get b) -> Get b # (>>) :: Get a -> Get b -> Get b # return :: a -> Get a #

newtype Put Source #

Constructors

Put
Fields unPut :: Addr# -> RW -> (# Addr#, RW #)

Instances

Instances details

Monoid Put Source #
Instance details Defined in Agda.Utils.Serialize Methods mempty :: Put # mappend :: Put -> Put -> Put # mconcat :: [Put] -> Put #
Semigroup Put Source #
Instance details Defined in Agda.Utils.Serialize Methods (<>) :: Put -> Put -> Put # sconcat :: NonEmpty Put -> Put # stimes :: Integral b => b -> Put -> Put #

putByteArray# :: ByteArray# -> Int# -> Int# -> Put Source #

getByteArray# :: Int# -> (ByteArray# -> Get a) -> Get a Source #