Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Codec.Extras.SerialiseViaFlat
Synopsis
- newtype SerialiseViaFlat a = SerialiseViaFlat {}
- decodeViaFlatWith ∷ Get a → Decoder s a
- data DeserialiseFailureInfo = DeserialiseFailureInfo {}
- data DeserialiseFailureReason
- readDeserialiseFailureInfo ∷ DeserialiseFailure → DeserialiseFailureInfo
Documentation
newtype SerialiseViaFlat a Source #
Newtype to provide Serialise
instances for types with a Flat
instance
that just encodes the flat-serialized value as a CBOR bytestring
Constructors
SerialiseViaFlat | |
Fields |
Instances
Flat a ⇒ Serialise (SerialiseViaFlat a) Source # | |
Defined in Codec.Extras.SerialiseViaFlat Methods encode ∷ SerialiseViaFlat a → Encoding Source # decode ∷ Decoder s (SerialiseViaFlat a) Source # encodeList ∷ [SerialiseViaFlat a] → Encoding Source # decodeList ∷ Decoder s [SerialiseViaFlat a] Source # |
decodeViaFlatWith ∷ Get a → Decoder s a Source #
data DeserialiseFailureInfo Source #
Similar to DeserialiseFailure
, with the difference that plain
string reason messages are turned into the datatype: DeserialiseFailureReason
.
Constructors
DeserialiseFailureInfo | |
Fields |
Instances
Show DeserialiseFailureInfo Source # | |
Defined in Codec.Extras.SerialiseViaFlat | |
Eq DeserialiseFailureInfo Source # | |
Defined in Codec.Extras.SerialiseViaFlat | |
Pretty DeserialiseFailureInfo Source # | |
Defined in Codec.Extras.SerialiseViaFlat Methods pretty ∷ DeserialiseFailureInfo → Doc ann Source # prettyList ∷ [DeserialiseFailureInfo] → Doc ann Source # |
data DeserialiseFailureReason Source #
The reason of the cbor failure as a datatype, not as a plain string.
Constructors
EndOfInput | Not enough input provided |
ExpectedBytes | The bytes inside the input are malformed. |
OtherReason String | This is either a cbor failure that we (plutus) are not aware of,
or an underlying flat failure. We use whatever message |
Instances
Show DeserialiseFailureReason Source # | |
Defined in Codec.Extras.SerialiseViaFlat | |
Eq DeserialiseFailureReason Source # | |
Defined in Codec.Extras.SerialiseViaFlat | |
Pretty DeserialiseFailureReason Source # | |
Defined in Codec.Extras.SerialiseViaFlat Methods pretty ∷ DeserialiseFailureReason → Doc ann Source # prettyList ∷ [DeserialiseFailureReason] → Doc ann Source # |
readDeserialiseFailureInfo ∷ DeserialiseFailure → DeserialiseFailureInfo Source #
The errors returned by cborg
are plain strings (untyped). With this
function we try to map onto datatypes, those cborg error messages that we are
interested in.
Currently we are only interested in error messages returned by the
decodeBytes
decoder;
see scriptCBORDecoder
.