quantification-0.5.0: Rage against the quantification

Safe HaskellSafe
LanguageHaskell2010

Data.Binary.Lifted

Documentation

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 #

Instances
Binary1 [] Source # 
Instance details

Defined in Data.Binary.Lifted

Methods

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

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

Binary1 Maybe Source # 
Instance details

Defined in Data.Binary.Lifted

Methods

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

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

(Binary1 f, Binary1 g) => Binary1 (Compose f g) Source # 
Instance details

Defined in Data.Binary.Lifted

Methods

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 #