playground-common-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Playground.Contract

Description

Re-export functions that are needed when creating a Contract for use in the playground

Synopsis

Documentation

class ToSchema a Source #

A description of a type, suitable for consumption by the Playground's website.

By calling toSchema on a type you get a description of its structure. Semantically:

>>> toSchema @Int
>>> -- returns, "this is an Int."
>>> 
>>> toSchema @SomeRecord
>>> -- returns, "this is a record, and it has
>>> -- these named fields with these types".

The description you get back is the FormSchema type, which describes all the obvious primitives, plus some Plutus types deemed worthy of special treatment (eg. Value).

Internally it relies on Generics to extract the type information, but the implementation jumps through some hoops because generics is geared towards getting the type-description of a specific value (eg. Left Foo or Right 5) rather than on the type itself (eg. Either String Int).

Instances

Instances details
ToSchema Bool Source # 
Instance details

Defined in Schema

ToSchema Int Source # 
Instance details

Defined in Schema

ToSchema Integer Source # 
Instance details

Defined in Schema

ToSchema () Source # 
Instance details

Defined in Schema

ToSchema String Source # 
Instance details

Defined in Schema

ToSchema Text Source # 
Instance details

Defined in Schema

ToSchema TxOutRef Source # 
Instance details

Defined in Schema

ToSchema Slot Source # 
Instance details

Defined in Schema

ToSchema AssetClass Source # 
Instance details

Defined in Schema

ToSchema POSIXTime Source # 
Instance details

Defined in Schema

ToSchema TxId Source # 
Instance details

Defined in Schema

ToSchema Value Source # 
Instance details

Defined in Schema

ToSchema Wallet Source # 
Instance details

Defined in Schema

ToSchema WalletId Source # 
Instance details

Defined in Schema

ToSchema ContractInstanceId Source # 
Instance details

Defined in Schema

ToSchema ThreadToken Source # 
Instance details

Defined in Schema

ToSchema PubKeyHash Source # 
Instance details

Defined in Schema

ToSchema PubKey Source # 
Instance details

Defined in Schema

ToSchema WalletNumber Source # 
Instance details

Defined in Schema

ToSchema StakePubKeyHash Source # 
Instance details

Defined in Schema

ToSchema StakePubKey Source # 
Instance details

Defined in Schema

ToSchema PaymentPubKeyHash Source # 
Instance details

Defined in Schema

ToSchema PaymentPubKey Source # 
Instance details

Defined in Schema

ToSchema POSIXTimeRange Source # 
Instance details

Defined in Schema

ToSchema RedeemerHash Source # 
Instance details

Defined in Schema

ToSchema DatumHash Source # 
Instance details

Defined in Schema

ToSchema ValidatorHash Source # 
Instance details

Defined in Schema

ToSchema TokenName Source # 
Instance details

Defined in Schema

ToSchema CurrencySymbol Source # 
Instance details

Defined in Schema

ToSchema Signature Source # 
Instance details

Defined in Schema

ToSchema Ada Source # 
Instance details

Defined in Schema

ToSchema LedgerBytes Source # 
Instance details

Defined in Schema

ToSchema BuiltinByteString Source # 
Instance details

Defined in Schema

ToSchema Rational Source # 
Instance details

Defined in Schema

ToSchema UUID Source # 
Instance details

Defined in Schema

ToSchema PayToWalletParams Source # 
Instance details

Defined in Playground.Types

ToSchema a => ToSchema [a] Source # 
Instance details

Defined in Schema

ToSchema a => ToSchema (Maybe a) Source # 
Instance details

Defined in Schema

ToSchema (Digest SHA256) Source # 
Instance details

Defined in Schema

ToSchema a => ToSchema (SecretArgument a) Source # 
Instance details

Defined in Schema

(ToSchema a, ToSchema b) => ToSchema (a, b) Source # 
Instance details

Defined in Schema

