Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.Wits

Contents

Shelley onwards
Alonzo onwards

Synopsis

class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era)), ToExpr (TxWits era)) => EraTxWits era where
- type TxWits era = (r :: Type) | r -> era
mkBasicTxWits :: EraTxWits era => TxWits era
addrTxWitsL :: EraTxWits era => Lens' (TxWits era) (Set (WitVKey 'Witness (EraCrypto era)))
data KeyRole = Witness
data WitVKey (kr :: KeyRole) c where
- pattern WitVKey :: (Typeable kr, Crypto c) => VKey kr c -> SignedDSIGN c (Hash c EraIndependentTxBody) -> WitVKey kr c
witVKeyBytes :: forall (kr :: KeyRole) c. WitVKey kr c -> ByteString
witVKeyHash :: forall (kr :: KeyRole) c. WitVKey kr c -> KeyHash 'Witness c
bootAddrTxWitsL :: EraTxWits era => Lens' (TxWits era) (Set (BootstrapWitness (EraCrypto era)))
data BootstrapWitness c
scriptTxWitsL :: EraTxWits era => Lens' (TxWits era) (Map (ScriptHash (EraCrypto era)) (Script era))
hashScriptTxWitsL :: EraTxWits era => Lens (TxWits era) (TxWits era) (Map (ScriptHash (EraCrypto era)) (Script era)) [Script era]
class EraTxWits era => AlonzoEraTxWits era
datsTxWitsL :: AlonzoEraTxWits era => Lens' (TxWits era) (TxDats era)
hashDataTxWitsL :: AlonzoEraTxWits era => Lens (TxWits era) (TxWits era) (TxDats era) [Data era]
data TxDats era where
- pattern TxDats :: Era era => Map (DataHash (EraCrypto era)) (Data era) -> TxDats era
- pattern TxDats' :: Map (DataHash (EraCrypto era)) (Data era) -> TxDats era
unTxDats :: TxDats era -> Map (DataHash (EraCrypto era)) (Data era)
rdmrsTxWitsL :: AlonzoEraTxWits era => Lens' (TxWits era) (Redeemers era)
data Redeemers era where
- pattern Redeemers :: Era era => Map RdmrPtr (Data era, ExUnits) -> Redeemers era
unRedeemers :: Era era => Redeemers era -> Map RdmrPtr (Data era, ExUnits)
data RdmrPtr = RdmrPtr !Tag !Word64
data Tag
- = Spend
- | Mint
- | Cert
- | Rewrd

Shelley onwards

class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era)), ToExpr (TxWits era)) => EraTxWits era #

Minimal complete definition

addrTxWitsL, bootAddrTxWitsL, scriptTxWitsL, upgradeTxWits

Associated Types

type TxWits era = (r :: Type) | r -> era #

mkBasicTxWits :: EraTxWits era => TxWits era #

Address witness

addrTxWitsL :: EraTxWits era => Lens' (TxWits era) (Set (WitVKey 'Witness (EraCrypto era))) #

data KeyRole #

Constructors

Witness

Instances

Instances details

Show KeyRole
Instance details Defined in Cardano.Ledger.Keys Methods showsPrec :: Int -> KeyRole -> ShowS Source # show :: KeyRole -> String Source # showList :: [KeyRole] -> ShowS Source #

WitVKey

data WitVKey (kr :: KeyRole) c where #

Bundled Patterns

pattern WitVKey :: (Typeable kr, Crypto c) => VKey kr c -> SignedDSIGN c (Hash c EraIndependentTxBody) -> WitVKey kr c

Instances

Instances details

