Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxWitness

Documentation

data RdmrPtr Source #

Constructors

RdmrPtr ! Tag ! Word64

Instances

Instances details

Eq RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods (==) :: RdmrPtr -> RdmrPtr -> Bool Source # (/=) :: RdmrPtr -> RdmrPtr -> Bool Source #
Ord RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness 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 #
Show RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods showsPrec :: Int -> RdmrPtr -> ShowS Source # show :: RdmrPtr -> String Source # showList :: [ RdmrPtr ] -> ShowS Source #
Generic RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Associated Types type Rep RdmrPtr :: Type -> Type Source # Methods from :: RdmrPtr -> Rep RdmrPtr x Source # to :: Rep RdmrPtr x -> RdmrPtr Source #
NFData RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods rnf :: RdmrPtr -> () Source #
ToCBOR RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods toCBOR :: RdmrPtr -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy RdmrPtr -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ RdmrPtr ] -> Size Source #
FromCBOR RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods fromCBOR :: Decoder s RdmrPtr Source # label :: Proxy RdmrPtr -> Text Source #
ToCBORGroup RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods toCBORGroup :: RdmrPtr -> Encoding Source # encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy RdmrPtr -> Size Source # listLen :: RdmrPtr -> Word Source # listLenBound :: Proxy RdmrPtr -> Word Source #
FromCBORGroup RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods fromCBORGroup :: Decoder s RdmrPtr Source #
NoThunks RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods noThunks :: Context -> RdmrPtr -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> RdmrPtr -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy RdmrPtr -> String Source #
type Rep RdmrPtr Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness type Rep RdmrPtr = D1 (' MetaData "RdmrPtr" "Cardano.Ledger.Alonzo.TxWitness" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "RdmrPtr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Tag ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' SourceUnpack ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )))

data Redeemers era where Source #

Bundled Patterns

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

Instances

Instances details

