Composite.Record.Binary

Orphan instances

(Binary x, Binary (Record xs)) => Binary (Record (x ': xs))

Methods

put :: Record (x ': xs) -> Put

get :: Get (Record (x ': xs))

putList :: [Record (x ': xs)] -> Put

Binary (Record ([] :: [Type]))

Methods

put :: Record [] -> Put

get :: Get (Record [])

putList :: [Record []] -> Put

Binary a => Binary (s :-> a)

Methods

put :: (s :-> a) -> Put

get :: Get (s :-> a)

putList :: [s :-> a] -> Put