(ToSchema k, ToSchema v) => ToSchema (Map k v) Source # 
Instance details

Defined in Schema

ToSchema a => ToSchema (Proxy a) Source # 
Instance details

Defined in Schema

(ToSchema k, ToSchema v) => ToSchema (Map k v) Source # 
Instance details

Defined in Schema

class ToSchema a => ToArgument a Source #

The value-level equivalent of ToSchema. Where ToSchema takes your type and returns a generic description of its structure, ToArgument takes your value and returns an equivalent value with a more generic structure. So semantially:

The description you get back is the FormArgument type, which describes all the obvious primitives, plus some Plutus types deemed worthy of special treatment (eg. Value).

>>> toSchema @User
>>> -- returns, "this is a record with a 'name' field, which is a String."
>>> 
>>> toArgument (User "Dave")
>>> -- returns, "this is a record with a 'name' field, which is a the String 'Dave'."

Instances

Instances details
ToArgument Bool Source # 
Instance details

Defined in Schema

ToArgument Int Source # 
Instance details

Defined in Schema

ToArgument Integer Source # 
Instance details

Defined in Schema

ToArgument () Source # 
Instance details

Defined in Schema

ToArgument String Source # 
Instance details

Defined in Schema

ToArgument Text Source # 
Instance details

Defined in Schema

ToArgument Slot Source # 
Instance details

Defined in Schema

ToArgument Value Source # 
Instance details

Defined in Schema

ToArgument Wallet Source # 
Instance details

Defined in Schema

ToArgument WalletId Source # 
Instance details

Defined in Schema

ToArgument WalletNumber Source # 
Instance details

Defined in Schema

ToArgument Ada Source # 
Instance details

Defined in Schema

ToArgument Rational Source # 
Instance details

Defined in Schema

ToArgument PayToWalletParams Source # 
Instance details

Defined in Playground.Types

(ToSchema a, ToArgument a) => ToArgument [a] Source # 
Instance details

Defined in Schema

ToArgument a => ToArgument (SecretArgument a) Source # 
Instance details

Defined in Schema

(ToArgument a, ToArgument b) => ToArgument (a, b) Source # 
Instance details

Defined in Schema

Methods

toArgument :: (a, b) -> Fix FormArgumentF Source #

class ToJSON a Source #

A type that can be converted to JSON.

