Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- type GetterC = Parser E
- class GetC a where
- runGetCBs :: forall a. (GetC a, KnownNat (CBLen a)) => ByteString -> Either E a
- unsafeRunGetC' :: forall a buf. GetC a => (forall e. buf -> Parser e a -> Result e a) -> buf -> Either E a
- unsafeRunGetCPtr :: forall a. GetC a => Ptr Word8 -> Either E a
- getGenericStruct :: forall a. (Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetterC a
- eCBase :: EBase -> GetterC a
- getECBase :: GetterC a -> EBase -> GetterC a
Documentation
constant size parser
Instances
unsafeRunGetC' :: forall a buf. GetC a => (forall e. buf -> Parser e a -> Result e a) -> buf -> Either E a Source #
doesn't check len
getGenericStruct :: forall a. (Generic a, GParse GetC (Rep a), GAssertNotVoid a, GAssertNotSum a) => GetterC a Source #
Serialize a term of the struct-like type a
via its Generic
instance.