Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Plutus.ToPlutusData

Documentation

class ToPlutusData x where Source #

Minimal complete definition

toPlutusData

Methods

toPlutusData ∷ x → Data Source #

fromPlutusData ∷ Data → Maybe x Source #

Instances

Instances details

ToPlutusData Word16 Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Word16 → Data Source # fromPlutusData ∷ Data → Maybe Word16 Source #
ToPlutusData Word32 Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Word32 → Data Source # fromPlutusData ∷ Data → Maybe Word32 Source #
ToPlutusData Word8 Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Word8 → Data Source # fromPlutusData ∷ Data → Maybe Word8 Source #
ToPlutusData Version Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Version → Data Source # fromPlutusData ∷ Data → Maybe Version Source #
ToPlutusData NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ NonNegativeInterval → Data Source # fromPlutusData ∷ Data → Maybe NonNegativeInterval Source #
ToPlutusData ProtVer Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ ProtVer → Data Source # fromPlutusData ∷ Data → Maybe ProtVer Source #
ToPlutusData UnitInterval Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ UnitInterval → Data Source # fromPlutusData ∷ Data → Maybe UnitInterval Source #
ToPlutusData Coin Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Coin → Data Source # fromPlutusData ∷ Data → Maybe Coin Source #
ToPlutusData CostModels Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ CostModels → Data Source # fromPlutusData ∷ Data → Maybe CostModels Source #
ToPlutusData ExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ ExUnits → Data Source # fromPlutusData ∷ Data → Maybe ExUnits Source #
ToPlutusData Prices Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Prices → Data Source # fromPlutusData ∷ Data → Maybe Prices Source #
ToPlutusData EpochInterval Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ EpochInterval → Data Source # fromPlutusData ∷ Data → Maybe EpochInterval Source #
ToPlutusData Integer Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Integer → Data Source # fromPlutusData ∷ Data → Maybe Integer Source #
ToPlutusData Natural Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Natural → Data Source # fromPlutusData ∷ Data → Maybe Natural Source #
ToPlutusData Word Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Word → Data Source # fromPlutusData ∷ Data → Maybe Word Source #
(ToPlutusData a, HasZero a) ⇒ ToPlutusData (NonZero a) Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ NonZero a → Data Source # fromPlutusData ∷ Data → Maybe (NonZero a) Source #
ToPlutusData a ⇒ ToPlutusData [a] Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ [a] → Data Source # fromPlutusData ∷ Data → Maybe [a] Source #
(Ord a, ToPlutusData a, ToPlutusData b) ⇒ ToPlutusData (Map a b) Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ Map a b → Data Source # fromPlutusData ∷ Data → Maybe (Map a b) Source #