binrep-0.8.0: Encode precise binary representations directly in types
Safe HaskellSafe-Inferred
LanguageGHC2021

Binrep.Common.Via.Generically.NonSum

Documentation

newtype GenericallyNonSum a Source #

Constructors

GenericallyNonSum 

Fields

Instances

Instances details
Generic a => IsCBLen (GenericallyNonSum a :: Type) Source #

Deriving via this instance necessitates UndecidableInstances.

Instance details

Defined in Binrep.CBLen

Associated Types

type CBLen (GenericallyNonSum a) :: Natural Source #

(Generic a, GTraverseNonSum Get (Rep a), GAssertNotVoid a, GAssertNotSum a) => Get (GenericallyNonSum a) Source # 
Instance details

Defined in Binrep.Get

Methods

get :: Getter (GenericallyNonSum a) Source #

(Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetC (GenericallyNonSum a) Source # 
Instance details

Defined in Binrep.Get.Struct

Methods

getC :: GetterC (GenericallyNonSum a) Source #

(Generic a, GFoldMapNonSum Put (Rep a), GAssertNotVoid a, GAssertNotSum a) => Put (GenericallyNonSum a) Source # 
Instance details

Defined in Binrep.Put

Methods

put :: GenericallyNonSum a -> Putter Source #

(Generic a, GPoke PutC (Rep a), GAssertNotVoid a, GAssertNotSum a) => PutC (GenericallyNonSum a) Source # 
Instance details

Defined in Binrep.Put.Struct

Methods

putC :: GenericallyNonSum a -> PutterC Source #

type CBLen (GenericallyNonSum a :: Type) Source # 
Instance details

Defined in Binrep.CBLen

type CBLen (GenericallyNonSum a :: Type) = CBLenGenericNonSum a