binrep-instances
Safe HaskellNone
LanguageGHC2021

Binrep.Instances.Strongweak.SWChain

Description

binrep instances for SWChain where Cls a => Cls (SWChain n a).

SW and SWChain can help define binreppable data types plus an "easy to work with" representation in one fell swoop. SWChain is a meaningless newtype only there to help strongweak do its work (without having to write instances manually). So here, we define a bunch of recursive instances that use the inner type.

Orphan instances

IsCBLen a => IsCBLen (SWChain n a :: Type) Source # 
Instance details

Associated Types

type CBLen (SWChain n a :: Type) 
Instance details

Defined in Binrep.Instances.Strongweak.SWChain

type CBLen (SWChain n a :: Type) = CBLen a
BLen a => BLen (SWChain n a) Source # 
Instance details

Methods

blen :: SWChain n a -> Int #

Get a => Get (SWChain n a) Source # 
Instance details

Methods

get :: Getter (SWChain n a) #

GetC a => GetC (SWChain n a) Source # 
Instance details

Methods

getC :: GetterC (SWChain n a) #

Put a => Put (SWChain n a) Source # 
Instance details

Methods

put :: SWChain n a -> Putter #

PutC a => PutC (SWChain n a) Source # 
Instance details

Methods

putC :: SWChain n a -> PutterC #