(∀ a b. (ToJSON a, ToJSON b) ⇒ ToJSON (f a b), ToJSON (TxCert era), EraPParams era) ⇒ ToJSON (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
Generic (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsIx era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, EraTxCert era) ⇒ Show (DijkstraPlutusPurpose AsIxItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(Typeable f, EraPParams era, ∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), ∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraTxCert era) ⇒ DecCBOR (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(Typeable f, EraPParams era, ∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraTxCert era) ⇒ EncCBOR (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(Typeable f, EraPParams era, ∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), DecCBOR (TxCert era)) ⇒ DecCBORGroup (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(Typeable f, EraPParams era, ∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EncCBOR (TxCert era)) ⇒ EncCBORGroup (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsIx era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, NFData (TxCert era)) ⇒ NFData (DijkstraPlutusPurpose AsIxItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsIx era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraTxCert era, EraPParams era) ⇒ Eq (DijkstraPlutusPurpose AsIxItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsIx era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, EraTxCert era) ⇒ Ord (DijkstraPlutusPurpose AsIxItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsIx era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
(EraPParams era, NoThunks (TxCert era)) ⇒ NoThunks (DijkstraPlutusPurpose AsIxItem era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
Inject (ConwayPlutusPurpose f era) (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |
type Rep (DijkstraPlutusPurpose f era) Source # | |
Instance detailsDefined in Cardano.Ledger.Dijkstra.Scripts |