Data.Binary.Lifted

Documentation

class Binary1 f where

Methods

liftPut :: (a -> Put) -> f a -> Put

liftGet :: Get a -> Get (f a)

Instances

Binary1 Maybe

Defined in Data.Binary.Lifted

Methods

liftPut :: (a -> Put) -> Maybe a -> Put

liftGet :: Get a -> Get (Maybe a)

Binary1 List

Defined in Data.Binary.Lifted

Methods

liftPut :: (a -> Put) -> [a] -> Put

liftGet :: Get a -> Get [a]

(Binary1 f, Binary1 g) => Binary1 (Compose f g)

Defined in Data.Binary.Lifted

Methods

liftPut :: (a -> Put) -> Compose f g a -> Put

liftGet :: Get a -> Get (Compose f g a)

put1 :: (Binary1 f, Binary a) => f a -> Put

get1 :: (Binary1 f, Binary a) => Get (f a)