quantification-0.5.0: Rage against the quantification

Data.Binary.Lifted

class Binary1 f where Source #

Minimal complete definition

liftPut, liftGet

Methods

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

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

Defined in Data.Binary.Lifted

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

liftGet :: Get a -> Get [a] Source #

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

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

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

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

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

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