cardano-ledger-shelley-ma-test

Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.ShelleyMA.Serialisation.Timelocks

Documentation

timelockTests ∷ TestTree Source #

data MultiSig era Source #

Instances

Instances details

(ShelleyEraScript era, NativeScript era ~ MultiSig era) ⇒ Arbitrary (MultiSig era)

Instance details

Defined in Test.Cardano.Ledger.Shelley.Arbitrary

Methods

arbitrary ∷ Gen (MultiSig era) Source #

shrink ∷ MultiSig era → [MultiSig era] Source #

(ShelleyEraScript era, NativeScript era ~ MultiSig era) ⇒ FromJSON (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

parseJSON ∷ Value → Parser (MultiSig era) Source #

parseJSONList ∷ Value → Parser [MultiSig era] Source #

omittedField ∷ Maybe (MultiSig era) Source #

(ShelleyEraScript era, NativeScript era ~ MultiSig era) ⇒ ToJSON (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

toJSON ∷ MultiSig era → Value Source #

toEncoding ∷ MultiSig era → Encoding Source #

toJSONList ∷ [MultiSig era] → Value Source #

toEncodingList ∷ [MultiSig era] → Encoding Source #

omitField ∷ MultiSig era → Bool Source #

Typeable era ⇒ ToCBOR (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

toCBOR ∷ MultiSig era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MultiSig era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MultiSig era] → Size Source #

Era era ⇒ DecCBOR (Annotator (MultiSig era))

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

decCBOR ∷ Decoder s (Annotator (MultiSig era)) Source #

dropCBOR ∷ Proxy (Annotator (MultiSig era)) → Decoder s () Source #

label ∷ Proxy (Annotator (MultiSig era)) → Text Source #

Era era ⇒ DecCBOR (MultiSig era)

Instance details

Defined in Test.Cardano.Ledger.Shelley.Binary.Annotator

Methods

decCBOR ∷ Decoder s (MultiSig era) Source #

dropCBOR ∷ Proxy (MultiSig era) → Decoder s () Source #

label ∷ Proxy (MultiSig era) → Text Source #

Era era ⇒ EncCBOR (MultiSig era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

encCBOR ∷ MultiSig era → Encoding Source #

SafeToHash (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

originalBytes ∷ MultiSig era → ByteString Source #

originalBytesSize ∷ MultiSig era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → MultiSig era → SafeHash i Source #

EqRaw (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

eqRaw ∷ MultiSig era → MultiSig era → Bool Source #

Memoized (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type RawType (MultiSig era)
Instance details Defined in Cardano.Ledger.Shelley.Scripts type RawType (MultiSig era) = MultiSigRaw era

Methods

getMemoBytes ∷ MultiSig era → MemoBytes (RawType (MultiSig era))

wrapMemoBytes ∷ MemoBytes (RawType (MultiSig era)) → MultiSig era

NFData (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

rnf ∷ MultiSig era → () #

Generic (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type Rep (MultiSig era)
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Rep (MultiSig era) = D1 ('MetaData "MultiSig" "Cardano.Ledger.Shelley.Scripts" "cardano-ledger-shelley-1.21.0.0-inplace" 'True) (C1 ('MetaCons "MkMultiSig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MultiSigRaw era)))))

Methods

from ∷ MultiSig era → Rep (MultiSig era) x #

to ∷ Rep (MultiSig era) x → MultiSig era #

Show (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

showsPrec ∷ Int → MultiSig era → ShowS #

show ∷ MultiSig era → String #

showList ∷ [MultiSig era] → ShowS #

Eq (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

(==) ∷ MultiSig era → MultiSig era → Bool #

(/=) ∷ MultiSig era → MultiSig era → Bool #

Ord (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

compare ∷ MultiSig era → MultiSig era → Ordering #

(<) ∷ MultiSig era → MultiSig era → Bool #

(<=) ∷ MultiSig era → MultiSig era → Bool #

(>) ∷ MultiSig era → MultiSig era → Bool #

(>=) ∷ MultiSig era → MultiSig era → Bool #

max ∷ MultiSig era → MultiSig era → MultiSig era #

min ∷ MultiSig era → MultiSig era → MultiSig era #

Typeable era ⇒ NoThunks (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Methods

noThunks ∷ Context → MultiSig era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → MultiSig era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (MultiSig era) → String Source #

ToExpr (MultiSig era)

Instance details

Defined in Test.Cardano.Ledger.Shelley.TreeDiff

Methods

toExpr ∷ MultiSig era → Expr Source #

listToExpr ∷ [MultiSig era] → Expr Source #

type RawType (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type RawType (MultiSig era) = MultiSigRaw era

type Rep (MultiSig era)

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

type Rep (MultiSig era) = D1 ('MetaData "MultiSig" "Cardano.Ledger.Shelley.Scripts" "cardano-ledger-shelley-1.21.0.0-inplace" 'True) (C1 ('MetaCons "MkMultiSig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MultiSigRaw era)))))