quantification-0.8: Rage against the quantification
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Binary.Lifted

Documentation

class Binary1 f where Source #

Methods

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

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

Instances

Instances details
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 List Source # 
Instance details

Defined in Data.Binary.Lifted

Methods

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

liftGet :: Get a -> Get [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 #