Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Flat.Decoder.Types

Description

Strict Decoder Types

Synopsis

Documentation

newtype Get a Source #

A decoder.

Given:

Returns:

Constructors

Get
Fields runGet ∷ Ptr Word8 → S → IO (GetResult a)

Instances details

MonadFail Get Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods fail ∷ String → Get a Source #
Applicative Get Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods pure ∷ a → Get a Source # (<>) ∷ Get (a → b) → Get a → Get b Source # liftA2 ∷ (a → b → c) → Get a → Get b → Get c Source # (>) ∷ Get a → Get b → Get b Source # (<*) ∷ Get a → Get b → Get a Source #
Functor Get Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods fmap ∷ (a → b) → Get a → Get b Source # (<$) ∷ a → Get b → Get a Source #
Monad Get Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods (>>=) ∷ Get a → (a → Get b) → Get b Source # (>>) ∷ Get a → Get b → Get b Source # return ∷ a → Get a Source #
Show (Get a) Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods showsPrec ∷ Int → Get a → ShowS Source # show ∷ Get a → String Source # showList ∷ [Get a] → ShowS Source #
NFData (Get a) Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods rnf ∷ Get a → () Source #

Decoder state

Constructors

S
Fields currPtr ∷ !(Ptr Word8) usedBits ∷ !Int

Instances details

Show S Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods showsPrec ∷ Int → S → ShowS Source # show ∷ S → String Source # showList ∷ [S] → ShowS Source #
Eq S Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods (==) ∷ S → S → Bool Source # (/=) ∷ S → S → Bool Source #
Ord S Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods compare ∷ S → S → Ordering Source # (<) ∷ S → S → Bool Source # (<=) ∷ S → S → Bool Source # (>) ∷ S → S → Bool Source # (>=) ∷ S → S → Bool Source # max ∷ S → S → S Source # min ∷ S → S → S Source #

Constructors

Instances details

Functor GetResult Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods fmap ∷ (a → b) → GetResult a → GetResult b Source # (<$) ∷ a → GetResult b → GetResult a Source #

A decoded value

An exception during decoding

Constructors

Instances details

Exception DecodeException Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods toException ∷ DecodeException → SomeException Source # fromException ∷ SomeException → Maybe DecodeException Source # displayException ∷ DecodeException → String Source #
Show DecodeException Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods showsPrec ∷ Int → DecodeException → ShowS Source # show ∷ DecodeException → String Source # showList ∷ [DecodeException] → ShowS Source #
Eq DecodeException Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods (==) ∷ DecodeException → DecodeException → Bool Source # (/=) ∷ DecodeException → DecodeException → Bool Source #
Ord DecodeException Source #
Instance details Defined in PlutusCore.Flat.Decoder.Types Methods compare ∷ DecodeException → DecodeException → Ordering Source # (<) ∷ DecodeException → DecodeException → Bool Source # (<=) ∷ DecodeException → DecodeException → Bool Source # (>) ∷ DecodeException → DecodeException → Bool Source # (>=) ∷ DecodeException → DecodeException → Bool Source # max ∷ DecodeException → DecodeException → DecodeException Source # min ∷ DecodeException → DecodeException → DecodeException Source #