| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Binary.FixedSizeCodec
Documentation
class KnownNat (FixedSize a) ⇒ FixedSizeCodec a where Source #
Methods
rawEncodeFixedSized ∷ a → ByteString Source #
rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m a Source #
decodeFixedSized ∷ FixedSizeCodec a ⇒ Decoder s a Source #
encodeFixedSized ∷ FixedSizeCodec a ⇒ a → Encoding Source #
fixedSize ∷ ∀ a proxy. FixedSizeCodec a ⇒ proxy a → Word Source #
guardFixedSized ∷ ∀ a m. (FixedSizeCodec a, MonadFail m, Typeable a) ⇒ ByteString → m a → m a Source #