Instances in general must specify toJSON and should (but don't need to) specify toEncoding.

An example type and instance:

-- Allow ourselves to write Text literals.
{-# LANGUAGE OverloadedStrings #-}

data Coord = Coord { x :: Double, y :: Double }

instance ToJSON Coord where
  toJSON (Coord x y) = object ["x" .= x, "y" .= y]

  toEncoding (Coord x y) = pairs ("x" .= x <> "y" .= y)

Instead of manually writing your ToJSON instance, there are two options to do it automatically:

  • Data.Aeson.TH provides Template Haskell functions which will derive an instance at compile time. The generated instance is optimized for your type so it will probably be more efficient than the following option.
  • The compiler can provide a default generic implementation for toJSON.

To use the second, simply add a deriving Generic clause to your datatype and declare a ToJSON instance. If you require nothing other than defaultOptions, it is sufficient to write (and this is the only alternative where the default toJSON implementation is sufficient):

{-# LANGUAGE DeriveGeneric #-}

import GHC.Generics

data Coord = Coord { x :: Double, y :: Double } deriving Generic

instance ToJSON Coord where
    toEncoding = genericToEncoding defaultOptions

If on the other hand you wish to customize the generic decoding, you have to implement both methods:

customOptions = defaultOptions
                { fieldLabelModifier = map toUpper
                }

instance ToJSON Coord where
    toJSON     = genericToJSON customOptions
    toEncoding = genericToEncoding customOptions

Previous versions of this library only had the toJSON method. Adding toEncoding had two reasons:

  1. toEncoding is more efficient for the common case that the output of toJSON is directly serialized to a ByteString. Further, expressing either method in terms of the other would be non-optimal.
  2. The choice of defaults allows a smooth transition for existing users: Existing instances that do not define toEncoding still compile and have the correct semantics. This is ensured by making the default implementation of toEncoding use toJSON. This produces correct results, but since it performs an intermediate conversion to a Value, it will be less efficient than directly emitting an Encoding. (this also means that specifying nothing more than instance ToJSON Coord would be sufficient as a generically decoding instance, but there probably exists no good reason to not specify toEncoding in new instances.)

Instances

Instances details
ToJSON Bool 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Char 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Double 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Float 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int8 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int16 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int32 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Int64 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Integer 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Natural 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Ordering 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word8 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word16 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word32 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Word64 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON () 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Version 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Scientific 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Text 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON UTCTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Value 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON DotNetTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Text 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Number 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON Void 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON CTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON ByteString64 
Instance details

Defined in Data.ByteString.Base64.Type

ToJSON BeamSerializedDataType 
Instance details

Defined in Database.Beam.Migrate.Serialization

ToJSON PredicateSpecificity 
Instance details

Defined in Database.Beam.Migrate.Types.Predicates

ToJSON QualifiedName 
Instance details

Defined in Database.Beam.Migrate.Types.Predicates

ToJSON EpochSize 
Instance details

Defined in Cardano.Slotting.Slot

ToJSON ChainTip 
Instance details

Defined in Cardano.Api.Block

ToJSON TxId 
Instance details

Defined in Cardano.Api.TxBody

ToJSON TxIn 
Instance details

Defined in Cardano.Api.TxBody

ToJSON TxIx 
Instance details

Defined in Cardano.Api.TxBody

ToJSON ProtocolParameters 
Instance details

Defined in Cardano.Api.ProtocolParameters

ToJSON PraosNonce 
Instance details

Defined in Cardano.Api.ProtocolParameters

ToJSON ExecutionUnitPrices 
Instance details

Defined in Cardano.Api.ProtocolParameters

ToJSON CostModel 
Instance details

Defined in Cardano.Api.ProtocolParameters

ToJSON Lovelace 
Instance details

Defined in Cardano.Api.Value

ToJSON Quantity 
Instance details

Defined in Cardano.Api.Value

ToJSON PolicyId 
Instance details

Defined in Cardano.Api.Value

ToJSON AssetName 
Instance details

Defined in Cardano.Api.Value

ToJSON Value 
Instance details

Defined in Cardano.Api.Value

ToJSON ValueNestedRep 
Instance details

Defined in Cardano.Api.Value

ToJSON StakeAddress 
Instance details

Defined in Cardano.Api.Address

ToJSON AnyPlutusScriptVersion 
Instance details

Defined in Cardano.Api.Script

ToJSON ExecutionUnits 
Instance details

Defined in Cardano.Api.Script

ToJSON ScriptHash 
Instance details

Defined in Cardano.Api.Script

ToJSON TextEnvelopeType 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

ToJSON TextEnvelopeDescr 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

ToJSON TextEnvelope 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

ToJSON AnyCardanoEra 
Instance details

Defined in Cardano.Api.Eras

ToJSON SlotNo 
Instance details

Defined in Cardano.Slotting.Slot

ToJSON EpochNo 
Instance details

Defined in Cardano.Slotting.Slot

ToJSON ByteSpan 
Instance details

Defined in Cardano.Binary.Annotated

ToJSON ProtocolMagicId 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

ToJSON VerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.VerificationKey

ToJSON CompactRedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

ToJSON RedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

ToJSON ProtocolMagic 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

ToJSON RequiresNetworkMagic 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

ToJSON Proof 
Instance details

Defined in Cardano.Chain.Block.Proof

ToJSON ProposalBody 
Instance details

Defined in Cardano.Chain.Update.Proposal

ToJSON SystemTag 
Instance details

Defined in Cardano.Chain.Update.SystemTag

ToJSON SoftwareVersion 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

ToJSON ProtocolParametersUpdate 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

ToJSON SoftforkRule 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

ToJSON ProtocolVersion 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

ToJSON InstallerHash 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

ToJSON ApplicationName 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

ToJSON TxProof 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

ToJSON TxInWitness 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

ToJSON TxSigData 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

ToJSON Tx 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToJSON TxIn 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToJSON TxOut 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToJSON SscPayload 
Instance details

Defined in Cardano.Chain.Ssc

ToJSON SscProof 
Instance details

Defined in Cardano.Chain.Ssc

ToJSON SlotNumber 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

ToJSON EpochNumber 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

ToJSON GenesisHash 
Instance details

Defined in Cardano.Chain.Genesis.Hash

ToJSON TxFeePolicy 
Instance details

Defined in Cardano.Chain.Common.TxFeePolicy

ToJSON TxSizeLinear 
Instance details

Defined in Cardano.Chain.Common.TxSizeLinear

ToJSON Address 
Instance details

Defined in Cardano.Chain.Common.Address

ToJSON AddrAttributes 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

ToJSON HDAddressPayload 
Instance details

Defined in Cardano.Chain.Common.AddrAttributes

ToJSON NetworkMagic 
Instance details

Defined in Cardano.Chain.Common.NetworkMagic

ToJSON LovelacePortion 
Instance details

Defined in Cardano.Chain.Common.LovelacePortion

ToJSON Lovelace 
Instance details

Defined in Cardano.Chain.Common.Lovelace

ToJSON ChainDifficulty 
Instance details

Defined in Cardano.Chain.Common.ChainDifficulty

ToJSON UnparsedFields 
Instance details

Defined in Cardano.Chain.Common.Attributes

ToJSON AddrType 
Instance details

Defined in Cardano.Chain.Common.AddrSpendingData

ToJSON ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON NonNegativeInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON PositiveInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON PositiveUnitInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON UnitInterval 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Url 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON DnsName 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Port 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Network 
Instance details

Defined in Cardano.Ledger.BaseTypes

ToJSON Coin 
Instance details

Defined in Cardano.Ledger.Coin

ToJSON RewardInfoPool 
Instance details

Defined in Cardano.Ledger.Shelley.API.Wallet

ToJSON RewardParams 
Instance details

Defined in Cardano.Ledger.Shelley.API.Wallet

ToJSON Desirability 
Instance details

Defined in Cardano.Ledger.Shelley.RewardProvenance

ToJSON PoolMetadata 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToJSON StakePoolRelay 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

ToJSON IntSet 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON StakePoolTicker 
Instance details

Defined in Cardano.Wallet.Primitive.Types

ToJSON PoolOwner 
Instance details

Defined in Cardano.Wallet.Primitive.Types

ToJSON ExecutionUnitPrices 
Instance details

Defined in Cardano.Wallet.Primitive.Types

ToJSON PoolMetadataSource 
Instance details

Defined in Cardano.Wallet.Primitive.Types

ToJSON Percentage 
Instance details

Defined in Data.Quantity

ToJSON TokenPolicyId 
Instance details

Defined in Cardano.Wallet.Primitive.Types.TokenPolicy

ToJSON TokenName 
Instance details

Defined in Cardano.Wallet.Primitive.Types.TokenPolicy

ToJSON TokenQuantity 
Instance details

Defined in Cardano.Wallet.Primitive.Types.TokenQuantity

ToJSON DiffTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON NominalDiffTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSON BeamError 
Instance details

Defined in Control.Monad.Freer.Extras.Beam

ToJSON BeamLog 
Instance details

Defined in Control.Monad.Freer.Extras.Beam

ToJSON PageSize 
Instance details

Defined in Control.Monad.Freer.Extras.Pagination

ToJSON LogLevel 
Instance details

Defined in Control.Monad.Freer.Extras.Log

ToJSON NumericDate 
Instance details

Defined in Web.JWT

ToJSON StringOrURI 
Instance details

Defined in Web.JWT

ToJSON Algorithm 
Instance details

Defined in Web.JWT

ToJSON JOSEHeader 
Instance details

Defined in Web.JWT

ToJSON JWTClaimsSet 
Instance details

Defined in Web.JWT

ToJSON OpenApi 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Info 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Contact 
Instance details

Defined in Data.OpenApi.Internal

ToJSON License 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Server 
Instance details

Defined in Data.OpenApi.Internal

ToJSON ServerVariable 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Components 
Instance details

Defined in Data.OpenApi.Internal

ToJSON PathItem 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Operation 
Instance details

Defined in Data.OpenApi.Internal

ToJSON RequestBody 
Instance details

Defined in Data.OpenApi.Internal

ToJSON MediaTypeObject 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Style 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Encoding 
Instance details

Defined in Data.OpenApi.Internal

ToJSON MimeList 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Param 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Example 
Instance details

Defined in Data.OpenApi.Internal

ToJSON ExpressionOrValue 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Link 
Instance details

Defined in Data.OpenApi.Internal

ToJSON OpenApiItems

As for nullary schema for 0-arity type constructors, see https://github.com/GetShopTV/swagger2/issues/167.

>>> BSL.putStrLn $ encodePretty (OpenApiItemsArray [])
{
    "example": [],
    "items": {},
    "maxItems": 0
}
Instance details

Defined in Data.OpenApi.Internal

ToJSON OpenApiType 
Instance details

Defined in Data.OpenApi.Internal

ToJSON ParamLocation 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Schema 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Discriminator 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Xml 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Responses 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Response 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Callback 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Header 
Instance details

Defined in Data.OpenApi.Internal

ToJSON ApiKeyLocation 
Instance details

Defined in Data.OpenApi.Internal

ToJSON ApiKeyParams 
Instance details

Defined in Data.OpenApi.Internal

ToJSON OAuth2ImplicitFlow 
Instance details

Defined in Data.OpenApi.Internal

ToJSON OAuth2PasswordFlow 
Instance details

Defined in Data.OpenApi.Internal

ToJSON OAuth2ClientCredentialsFlow 
Instance details

Defined in Data.OpenApi.Internal

ToJSON OAuth2AuthorizationCodeFlow 
Instance details

Defined in Data.OpenApi.Internal

ToJSON OAuth2Flows 
Instance details

Defined in Data.OpenApi.Internal

ToJSON SecuritySchemeType 
Instance details

Defined in Data.OpenApi.Internal

ToJSON SecurityScheme 
Instance details

Defined in Data.OpenApi.Internal

ToJSON SecurityDefinitions 
Instance details

Defined in Data.OpenApi.Internal

ToJSON SecurityRequirement 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Tag 
Instance details

Defined in Data.OpenApi.Internal

ToJSON ExternalDocs 
Instance details

Defined in Data.OpenApi.Internal

ToJSON Reference 
Instance details

Defined in Data.OpenApi.Internal

ToJSON URL 
Instance details

Defined in Data.OpenApi.Internal

ToJSON AdditionalProperties 
Instance details

Defined in Data.OpenApi.Internal

ToJSON PeerAdvertise 
Instance details

Defined in Ouroboros.Network.PeerSelection.Types

ToJSON TxOutRef 
Instance details

Defined in Plutus.V1.Ledger.Tx

ToJSON Slot 
Instance details

Defined in Plutus.V1.Ledger.Slot

ToJSON ToCardanoError 
Instance details

Defined in Ledger.Tx.CardanoAPI

ToJSON FromCardanoError 
Instance details

Defined in Ledger.Tx.CardanoAPI

ToJSON SomeCardanoApiTx 
Instance details

Defined in Ledger.Tx.CardanoAPI

ToJSON AssetClass 
Instance details

Defined in Plutus.V1.Ledger.Value

ToJSON OnChainTx 
Instance details

Defined in Ledger.Blockchain

ToJSON ChainIndexLog 
Instance details

Defined in Plutus.ChainIndex.ChainIndexLog

ToJSON InsertUtxoPosition 
Instance details

Defined in Plutus.ChainIndex.ChainIndexLog

ToJSON UtxoAtAddressRequest 
Instance details

Defined in Plutus.ChainIndex.Api

ToJSON UtxoWithCurrencyRequest 
Instance details

Defined in Plutus.ChainIndex.Api

ToJSON UtxosResponse 
Instance details

Defined in Plutus.ChainIndex.Api

ToJSON IsUtxoResponse 
Instance details

Defined in Plutus.ChainIndex.Api

ToJSON TxoAtAddressRequest 
Instance details

Defined in Plutus.ChainIndex.Api

ToJSON TxosResponse 
Instance details

Defined in Plutus.ChainIndex.Api

ToJSON ChainIndexError 
Instance details

Defined in Plutus.ChainIndex.ChainIndexError

ToJSON InsertUtxoFailed 
Instance details

Defined in Plutus.ChainIndex.ChainIndexError

ToJSON RollbackFailed 
Instance details

Defined in Plutus.ChainIndex.ChainIndexError

ToJSON TxUtxoBalance 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON TxValidity 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON Depth 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON TxOutState 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON Diagnostics 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON TxOutBalance 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON BlockNumber 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON Tip 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON Point 
Instance details

Defined in Plutus.ChainIndex.Types

ToJSON ChainIndexTx 
Instance details

Defined in Plutus.ChainIndex.Tx

ToJSON ChainIndexTxOutputs 
Instance details

Defined in Plutus.ChainIndex.Tx

ToJSON BlockId 
Instance details

Defined in Ledger.Blockchain

ToJSON POSIXTime

Custom ToJSON instance which allows to simply convert a POSIXTime value to a JSON number.

Instance details

Defined in Plutus.V1.Ledger.Time

ToJSON Validator 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON Tx 
Instance details

Defined in Plutus.V1.Ledger.Tx

ToJSON TxId 
Instance details

Defined in Plutus.V1.Ledger.TxId

ToJSON Value 
Instance details

Defined in Plutus.V1.Ledger.Value

ToJSON Datum 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON TxConstraint 
Instance details

Defined in Ledger.Constraints.TxConstraints

ToJSON UnbalancedTx 
Instance details

Defined in Ledger.Constraints.OffChain

ToJSON MkTxError 
Instance details

Defined in Ledger.Constraints.OffChain

ToJSON EndpointError 
Instance details

Defined in Plutus.Contract.Trace

ToJSON EmulatorEvent' 
Instance details

Defined in Wallet.Emulator.MultiAgent

ToJSON EmulatorRuntimeError 
Instance details

Defined in Plutus.Trace.Emulator.Types

ToJSON ContractInstanceTag 
Instance details

Defined in Plutus.Trace.Emulator.Types

ToJSON UserThreadMsg 
Instance details

Defined in Plutus.Trace.Emulator.Types

ToJSON ContractInstanceMsg 
Instance details

Defined in Plutus.Trace.Emulator.Types

ToJSON ContractInstanceLog 
Instance details

Defined in Plutus.Trace.Emulator.Types

ToJSON Wallet 
Instance details

Defined in Wallet.Emulator.Wallet

ToJSON WalletId 
Instance details

Defined in Wallet.Emulator.Wallet

ToJSON WalletEvent 
Instance details

Defined in Wallet.Emulator.Wallet

ToJSON ExportTxRedeemer 
Instance details

Defined in Plutus.Contract.Wallet

ToJSON ExportTx 
Instance details

Defined in Plutus.Contract.Wallet

ToJSON ExportTxInput 
Instance details

Defined in Plutus.Contract.Wallet

ToJSON MkTxLog 
Instance details

Defined in Plutus.Contract.Request

ToJSON ContractError 
Instance details

Defined in Plutus.Contract.Error

ToJSON AssertionError 
Instance details

Defined in Plutus.Contract.Error

ToJSON MatchingError 
Instance details

Defined in Plutus.Contract.Error

ToJSON PABReq 
Instance details

Defined in Plutus.Contract.Effects

ToJSON PABResp 
Instance details

Defined in Plutus.Contract.Effects

ToJSON ChainIndexQuery 
Instance details

Defined in Plutus.Contract.Effects

ToJSON ChainIndexResponse 
Instance details

Defined in Plutus.Contract.Effects

ToJSON BalanceTxResponse 
Instance details

Defined in Plutus.Contract.Effects

ToJSON WriteBalancedTxResponse 
Instance details

Defined in Plutus.Contract.Effects

ToJSON ActiveEndpoint 
Instance details

Defined in Plutus.Contract.Effects

ToJSON ContractInstanceId 
Instance details

Defined in Wallet.Types

ToJSON ContractActivityStatus 
Instance details

Defined in Wallet.Types

ToJSON EndpointDescription 
Instance details

Defined in Wallet.Types

ToJSON Notification 
Instance details

Defined in Wallet.Types

ToJSON NotificationError 
Instance details

Defined in Wallet.Types

ToJSON DereferencedInput 
Instance details

Defined in Wallet.Rollup.Types

ToJSON BeneficialOwner 
Instance details

Defined in Wallet.Rollup.Types

ToJSON AnnotatedTx 
Instance details

Defined in Wallet.Rollup.Types

ToJSON TxKey 
Instance details

Defined in Wallet.Rollup.Types

ToJSON SequenceId 
Instance details

Defined in Wallet.Rollup.Types

ToJSON NodeClientEvent 
Instance details

Defined in Wallet.Emulator.NodeClient

ToJSON RequestHandlerLogMsg 
Instance details

Defined in Wallet.Emulator.LogMessages

ToJSON TxBalanceMsg 
Instance details

Defined in Wallet.Emulator.LogMessages

ToJSON WalletAPIError 
Instance details

Defined in Wallet.Emulator.Error

ToJSON ChainEvent 
Instance details

Defined in Wallet.Emulator.Chain

ToJSON StopReason 
Instance details

Defined in Plutus.Trace.Scheduler

ToJSON ThreadEvent 
Instance details

Defined in Plutus.Trace.Scheduler

ToJSON SchedulerLog 
Instance details

Defined in Plutus.Trace.Scheduler

ToJSON ThreadId 
Instance details

Defined in Plutus.Trace.Scheduler

ToJSON Priority 
Instance details

Defined in Plutus.Trace.Scheduler

ToJSON Tag 
Instance details

Defined in Plutus.Trace.Tag

ToJSON ThreadToken 
Instance details

Defined in Plutus.Contract.StateMachine.ThreadToken

ToJSON RequestID 
Instance details

Defined in Plutus.Contract.Resumable

ToJSON IterationID 
Instance details

Defined in Plutus.Contract.Resumable

ToJSON CheckpointStore 
Instance details

Defined in Plutus.Contract.Checkpoint

ToJSON CheckpointLogMsg 
Instance details

Defined in Plutus.Contract.Checkpoint

ToJSON CheckpointKey 
Instance details

Defined in Plutus.Contract.Checkpoint

ToJSON CheckpointError 
Instance details

Defined in Plutus.Contract.Checkpoint

ToJSON PubKeyHash 
Instance details

Defined in Plutus.V1.Ledger.Crypto

ToJSON PubKey 
Instance details

Defined in Plutus.V1.Ledger.Crypto

ToJSON WalletNumber 
Instance details

Defined in Ledger.CardanoWallet