Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.TxBody

Synopsis

class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
data AllegraTxBody e where
- pattern AllegraTxBody ∷ ∀ era. (EraTxOut era, EraTxCert era) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → AllegraTxBody era
emptyAllegraTxBodyRaw ∷ Monoid ma ⇒ AllegraTxBodyRaw ma era
data AllegraTxBodyRaw ma era = AllegraTxBodyRaw {
- atbrInputs ∷ !(Set TxIn)
- atbrOutputs ∷ !(StrictSeq (TxOut era))
- atbrCerts ∷ !(StrictSeq (TxCert era))
- atbrWithdrawals ∷ !Withdrawals
- atbrTxFee ∷ !Coin
- atbrValidityInterval ∷ !ValidityInterval
- atbrUpdate ∷ !(StrictMaybe (Update era))
- atbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- atbrMint ∷ !ma
}
data StrictMaybe a
- = SNothing
- | SJust !a
data ValidityInterval = ValidityInterval {
- invalidBefore ∷ !(StrictMaybe SlotNo)
- invalidHereafter ∷ !(StrictMaybe SlotNo)
}

Documentation

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #

Instances

Instances details

AllegraEraTxBody AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #

data AllegraTxBody e where Source #

Bundled Patterns

pattern AllegraTxBody ∷ ∀ era. (EraTxOut era, EraTxCert era) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → AllegraTxBody era

A pattern to keep the newtype and the MemoBytes hidden

Instances

Instances details

