| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Dahdit.Generic
Synopsis
- newtype ViaGeneric a = ViaGeneric {
- unViaGeneric :: a
- newtype ViaStaticGeneric a = ViaStaticGeneric {
- unViaStaticGeneric :: a
Documentation
newtype ViaGeneric a Source #
Use: deriving (Binary) via (ViaGeneric Foo)
Constructors
| ViaGeneric | |
Fields
| |
Instances
| (Generic t, GByteSized (Rep t), GBinary (Rep t)) => Binary (ViaGeneric t) Source # | |
Defined in Dahdit.Generic Methods byteSize :: ViaGeneric t -> ByteCount Source # get :: Get (ViaGeneric t) Source # put :: ViaGeneric t -> Put Source # | |
newtype ViaStaticGeneric a Source #
Use: deriving (StaticByteSized, Binary) via (ViaStaticGeneric Foo)
Constructors
| ViaStaticGeneric | |
Fields
| |
Instances
| (Generic t, GStaticByteSized (Rep t), GBinary (Rep t)) => Binary (ViaStaticGeneric t) Source # | |
Defined in Dahdit.Generic Methods byteSize :: ViaStaticGeneric t -> ByteCount Source # get :: Get (ViaStaticGeneric t) Source # put :: ViaStaticGeneric t -> Put Source # | |
| (GStaticByteSized (Rep t), KnownNat (GStaticSize (Rep t))) => StaticByteSized (ViaStaticGeneric t) Source # | |
Defined in Dahdit.Generic Associated Types type StaticSize (ViaStaticGeneric t) :: Nat Source # Methods staticByteSize :: Proxy (ViaStaticGeneric t) -> ByteCount Source # | |
| type StaticSize (ViaStaticGeneric t) Source # | |
Defined in Dahdit.Generic | |