Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data SizePrefix (pfx :: Type) Source #
Instances
(KnownNat (Max pfx), BLen a, Typeable pfx) => Predicate (SizePrefix pfx :: Type) a Source # | |
Defined in Binrep.Type.Prefix.Size validate :: Proxy (SizePrefix pfx) -> a -> Maybe RefineException # | |
IsCBLen (SizePrefixed pfx a :: Type) Source # | |
Defined in Binrep.Type.Prefix.Size type CBLen (SizePrefixed pfx a) :: Natural Source # | |
(Prefix pfx, BLen a, BLen pfx) => BLen (SizePrefixed pfx a) Source # | |
Defined in Binrep.Type.Prefix.Size blen :: SizePrefixed pfx a -> Int Source # | |
(Prefix pfx, GetSize a, Get pfx) => Get (SizePrefixed pfx a) Source # | |
Defined in Binrep.Type.Prefix.Size get :: Getter (SizePrefixed pfx a) Source # | |
(Prefix pfx, BLen a, Put pfx, Put a) => Put (SizePrefixed pfx a) Source # | |
Defined in Binrep.Type.Prefix.Size put :: SizePrefixed pfx a -> Putter Source # | |
type CBLen (SizePrefixed pfx a :: Type) Source # | |
Defined in Binrep.Type.Prefix.Size |
type SizePrefixed pfx = Refined (SizePrefix pfx) Source #
class GetSize a where Source #
Instances
GetSize ByteString Source # | |
Defined in Binrep.Type.Prefix.Size | |
GetSize (Thin ByteString) Source # | |
Defined in Binrep.Type.Prefix.Size |