HasField "txrdmrs" ( TxWitness era) ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods getField :: TxWitness era -> Redeemers era Source #
Eq ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods (==) :: Redeemers era -> Redeemers era -> Bool Source # (/=) :: Redeemers era -> Redeemers era -> Bool Source #
Show ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods showsPrec :: Int -> Redeemers era -> ShowS Source # show :: Redeemers era -> String Source # showList :: [ Redeemers era] -> ShowS Source #
NFData ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods rnf :: Redeemers era -> () Source #
Typeable era => ToCBOR ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods toCBOR :: Redeemers era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Redeemers era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Redeemers era] -> Size Source #
Era era => FromCBOR ( Annotator ( Redeemers era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods fromCBOR :: Decoder s ( Annotator ( Redeemers era)) Source # label :: Proxy ( Annotator ( Redeemers era)) -> Text Source #
SafeToHash ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods originalBytes :: Redeemers era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Redeemers era -> SafeHash c index Source #
Typeable era => NoThunks ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods noThunks :: Context -> Redeemers era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Redeemers era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Redeemers era) -> String Source #

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

nullRedeemers :: Redeemers era -> Bool Source #

data TxDats era where Source #

Bundled Patterns

pattern TxDats :: Typeable era => Map ( DataHash ( Crypto era)) ( Data era) -> TxDats era
pattern TxDats' :: Map ( DataHash ( Crypto era)) ( Data era) -> TxDats era

Instances

Instances details

HasField "txdats" ( TxWitness era) ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods getField :: TxWitness era -> TxDats era Source #
Eq ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods (==) :: TxDats era -> TxDats era -> Bool Source # (/=) :: TxDats era -> TxDats era -> Bool Source #
Show ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods showsPrec :: Int -> TxDats era -> ShowS Source # show :: TxDats era -> String Source # showList :: [ TxDats era] -> ShowS Source #
Typeable era => Semigroup ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods (<>) :: TxDats era -> TxDats era -> TxDats era Source # sconcat :: NonEmpty ( TxDats era) -> TxDats era Source # stimes :: Integral b => b -> TxDats era -> TxDats era Source #
Typeable era => Monoid ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods mempty :: TxDats era Source # mappend :: TxDats era -> TxDats era -> TxDats era Source # mconcat :: [ TxDats era] -> TxDats era Source #
NFData ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods rnf :: TxDats era -> () Source #
Typeable era => ToCBOR ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods toCBOR :: TxDats era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxDats era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxDats era] -> Size Source #
Era era => FromCBOR ( Annotator ( TxDats era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods fromCBOR :: Decoder s ( Annotator ( TxDats era)) Source # label :: Proxy ( Annotator ( TxDats era)) -> Text Source #
SafeToHash ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods originalBytes :: TxDats era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxDats era -> SafeHash c index Source #
Typeable era => NoThunks ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods noThunks :: Context -> TxDats era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxDats era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxDats era) -> String Source #

data TxWitness era where Source #

Bundled Patterns

pattern TxWitness :: ( Era era, Script era ~ Script era) => Set ( WitVKey ' Witness ( Crypto era)) -> Set ( BootstrapWitness ( Crypto era)) -> Map ( ScriptHash ( Crypto era)) ( Script era) -> TxDats era -> Redeemers era -> TxWitness era
pattern TxWitness' :: Set ( WitVKey ' Witness ( Crypto era)) -> Set ( BootstrapWitness ( Crypto era)) -> Map ( ScriptHash ( Crypto era)) ( Script era) -> TxDats era -> Redeemers era -> TxWitness era

Instances

Instances details

Crypto era ~ crypto => HasField "addrWits" ( TxWitness era) ( Set ( WitVKey ' Witness crypto)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods getField :: TxWitness era -> Set ( WitVKey ' Witness crypto) Source #
HasField "txdats" ( TxWitness era) ( TxDats era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods getField :: TxWitness era -> TxDats era Source #
HasField "txrdmrs" ( TxWitness era) ( Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods getField :: TxWitness era -> Redeemers era Source #
( Script era ~ script, Crypto era ~ crypto) => HasField "scriptWits" ( TxWitness era) ( Map ( ScriptHash crypto) script) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods getField :: TxWitness era -> Map ( ScriptHash crypto) script Source #
( Script era ~ script, Crypto era ~ crypto) => HasField "txscripts" ( TxWitness era) ( Map ( ScriptHash crypto) script) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods getField :: TxWitness era -> Map ( ScriptHash crypto) script Source #
Eq ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods (==) :: TxWitness era -> TxWitness era -> Bool Source # (/=) :: TxWitness era -> TxWitness era -> Bool Source #
( Era era, Show ( Script era)) => Show ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods showsPrec :: Int -> TxWitness era -> ShowS Source # show :: TxWitness era -> String Source # showList :: [ TxWitness era] -> ShowS Source #
( Era era, Script era ~ Script era) => Semigroup ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods (<>) :: TxWitness era -> TxWitness era -> TxWitness era Source # sconcat :: NonEmpty ( TxWitness era) -> TxWitness era Source # stimes :: Integral b => b -> TxWitness era -> TxWitness era Source #
( Era era, Script era ~ Script era) => Monoid ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods mempty :: TxWitness era Source # mappend :: TxWitness era -> TxWitness era -> TxWitness era Source # mconcat :: [ TxWitness era] -> TxWitness era Source #
( Era era, Script era ~ Script era, crypto ~ Crypto era, NFData ( TxDats era), NFData ( Redeemers era), NFData ( SigDSIGN ( DSIGN crypto)), NFData ( VerKeyDSIGN ( DSIGN crypto))) => NFData ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods rnf :: TxWitness era -> () Source #
Typeable era => ToCBOR ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods toCBOR :: TxWitness era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxWitness era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxWitness era] -> Size Source #
( Era era, ValidateScript era, Script era ~ Script era) => FromCBOR ( Annotator ( TxWitness era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods fromCBOR :: Decoder s ( Annotator ( TxWitness era)) Source # label :: Proxy ( Annotator ( TxWitness era)) -> Text Source #
SafeToHash ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods originalBytes :: TxWitness era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxWitness era -> SafeHash c index Source #
( Era era, NoThunks ( Script era)) => NoThunks ( TxWitness era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWitness Methods noThunks :: Context -> TxWitness era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxWitness era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxWitness era) -> String Source #

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

nullDats :: TxDats era -> Bool Source #