(Typeable kr, Crypto c) => DecCBOR (Annotator (WitVKey kr c))
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods decCBOR :: Decoder s (Annotator (WitVKey kr c)) dropCBOR :: Proxy (Annotator (WitVKey kr c)) -> Decoder s () label :: Proxy (Annotator (WitVKey kr c)) -> Text
Generic (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Associated Types type Rep (WitVKey kr c) :: Type -> Type Source # Methods from :: WitVKey kr c -> Rep (WitVKey kr c) x Source # to :: Rep (WitVKey kr c) x -> WitVKey kr c Source #
Crypto c => Show (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods showsPrec :: Int -> WitVKey kr c -> ShowS Source # show :: WitVKey kr c -> String Source # showList :: [WitVKey kr c] -> ShowS Source #
(Typeable kr, Crypto c) => ToCBOR (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods toCBOR :: WitVKey kr c -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (WitVKey kr c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [WitVKey kr c] -> Size
(Typeable kr, Crypto c) => EncCBOR (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods encCBOR :: WitVKey kr c -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (WitVKey kr c) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [WitVKey kr c] -> Size
(Crypto c, Typeable kr) => EqRaw (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods eqRaw :: WitVKey kr c -> WitVKey kr c -> Bool
NFData (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods rnf :: WitVKey kr c -> () Source #
Crypto c => Eq (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods (==) :: WitVKey kr c -> WitVKey kr c -> Bool Source # (/=) :: WitVKey kr c -> WitVKey kr c -> Bool Source #
(Typeable kr, Crypto c) => Ord (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods compare :: WitVKey kr c -> WitVKey kr c -> Ordering Source # (<) :: WitVKey kr c -> WitVKey kr c -> Bool Source # (<=) :: WitVKey kr c -> WitVKey kr c -> Bool Source # (>) :: WitVKey kr c -> WitVKey kr c -> Bool Source # (>=) :: WitVKey kr c -> WitVKey kr c -> Bool Source # max :: WitVKey kr c -> WitVKey kr c -> WitVKey kr c Source # min :: WitVKey kr c -> WitVKey kr c -> WitVKey kr c Source #
(Crypto c, Typeable kr) => NoThunks (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods noThunks :: Context -> WitVKey kr c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> WitVKey kr c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (WitVKey kr c) -> String
Crypto c => ToExpr (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods toExpr :: WitVKey kr c -> Expr listToExpr :: [WitVKey kr c] -> Expr
type Rep (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey type Rep (WitVKey kr c) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr c)) :: S1 ('MetaSel ('Just "wvkSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness c)) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

witVKeyBytes :: forall (kr :: KeyRole) c. WitVKey kr c -> ByteString #

witVKeyHash :: forall (kr :: KeyRole) c. WitVKey kr c -> KeyHash 'Witness c #

Byron address witness

bootAddrTxWitsL :: EraTxWits era => Lens' (TxWits era) (Set (BootstrapWitness (EraCrypto era))) #

data BootstrapWitness c #

Instances

Instances details

Generic (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Associated Types type Rep (BootstrapWitness c) :: Type -> Type Source # Methods from :: BootstrapWitness c -> Rep (BootstrapWitness c) x Source # to :: Rep (BootstrapWitness c) x -> BootstrapWitness c Source #
Crypto c => Show (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods showsPrec :: Int -> BootstrapWitness c -> ShowS Source # show :: BootstrapWitness c -> String Source # showList :: [BootstrapWitness c] -> ShowS Source #
Crypto c => ToCBOR (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods toCBOR :: BootstrapWitness c -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BootstrapWitness c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BootstrapWitness c] -> Size
Crypto c => DecCBOR (Annotator (BootstrapWitness c))
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods decCBOR :: Decoder s (Annotator (BootstrapWitness c)) dropCBOR :: Proxy (Annotator (BootstrapWitness c)) -> Decoder s () label :: Proxy (Annotator (BootstrapWitness c)) -> Text
Crypto c => EncCBOR (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods encCBOR :: BootstrapWitness c -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (BootstrapWitness c) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [BootstrapWitness c] -> Size
Crypto c => EqRaw (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods eqRaw :: BootstrapWitness c -> BootstrapWitness c -> Bool
(Crypto era, NFData (VerKeyDSIGN (DSIGN era)), NFData (SigDSIGN (DSIGN era))) => NFData (BootstrapWitness era)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods rnf :: BootstrapWitness era -> () Source #
Crypto c => Eq (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods (==) :: BootstrapWitness c -> BootstrapWitness c -> Bool Source # (/=) :: BootstrapWitness c -> BootstrapWitness c -> Bool Source #
Crypto c => Ord (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods compare :: BootstrapWitness c -> BootstrapWitness c -> Ordering Source # (<) :: BootstrapWitness c -> BootstrapWitness c -> Bool Source # (<=) :: BootstrapWitness c -> BootstrapWitness c -> Bool Source # (>) :: BootstrapWitness c -> BootstrapWitness c -> Bool Source # (>=) :: BootstrapWitness c -> BootstrapWitness c -> Bool Source # max :: BootstrapWitness c -> BootstrapWitness c -> BootstrapWitness c Source # min :: BootstrapWitness c -> BootstrapWitness c -> BootstrapWitness c Source #
Crypto c => NoThunks (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods noThunks :: Context -> BootstrapWitness c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> BootstrapWitness c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (BootstrapWitness c) -> String
Crypto c => ToExpr (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods toExpr :: BootstrapWitness c -> Expr listToExpr :: [BootstrapWitness c] -> Expr
type Rep (BootstrapWitness c)
Instance details Defined in Cardano.Ledger.Keys.Bootstrap type Rep (BootstrapWitness c) = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'False) (C1 ('MetaCons "BootstrapWitness'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness c)) :: S1 ('MetaSel ('Just "bwSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :: (S1 ('MetaSel ('Just "bwChainCode'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainCode) :: (S1 ('MetaSel ('Just "bwAttributes'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :: S1 ('MetaSel ('Just "bwBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

Script witness

scriptTxWitsL :: EraTxWits era => Lens' (TxWits era) (Map (ScriptHash (EraCrypto era)) (Script era)) #

hashScriptTxWitsL :: EraTxWits era => Lens (TxWits era) (TxWits era) (Map (ScriptHash (EraCrypto era)) (Script era)) [Script era] #

Alonzo onwards

class EraTxWits era => AlonzoEraTxWits era #

Minimal complete definition

datsTxWitsL, rdmrsTxWitsL

Instances

Instances details

(EraScript (AlonzoEra c), Crypto c) => AlonzoEraTxWits (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL :: Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c)) # rdmrsTxWitsL :: Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c)) #

datsTxWitsL :: AlonzoEraTxWits era => Lens' (TxWits era) (TxDats era) #

hashDataTxWitsL :: AlonzoEraTxWits era => Lens (TxWits era) (TxWits era) (TxDats era) [Data era] #

data TxDats era where #

Bundled Patterns

pattern TxDats :: Era era => Map (DataHash (EraCrypto era)) (Data era) -> TxDats era
pattern TxDats' :: Map (DataHash (EraCrypto era)) (Data era) -> TxDats era

Instances

Instances details

Memoized TxDats
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type RawType TxDats = (r :: Type -> Type) Methods getMemoBytes :: TxDats era -> MemoBytes (RawType TxDats) era wrapMemoBytes :: MemoBytes (RawType TxDats) era -> TxDats era
Era era => Monoid (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods mempty :: TxDats era Source # mappend :: TxDats era -> TxDats era -> TxDats era Source # mconcat :: [TxDats era] -> TxDats era Source #
Era era => Semigroup (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (<>) :: TxDats era -> TxDats era -> TxDats era Source # sconcat :: NonEmpty (TxDats era) -> TxDats era Source # stimes :: Integral b => b -> TxDats era -> TxDats era Source #
Generic (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (TxDats era) :: Type -> Type Source # Methods from :: TxDats era -> Rep (TxDats era) x Source # to :: Rep (TxDats era) x -> TxDats era Source #
HashAlgorithm (HASH (EraCrypto era)) => Show (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec :: Int -> TxDats era -> ShowS Source # show :: TxDats era -> String Source # showList :: [TxDats era] -> ShowS Source #
Typeable era => ToCBOR (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods toCBOR :: TxDats era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (TxDats era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxDats era] -> Size
Era era => DecCBOR (Annotator (TxDats era))
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR :: Decoder s (Annotator (TxDats era)) dropCBOR :: Proxy (Annotator (TxDats era)) -> Decoder s () label :: Proxy (Annotator (TxDats era)) -> Text
Era era => EncCBOR (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR :: TxDats era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (TxDats era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [TxDats era] -> Size
SafeToHash (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods originalBytes :: TxDats era -> ByteString makeHashWithExplicitProxys :: HashAlgorithm (HASH c) => Proxy c -> Proxy index -> TxDats era -> SafeHash c index
NFData (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf :: TxDats era -> () Source #
Eq (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) :: TxDats era -> TxDats era -> Bool Source # (/=) :: TxDats era -> TxDats era -> Bool Source #
Typeable era => NoThunks (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks :: Context -> TxDats era -> IO (Maybe ThunkInfo) wNoThunks :: Context -> TxDats era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (TxDats era) -> String
ToExpr (Data era) => ToExpr (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods toExpr :: TxDats era -> Expr listToExpr :: [TxDats era] -> Expr
type RawType TxDats
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType TxDats = TxDatsRaw
type Rep (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (TxDats era) = D1 ('MetaData "TxDats" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.5.1.0-1MT8TTvKeeyGoJw1KVxcth" 'True) (C1 ('MetaCons "TxDatsConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes TxDatsRaw era))))

unTxDats :: TxDats era -> Map (DataHash (EraCrypto era)) (Data era) #

rdmrsTxWitsL :: AlonzoEraTxWits era => Lens' (TxWits era) (Redeemers era) #

data Redeemers era where #

Bundled Patterns

pattern Redeemers :: Era era => Map RdmrPtr (Data era, ExUnits) -> Redeemers era

Instances

Instances details

Memoized Redeemers
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type RawType Redeemers = (r :: Type -> Type) Methods getMemoBytes :: Redeemers era -> MemoBytes (RawType Redeemers) era wrapMemoBytes :: MemoBytes (RawType Redeemers) era -> Redeemers era
Generic (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (Redeemers era) :: Type -> Type Source # Methods from :: Redeemers era -> Rep (Redeemers era) x Source # to :: Rep (Redeemers era) x -> Redeemers era Source #
HashAlgorithm (HASH (EraCrypto era)) => Show (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec :: Int -> Redeemers era -> ShowS Source # show :: Redeemers era -> String Source # showList :: [Redeemers era] -> ShowS Source #
Typeable era => ToCBOR (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods toCBOR :: Redeemers era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Redeemers era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Redeemers era] -> Size
Era era => DecCBOR (Annotator (Redeemers era))
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR :: Decoder s (Annotator (Redeemers era)) dropCBOR :: Proxy (Annotator (Redeemers era)) -> Decoder s () label :: Proxy (Annotator (Redeemers era)) -> Text
Era era => EncCBOR (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR :: Redeemers era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (Redeemers era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Redeemers era] -> Size
SafeToHash (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods originalBytes :: Redeemers era -> ByteString makeHashWithExplicitProxys :: HashAlgorithm (HASH c) => Proxy c -> Proxy index -> Redeemers era -> SafeHash c index
NFData (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf :: Redeemers era -> () Source #
Eq (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) :: Redeemers era -> Redeemers era -> Bool Source # (/=) :: Redeemers era -> Redeemers era -> Bool Source #
Typeable era => NoThunks (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks :: Context -> Redeemers era -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Redeemers era -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (Redeemers era) -> String
ToExpr (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods toExpr :: Redeemers era -> Expr listToExpr :: [Redeemers era] -> Expr
type RawType Redeemers
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType Redeemers = RedeemersRaw
type Rep (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (Redeemers era) = Rep (MemoBytes RedeemersRaw era)

unRedeemers :: Era era => Redeemers era -> Map RdmrPtr (Data era, ExUnits) #

data RdmrPtr #

Constructors

RdmrPtr !Tag !Word64

Instances

Instances details

Generic RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep RdmrPtr :: Type -> Type Source # Methods from :: RdmrPtr -> Rep RdmrPtr x Source # to :: Rep RdmrPtr x -> RdmrPtr Source #
Show RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec :: Int -> RdmrPtr -> ShowS Source # show :: RdmrPtr -> String Source # showList :: [RdmrPtr] -> ShowS Source #
DecCBOR RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR :: Decoder s RdmrPtr dropCBOR :: Proxy RdmrPtr -> Decoder s () label :: Proxy RdmrPtr -> Text
EncCBOR RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR :: RdmrPtr -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy RdmrPtr -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [RdmrPtr] -> Size
DecCBORGroup RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBORGroup :: Decoder s RdmrPtr
EncCBORGroup RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBORGroup :: RdmrPtr -> Encoding encodedGroupSizeExpr :: (forall x. EncCBOR x => Proxy x -> Size) -> Proxy RdmrPtr -> Size listLen :: RdmrPtr -> Word listLenBound :: Proxy RdmrPtr -> Word
NFData RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf :: RdmrPtr -> () Source #
Eq RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) :: RdmrPtr -> RdmrPtr -> Bool Source # (/=) :: RdmrPtr -> RdmrPtr -> Bool Source #
Ord RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods compare :: RdmrPtr -> RdmrPtr -> Ordering Source # (<) :: RdmrPtr -> RdmrPtr -> Bool Source # (<=) :: RdmrPtr -> RdmrPtr -> Bool Source # (>) :: RdmrPtr -> RdmrPtr -> Bool Source # (>=) :: RdmrPtr -> RdmrPtr -> Bool Source # max :: RdmrPtr -> RdmrPtr -> RdmrPtr Source # min :: RdmrPtr -> RdmrPtr -> RdmrPtr Source #
NoThunks RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks :: Context -> RdmrPtr -> IO (Maybe ThunkInfo) wNoThunks :: Context -> RdmrPtr -> IO (Maybe ThunkInfo) showTypeOf :: Proxy RdmrPtr -> String
ToExpr RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods toExpr :: RdmrPtr -> Expr listToExpr :: [RdmrPtr] -> Expr
type Rep RdmrPtr
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep RdmrPtr = D1 ('MetaData "RdmrPtr" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.5.1.0-1MT8TTvKeeyGoJw1KVxcth" 'False) (C1 ('MetaCons "RdmrPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))

data Tag #

Constructors

Spend
Mint
Cert
Rewrd

Instances

Instances details

Bounded Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods minBound :: Tag Source # maxBound :: Tag Source #
Enum Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods succ :: Tag -> Tag Source # pred :: Tag -> Tag Source # toEnum :: Int -> Tag Source # fromEnum :: Tag -> Int Source # enumFrom :: Tag -> [Tag] Source # enumFromThen :: Tag -> Tag -> [Tag] Source # enumFromTo :: Tag -> Tag -> [Tag] Source # enumFromThenTo :: Tag -> Tag -> Tag -> [Tag] Source #
Generic Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep Tag :: Type -> Type Source # Methods from :: Tag -> Rep Tag x Source # to :: Rep Tag x -> Tag Source #
Show Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec :: Int -> Tag -> ShowS Source # show :: Tag -> String Source # showList :: [Tag] -> ShowS Source #
DecCBOR Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods decCBOR :: Decoder s Tag dropCBOR :: Proxy Tag -> Decoder s () label :: Proxy Tag -> Text
EncCBOR Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods encCBOR :: Tag -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy Tag -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Tag] -> Size
NFData Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf :: Tag -> () Source #
Eq Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) :: Tag -> Tag -> Bool Source # (/=) :: Tag -> Tag -> Bool Source #
Ord Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare :: Tag -> Tag -> Ordering Source # (<) :: Tag -> Tag -> Bool Source # (<=) :: Tag -> Tag -> Bool Source # (>) :: Tag -> Tag -> Bool Source # (>=) :: Tag -> Tag -> Bool Source # max :: Tag -> Tag -> Tag Source # min :: Tag -> Tag -> Tag Source #
NoThunks Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks :: Context -> Tag -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Tag -> IO (Maybe ThunkInfo) showTypeOf :: Proxy Tag -> String
ToExpr Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toExpr :: Tag -> Expr listToExpr :: [Tag] -> Expr
type Rep Tag
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep Tag = D1 ('MetaData "Tag" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.5.1.0-1MT8TTvKeeyGoJw1KVxcth" 'False) ((C1 ('MetaCons "Spend" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mint" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Cert" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rewrd" 'PrefixI 'False) (U1 :: Type -> Type)))