| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.TxWits
Contents
Orphan instances
| AlonzoEraTxWits DijkstraEra Source # | |
Methods datsTxWitsL ∷ Lens' (TxWits DijkstraEra) (TxDats DijkstraEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits DijkstraEra) (Redeemers DijkstraEra) Source # | |
| EraTxWits DijkstraEra Source # | |
Associated Types type TxWits DijkstraEra = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits DijkstraEra Source # addrTxWitsL ∷ Lens' (TxWits DijkstraEra) (Set (WitVKey 'Witness)) Source # bootAddrTxWitsL ∷ Lens' (TxWits DijkstraEra) (Set BootstrapWitness) Source # scriptTxWitsL ∷ Lens' (TxWits DijkstraEra) (Map ScriptHash (Script DijkstraEra)) Source # upgradeTxWits ∷ TxWits (PreviousEra DijkstraEra) → TxWits DijkstraEra Source # | |