Safe Haskell	Safe-Inferred
Language	Haskell2010

Codec.Extras.SerialiseViaFlat

Synopsis

newtype SerialiseViaFlat a = SerialiseViaFlat {
- unSerialiseViaFlat :: a
}
decodeViaFlatWith :: Get a -> Serialise instances for types with a Flat instance that just encodes the flat-serialized value as a CBOR bytestring

Constructors

SerialiseViaFlat
Fields unSerialiseViaFlat :: a

Instances

Instances details

Get a -> DeserialiseFailure, with the difference that plain string reason messages are turned into the datatype: DeserialiseFailureReason.

Constructors

DeserialiseFailureInfo
Fields dfOffset :: ByteOffset dfReason :: DeserialiseFailureReason

Instances

Instances details

Show DeserialiseFailureInfo #
Instance details Defined in Codec.Extras.SerialiseViaFlat Methods showsPrec :: Int -> DeserialiseFailureInfo -> ShowS # show :: DeserialiseFailureInfo -> String # showList :: [DeserialiseFailureInfo] -> ShowS #
Eq DeserialiseFailureInfo #
Instance details Defined in Codec.Extras.SerialiseViaFlat Methods (==) :: DeserialiseFailureInfo -> DeserialiseFailureInfo -> Bool # (/=) :: DeserialiseFailureInfo -> DeserialiseFailureInfo -> Bool #
Pretty DeserialiseFailureInfo #
Instance details Defined in Codec.Extras.SerialiseViaFlat Methods pretty :: DeserialiseFailureInfo -> Doc ann # prettyList :: [DeserialiseFailureInfo] -> Doc ann #

data DeserialiseFailureReason #

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 `cborg` or flat returns.

Instances

Instances details

DeserialiseFailure -> DeserialiseFailureInfo #

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.