Data.Binary.Defer

Binary serialisation of deferred values

Documentation

class BinaryDefer a where

Methods

bothDefer :: (Handle -> a -> IO [(Int, IO ())], Handle -> IO a)

putDefer :: Handle -> a -> IO [(Int, IO ())]

get :: Handle -> IO a

Instances

BinaryDefer Bool

BinaryDefer Char

BinaryDefer Int

BinaryDefer a => BinaryDefer [a]

BinaryDefer a => BinaryDefer (Defer a)

BinaryDeferStatic a => BinaryDefer (ListDefer a)

put :: BinaryDefer a => Handle -> a -> IO ()

class BinaryDefer a => BinaryDeferStatic a where

Methods

getSize :: a -> Int

Must be a constant, must not examine first argument

Instances

BinaryDeferStatic Bool

BinaryDeferStatic Char

BinaryDeferStatic Int

BinaryDefer a => BinaryDeferStatic (Defer a)

defer :: [a -> Pending a PendingSome] -> Both a

newtype Defer x

Constructors

Defer

Fields

fromDefer :: x

Instances

Show a => Show (Defer a)

BinaryDefer a => BinaryDeferStatic (Defer a)

BinaryDefer a => BinaryDefer (Defer a)

unit :: a -> Pending a PendingNone

(<<) :: BinaryDefer a => Pending (a -> b) p -> a -> Pending b PendingSome

(<<~) :: BinaryDefer a => Pending (a -> b) p -> a -> Pending b PendingSome

(<<!) :: Pending a p -> a -> Pending a PendingSome