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