Generic (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Associated Types type Rep (AllegraTxBody era) ∷ Type → Type # Methods from ∷ AllegraTxBody era → Rep (AllegraTxBody era) x # to ∷ Rep (AllegraTxBody era) x → AllegraTxBody era #
(Era era, Show (TxOut era), Show (TxCert era), Compactible (Value era), Show (PParamsUpdate era)) ⇒ Show (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods showsPrec ∷ Int → AllegraTxBody era → ShowS # show ∷ AllegraTxBody era → String # showList ∷ [AllegraTxBody era] → ShowS #
Typeable e ⇒ ToCBOR (AllegraTxBody e) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods toCBOR ∷ AllegraTxBody e → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxBody e) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxBody e] → Size Source #
AllegraEraTxBody e ⇒ DecCBOR (AllegraTxBody e) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods decCBOR ∷ Decoder s (AllegraTxBody e) Source # dropCBOR ∷ Proxy (AllegraTxBody e) → Decoder s () Source # label ∷ Proxy (AllegraTxBody e) → Text Source #
AllegraEraTxBody era ⇒ DecCBOR (Annotator (AllegraTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods decCBOR ∷ Decoder s (Annotator (AllegraTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (AllegraTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (AllegraTxBody era)) → Text Source #
Era era ⇒ EncCBOR (AllegraTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods encCBOR ∷ AllegraTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxBody era] → Size Source #
SafeToHash (AllegraTxBody e) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods originalBytes ∷ AllegraTxBody e → ByteString Source # originalBytesSize ∷ AllegraTxBody e → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AllegraTxBody e → SafeHash i Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods eqRaw ∷ AllegraTxBody era → AllegraTxBody era → Bool Source #
Memoized (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Associated Types type RawType (AllegraTxBody era) = (r ∷ Type) Source # Methods getMemoBytes ∷ AllegraTxBody era → MemoBytes (RawType (AllegraTxBody era)) wrapMemoBytes ∷ MemoBytes (RawType (AllegraTxBody era)) → AllegraTxBody era
(NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era), Era era) ⇒ NFData (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods rnf ∷ AllegraTxBody era → () #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ Eq (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods (==) ∷ AllegraTxBody era → AllegraTxBody era → Bool # (/=) ∷ AllegraTxBody era → AllegraTxBody era → Bool #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods noThunks ∷ Context → AllegraTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AllegraTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AllegraTxBody era) → String Source #
Era era ⇒ HashAnnotated (AllegraTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods hashAnnotated ∷ AllegraTxBody era → SafeHash EraIndependentTxBody Source #
type Rep (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type Rep (AllegraTxBody era) = D1 ('MetaData "AllegraTxBody" "Cardano.Ledger.Allegra.TxBody.Internal" "cardano-ledger-allegra-1.7.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () era)))))
type RawType (AllegraTxBody era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type RawType (AllegraTxBody era) = AllegraTxBodyRaw () era

emptyAllegraTxBodyRaw ∷ Monoid ma ⇒ AllegraTxBodyRaw ma era Source #

data AllegraTxBodyRaw ma era Source #

Constructors

AllegraTxBodyRaw
Fields atbrInputs ∷ !(Set TxIn) atbrOutputs ∷ !(StrictSeq (TxOut era)) atbrCerts ∷ !(StrictSeq (TxCert era)) atbrWithdrawals ∷ !Withdrawals atbrTxFee ∷ !Coin atbrValidityInterval ∷ !ValidityInterval atbrUpdate ∷ !(StrictMaybe (Update era)) atbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash) atbrMint ∷ !ma

Instances

Instances details

AllegraEraTxBody era ⇒ DecCBOR (Annotator (AllegraTxBodyRaw () era)) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods decCBOR ∷ Decoder s (Annotator (AllegraTxBodyRaw () era)) Source # dropCBOR ∷ Proxy (Annotator (AllegraTxBodyRaw () era)) → Decoder s () Source # label ∷ Proxy (Annotator (AllegraTxBodyRaw () era)) → Text Source #
Generic (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Associated Types type Rep (AllegraTxBodyRaw ma era) ∷ Type → Type # Methods from ∷ AllegraTxBodyRaw ma era → Rep (AllegraTxBodyRaw ma era) x # to ∷ Rep (AllegraTxBodyRaw ma era) x → AllegraTxBodyRaw ma era #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era), Show ma) ⇒ Show (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods showsPrec ∷ Int → AllegraTxBodyRaw ma era → ShowS # show ∷ AllegraTxBodyRaw ma era → String # showList ∷ [AllegraTxBodyRaw ma era] → ShowS #
(DecCBOR ma, Monoid ma, AllegraEraTxBody era) ⇒ DecCBOR (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods decCBOR ∷ Decoder s (AllegraTxBodyRaw ma era) Source # dropCBOR ∷ Proxy (AllegraTxBodyRaw ma era) → Decoder s () Source # label ∷ Proxy (AllegraTxBodyRaw ma era) → Text Source #
(EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) ⇒ EncCBOR (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods encCBOR ∷ AllegraTxBodyRaw ma era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxBodyRaw ma era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxBodyRaw ma era] → Size Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era), NFData ma) ⇒ NFData (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods rnf ∷ AllegraTxBodyRaw ma era → () #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era), Eq ma) ⇒ Eq (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods (==) ∷ AllegraTxBodyRaw ma era → AllegraTxBodyRaw ma era → Bool # (/=) ∷ AllegraTxBodyRaw ma era → AllegraTxBodyRaw ma era → Bool #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era), NoThunks ma) ⇒ NoThunks (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods noThunks ∷ Context → AllegraTxBodyRaw ma era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AllegraTxBodyRaw ma era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AllegraTxBodyRaw ma era) → String Source #
type Rep (AllegraTxBodyRaw ma era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type Rep (AllegraTxBodyRaw ma era) = D1 ('MetaData "AllegraTxBodyRaw" "Cardano.Ledger.Allegra.TxBody.Internal" "cardano-ledger-allegra-1.7.0.0-inplace" 'False) (C1 ('MetaCons "AllegraTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "atbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :: S1 ('MetaSel ('Just "atbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut era)))) :: (S1 ('MetaSel ('Just "atbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :: S1 ('MetaSel ('Just "atbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals))) :: ((S1 ('MetaSel ('Just "atbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "atbrValidityInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval)) :: (S1 ('MetaSel ('Just "atbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :: (S1 ('MetaSel ('Just "atbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash)) :: S1 ('MetaSel ('Just "atbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ma))))))
type MemoHashIndex (AllegraTxBodyRaw c era) Source #
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal type MemoHashIndex (AllegraTxBodyRaw c era) = EraIndependentTxBody

data StrictMaybe a Source #

Constructors

SNothing
SJust !a

Instances

Instances details

MonadFail StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fail ∷ String → StrictMaybe a #
Foldable StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fold ∷ Monoid m ⇒ StrictMaybe m → m # foldMap ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m # foldMap' ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m foldr ∷ (a → b → b) → b → StrictMaybe a → b # foldr' ∷ (a → b → b) → b → StrictMaybe a → b # foldl ∷ (b → a → b) → b → StrictMaybe a → b # foldl' ∷ (b → a → b) → b → StrictMaybe a → b # foldr1 ∷ (a → a → a) → StrictMaybe a → a # foldl1 ∷ (a → a → a) → StrictMaybe a → a # toList ∷ StrictMaybe a → [a] # null ∷ StrictMaybe a → Bool # length ∷ StrictMaybe a → Int # elem ∷ Eq a ⇒ a → StrictMaybe a → Bool # maximum ∷ Ord a ⇒ StrictMaybe a → a # minimum ∷ Ord a ⇒ StrictMaybe a → a # sum ∷ Num a ⇒ StrictMaybe a → a # product ∷ Num a ⇒ StrictMaybe a → a #
Traversable StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods traverse ∷ Applicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) # sequenceA ∷ Applicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) # mapM ∷ Monad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) # sequence ∷ Monad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) #
Alternative StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods empty ∷ StrictMaybe a # (<\|>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # some ∷ StrictMaybe a → StrictMaybe [a] # many ∷ StrictMaybe a → StrictMaybe [a] #
Applicative StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods pure ∷ a → StrictMaybe a # (<>) ∷ StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b # liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c # (>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # (<*) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe a #
Functor StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b # (<$) ∷ a → StrictMaybe b → StrictMaybe a #
Monad StrictMaybe
Instance details Defined in Data.Maybe.Strict Methods (>>=) ∷ StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b # (>>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # return ∷ a → StrictMaybe a #
HKDApplicative StrictMaybe
Instance details Defined in Cardano.Ledger.HKD Methods hkdPure ∷ a → HKD StrictMaybe a Source # hkdLiftA2 ∷ (a → b → c) → HKD StrictMaybe a → HKD StrictMaybe b → HKD StrictMaybe c Source #
HKDFunctor StrictMaybe
Instance details Defined in Cardano.Ledger.HKD Methods hkdMap ∷ proxy StrictMaybe → (a → b) → HKD StrictMaybe a → HKD StrictMaybe b Source # toNoUpdate ∷ HKD StrictMaybe a → HKDNoUpdate StrictMaybe a Source # fromNoUpdate ∷ HKDNoUpdate StrictMaybe a → HKD StrictMaybe a Source #
FromJSON a ⇒ FromJSON (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods parseJSON ∷ Value → Parser (StrictMaybe a) Source # parseJSONList ∷ Value → Parser [StrictMaybe a] Source # omittedField ∷ Maybe (StrictMaybe a) Source #
ToJSON a ⇒ ToJSON (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods toJSON ∷ StrictMaybe a → Value Source # toEncoding ∷ StrictMaybe a → Encoding Source # toJSONList ∷ [StrictMaybe a] → Value Source # toEncodingList ∷ [StrictMaybe a] → Encoding Source # omitField ∷ StrictMaybe a → Bool Source #
Semigroup a ⇒ Monoid (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods mempty ∷ StrictMaybe a # mappend ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # mconcat ∷ [StrictMaybe a] → StrictMaybe a #
Semigroup a ⇒ Semigroup (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods (<>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # sconcat ∷ NonEmpty (StrictMaybe a) → StrictMaybe a # stimes ∷ Integral b ⇒ b → StrictMaybe a → StrictMaybe a #
Generic (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Associated Types type Rep (StrictMaybe a) ∷ Type → Type # Methods from ∷ StrictMaybe a → Rep (StrictMaybe a) x # to ∷ Rep (StrictMaybe a) x → StrictMaybe a #
Show a ⇒ Show (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods showsPrec ∷ Int → StrictMaybe a → ShowS # show ∷ StrictMaybe a → String # showList ∷ [StrictMaybe a] → ShowS #
FromCBOR a ⇒ FromCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods fromCBOR ∷ Decoder s (StrictMaybe a) Source # label ∷ Proxy (StrictMaybe a) → Text Source #
ToCBOR a ⇒ ToCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods toCBOR ∷ StrictMaybe a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #
DecCBOR a ⇒ DecCBOR (StrictMaybe a)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (StrictMaybe a) Source # dropCBOR ∷ Proxy (StrictMaybe a) → Decoder s () Source # label ∷ Proxy (StrictMaybe a) → Text Source #
EncCBOR a ⇒ EncCBOR (StrictMaybe a)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ StrictMaybe a → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #
Default (StrictMaybe t)
Instance details Defined in Data.Maybe.Strict Methods def ∷ StrictMaybe t Source #
NFData a ⇒ NFData (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods rnf ∷ StrictMaybe a → () #
Eq a ⇒ Eq (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods (==) ∷ StrictMaybe a → StrictMaybe a → Bool # (/=) ∷ StrictMaybe a → StrictMaybe a → Bool #
Ord a ⇒ Ord (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods compare ∷ StrictMaybe a → StrictMaybe a → Ordering # (<) ∷ StrictMaybe a → StrictMaybe a → Bool # (<=) ∷ StrictMaybe a → StrictMaybe a → Bool # (>) ∷ StrictMaybe a → StrictMaybe a → Bool # (>=) ∷ StrictMaybe a → StrictMaybe a → Bool # max ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # min ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #
NoThunks a ⇒ NoThunks (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods noThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictMaybe a) → String Source #
(EraPParams era, PParamsHKD StrictMaybe era ~ ShelleyPParams StrictMaybe era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) ⇒ ToJSON (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toJSON ∷ ShelleyPParams StrictMaybe era → Value Source # toEncoding ∷ ShelleyPParams StrictMaybe era → Encoding Source # toJSONList ∷ [ShelleyPParams StrictMaybe era] → Value Source # toEncodingList ∷ [ShelleyPParams StrictMaybe era] → Encoding Source # omitField ∷ ShelleyPParams StrictMaybe era → Bool Source #
Show (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → ShelleyPParams StrictMaybe era → ShowS # show ∷ ShelleyPParams StrictMaybe era → String # showList ∷ [ShelleyPParams StrictMaybe era] → ShowS #
Era era ⇒ FromCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR ∷ Decoder s (ShelleyPParams StrictMaybe era) Source # label ∷ Proxy (ShelleyPParams StrictMaybe era) → Text Source #
Era era ⇒ ToCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR ∷ ShelleyPParams StrictMaybe era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams StrictMaybe era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams StrictMaybe era] → Size Source #
Era era ⇒ DecCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR ∷ Decoder s (ShelleyPParams StrictMaybe era) Source # dropCBOR ∷ Proxy (ShelleyPParams StrictMaybe era) → Decoder s () Source # label ∷ Proxy (ShelleyPParams StrictMaybe era) → Text Source #
Era era ⇒ EncCBOR (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR ∷ ShelleyPParams StrictMaybe era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyPParams StrictMaybe era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyPParams StrictMaybe era] → Size Source #
NFData (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ ShelleyPParams StrictMaybe era → () #
Eq (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (/=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool #
Ord (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods compare ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Ordering # (<) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (<=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (>) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (>=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # max ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era # min ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era #
NoThunks (ShelleyPParams StrictMaybe era)
Instance details Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyPParams StrictMaybe era) → String Source #
Updatable (K1 t x a) (K1 t (StrictMaybe x) u)
Instance details Defined in Cardano.Ledger.Core.PParams Methods applyUpdate ∷ K1 t x a → K1 t (StrictMaybe x) u → K1 t x a
type Rep (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.3.0-5d50b234292b91638e59daf46ada7e6756ff12d0af0cd8366a250f6a27168b31" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Constructors

ValidityInterval
Fields invalidBefore ∷ !(StrictMaybe SlotNo) invalidHereafter ∷ !(StrictMaybe SlotNo)

Instances

Instances details

ToJSON ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods toJSON ∷ ValidityInterval → Value Source # toEncoding ∷ ValidityInterval → Encoding Source # toJSONList ∷ [ValidityInterval] → Value Source # toEncodingList ∷ [ValidityInterval] → Encoding Source # omitField ∷ ValidityInterval → Bool Source #
Generic ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Associated Types type Rep ValidityInterval ∷ Type → Type # Methods from ∷ ValidityInterval → Rep ValidityInterval x # to ∷ Rep ValidityInterval x → ValidityInterval #
Show ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods showsPrec ∷ Int → ValidityInterval → ShowS # show ∷ ValidityInterval → String # showList ∷ [ValidityInterval] → ShowS #
DecCBOR ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods decCBOR ∷ Decoder s ValidityInterval Source # dropCBOR ∷ Proxy ValidityInterval → Decoder s () Source # label ∷ Proxy ValidityInterval → Text Source #
EncCBOR ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods encCBOR ∷ ValidityInterval → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ValidityInterval → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ValidityInterval] → Size Source #
NFData ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods rnf ∷ ValidityInterval → () #
Eq ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods (==) ∷ ValidityInterval → ValidityInterval → Bool # (/=) ∷ ValidityInterval → ValidityInterval → Bool #
Ord ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods compare ∷ ValidityInterval → ValidityInterval → Ordering # (<) ∷ ValidityInterval → ValidityInterval → Bool # (<=) ∷ ValidityInterval → ValidityInterval → Bool # (>) ∷ ValidityInterval → ValidityInterval → Bool # (>=) ∷ ValidityInterval → ValidityInterval → Bool # max ∷ ValidityInterval → ValidityInterval → ValidityInterval # min ∷ ValidityInterval → ValidityInterval → ValidityInterval #
NoThunks ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts Methods noThunks ∷ Context → ValidityInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ValidityInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ValidityInterval → String Source #
type Rep ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Allegra.Scripts type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.7.0.0-inplace" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))