Safe Haskell	None
Language	Haskell2010

Playground.Types

Synopsis

data KnownCurrency = KnownCurrency {
- hash :: ValidatorHash
- friendlyName :: String
- knownTokens :: NonEmpty TokenName
}
adaCurrency :: KnownCurrency
data PayToWalletParams = PayToWalletParams {
- payTo :: WalletNumber
- value :: Value
}
data SimulatorWallet = SimulatorWallet {
- simulatorWalletWallet :: WalletNumber
- simulatorWalletBalance :: Value
}
data ContractCall a
- = CallEndpoint {
  - caller :: WalletNumber
  - argumentValues :: FunctionSchema a
  }
- | AddBlocks {
  - blocks :: Integer
  }
- | AddBlocksUntil {
  - slot :: Slot
  }
- | PayToWallet {
  - sender :: WalletNumber
  - recipient :: WalletNumber
  - amount :: Value
  }
type SimulatorAction = ContractCall (Fix FormArgumentF)
type Expression = ContractCall Value
data Simulation = Simulation {
- simulationName :: String
- simulationId :: Int
- simulationActions :: [SimulatorAction]
- simulationWallets :: [SimulatorWallet]
}
data Evaluation = Evaluation {
- wallets :: [SimulatorWallet]
- sourceCode :: SourceCode
- program :: Value
}
pubKeys :: Evaluation -> [PaymentPubKeyHash]
data EvaluationResult = EvaluationResult {
- resultRollup :: [[AnnotatedTx]]
- emulatorLog :: [EmulatorEvent]
- emulatorTrace :: Text
- fundsDistribution :: [SimulatorWallet]
- feesDistribution :: [SimulatorWallet]
- walletKeys :: [(PaymentPubKeyHash, WalletNumber)]
}
data CompilationResult = CompilationResult {
- functionSchema :: [FunctionSchema FormSchema]
- knownCurrencies :: [KnownCurrency]
}
data ContractDemo = ContractDemo {
}
data FunctionSchema a = FunctionSchema {
- endpointDescription :: EndpointDescription
- argument :: a
}
data PlaygroundError
- = CompilationErrors [CompilationError]
- | InterpreterError InterpreterError
- | RollupError Text
- | OtherError String
- | JsonDecodingError {
  - expected :: String
  - decodingError :: String
  - input :: String
  }

Documentation

data KnownCurrency Source #

Constructors

KnownCurrency
Fields hash :: ValidatorHash friendlyName :: String knownTokens :: NonEmpty TokenName

Instances

Instances details

Eq KnownCurrency Source #
Instance details Defined in Playground.Types Methods (==) :: KnownCurrency -> KnownCurrency -> Bool Source # (/=) :: KnownCurrency -> KnownCurrency -> Bool Source #
Show KnownCurrency Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> KnownCurrency -> ShowS Source # show :: KnownCurrency -> String Source # showList :: [KnownCurrency] -> ShowS Source #
Generic KnownCurrency Source #
Instance details Defined in Playground.Types Associated Types type Rep KnownCurrency :: Type -> Type Source # Methods from :: KnownCurrency -> Rep KnownCurrency x Source # to :: Rep KnownCurrency x -> KnownCurrency Source #
ToJSON KnownCurrency Source #
Instance details Defined in Playground.Types Methods toJSON :: KnownCurrency -> Value Source # toEncoding :: KnownCurrency -> Encoding Source # toJSONList :: [KnownCurrency] -> Value Source # toEncodingList :: [KnownCurrency] -> Encoding Source #
FromJSON KnownCurrency Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser KnownCurrency Source # parseJSONList :: Value -> Parser [KnownCurrency] Source #
type Rep KnownCurrency Source #
Instance details Defined in Playground.Types type Rep KnownCurrency = D1 ('MetaData "KnownCurrency" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "KnownCurrency" 'PrefixI 'True) (S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidatorHash) :: (S1 ('MetaSel ('Just "friendlyName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "knownTokens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TokenName)))))

adaCurrency :: KnownCurrency Source #

data PayToWalletParams Source #

Constructors

PayToWalletParams
Fields payTo :: WalletNumber value :: Value

Instances

Instances details

Eq PayToWalletParams Source #
Instance details Defined in Playground.Types Methods (==) :: PayToWalletParams -> PayToWalletParams -> Bool Source # (/=) :: PayToWalletParams -> PayToWalletParams -> Bool Source #
Show PayToWalletParams Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> PayToWalletParams -> ShowS Source # show :: PayToWalletParams -> String Source # showList :: [PayToWalletParams] -> ShowS Source #
Generic PayToWalletParams Source #
Instance details Defined in Playground.Types Associated Types type Rep PayToWalletParams :: Type -> Type Source # Methods from :: PayToWalletParams -> Rep PayToWalletParams x Source # to :: Rep PayToWalletParams x -> PayToWalletParams Source #
ToJSON PayToWalletParams Source #
Instance details Defined in Playground.Types Methods toJSON :: PayToWalletParams -> Value Source # toEncoding :: PayToWalletParams -> Encoding Source # toJSONList :: [PayToWalletParams] -> Value Source # toEncodingList :: [PayToWalletParams] -> Encoding Source #
FromJSON PayToWalletParams Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser PayToWalletParams Source # parseJSONList :: Value -> Parser [PayToWalletParams] Source #
ToArgument PayToWalletParams Source #
Instance details Defined in Playground.Types Methods toArgument :: PayToWalletParams -> Fix FormArgumentF Source #
ToSchema PayToWalletParams Source #
Instance details Defined in Playground.Types Methods toSchema :: FormSchema Source #
type Rep PayToWalletParams Source #
Instance details Defined in Playground.Types type Rep PayToWalletParams = D1 ('MetaData "PayToWalletParams" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "PayToWalletParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "payTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletNumber) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data SimulatorWallet Source #

Constructors

SimulatorWallet
Fields simulatorWalletWallet :: WalletNumber simulatorWalletBalance :: Value

Instances

Instances details

Eq SimulatorWallet Source #
Instance details Defined in Playground.Types Methods (==) :: SimulatorWallet -> SimulatorWallet -> Bool Source # (/=) :: SimulatorWallet -> SimulatorWallet -> Bool Source #
Show SimulatorWallet Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> SimulatorWallet -> ShowS Source # show :: SimulatorWallet -> String Source # showList :: [SimulatorWallet] -> ShowS Source #
Generic SimulatorWallet Source #
Instance details Defined in Playground.Types Associated Types type Rep SimulatorWallet :: Type -> Type Source # Methods from :: SimulatorWallet -> Rep SimulatorWallet x Source # to :: Rep SimulatorWallet x -> SimulatorWallet Source #
ToJSON SimulatorWallet Source #
Instance details Defined in Playground.Types Methods toJSON :: SimulatorWallet -> Value Source # toEncoding :: SimulatorWallet -> Encoding Source # toJSONList :: [SimulatorWallet] -> Value Source # toEncodingList :: [SimulatorWallet] -> Encoding Source #
FromJSON SimulatorWallet Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser SimulatorWallet Source # parseJSONList :: Value -> Parser [SimulatorWallet] Source #
type Rep SimulatorWallet Source #
Instance details Defined in Playground.Types type Rep SimulatorWallet = D1 ('MetaData "SimulatorWallet" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "SimulatorWallet" 'PrefixI 'True) (S1 ('MetaSel ('Just "simulatorWalletWallet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletNumber) :*: S1 ('MetaSel ('Just "simulatorWalletBalance") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data ContractCall a Source #

Describes the mockchain requests the frontend can make of the backend. These will be mostly calls to their contract's various endpoints, but we supply a few extra special calls for the sake of easier testing and simulation.

Constructors

CallEndpoint	Call one of the defined endpoints of your contract.
Fields caller :: WalletNumber argumentValues :: FunctionSchema a
AddBlocks	Add the specified number of blocks to the mockchain before continuing.
Fields blocks :: Integer
AddBlocksUntil	Keep adding blocks until the mockchain reaches the specified slot, then continue. (Note that calling `AddBlocksUntil 20` doesn't mean you'll continue at slot 20, just that the slot number will now be at least that high.
Fields slot :: Slot
PayToWallet	Make a wallet-to-wallet transfer of the specified value.
Fields sender :: WalletNumber recipient :: WalletNumber amount :: Value

Instances

Instances details

Functor ContractCall Source #
Instance details Defined in Playground.Types Methods fmap :: (a -> b) -> ContractCall a -> ContractCall b Source # (<$) :: a -> ContractCall b -> ContractCall a Source #
Foldable ContractCall Source #
Instance details Defined in Playground.Types Methods fold :: Monoid m => ContractCall m -> m Source # foldMap :: Monoid m => (a -> m) -> ContractCall a -> m Source # foldMap' :: Monoid m => (a -> m) -> ContractCall a -> m Source # foldr :: (a -> b -> b) -> b -> ContractCall a -> b Source # foldr' :: (a -> b -> b) -> b -> ContractCall a -> b Source # foldl :: (b -> a -> b) -> b -> ContractCall a -> b Source # foldl' :: (b -> a -> b) -> b -> ContractCall a -> b Source # foldr1 :: (a -> a -> a) -> ContractCall a -> a Source # foldl1 :: (a -> a -> a) -> ContractCall a -> a Source # toList :: ContractCall a -> [a] Source # null :: ContractCall a -> Bool Source # length :: ContractCall a -> Int Source # elem :: Eq a => a -> ContractCall a -> Bool Source # maximum :: Ord a => ContractCall a -> a Source # minimum :: Ord a => ContractCall a -> a Source # sum :: Num a => ContractCall a -> a Source # product :: Num a => ContractCall a -> a Source #
Traversable ContractCall Source #
Instance details Defined in Playground.Types Methods traverse :: Applicative f => (a -> f b) -> ContractCall a -> f (ContractCall b) Source # sequenceA :: Applicative f => ContractCall (f a) -> f (ContractCall a) Source # mapM :: Monad m => (a -> m b) -> ContractCall a -> m (ContractCall b) Source # sequence :: Monad m => ContractCall (m a) -> m (ContractCall a) Source #
Eq a => Eq (ContractCall a) Source #
Instance details Defined in Playground.Types Methods (==) :: ContractCall a -> ContractCall a -> Bool Source # (/=) :: ContractCall a -> ContractCall a -> Bool Source #
Show a => Show (ContractCall a) Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> ContractCall a -> ShowS Source # show :: ContractCall a -> String Source # showList :: [ContractCall a] -> ShowS Source #
Generic (ContractCall a) Source #
Instance details Defined in Playground.Types Associated Types type Rep (ContractCall a) :: Type -> Type Source # Methods from :: ContractCall a -> Rep (ContractCall a) x Source # to :: Rep (ContractCall a) x -> ContractCall a Source #
ToJSON a => ToJSON (ContractCall a) Source #
Instance details Defined in Playground.Types Methods toJSON :: ContractCall a -> Value Source # toEncoding :: ContractCall a -> Encoding Source # toJSONList :: [ContractCall a] -> Value Source # toEncodingList :: [ContractCall a] -> Encoding Source #
FromJSON a => FromJSON (ContractCall a) Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser (ContractCall a) Source # parseJSONList :: Value -> Parser [ContractCall a] Source #
type Rep (ContractCall a) Source #
Instance details Defined in Playground.Types type Rep (ContractCall a) = D1 ('MetaData "ContractCall" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) ((C1 ('MetaCons "CallEndpoint" 'PrefixI 'True) (S1 ('MetaSel ('Just "caller") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletNumber) :: S1 ('MetaSel ('Just "argumentValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FunctionSchema a))) :+: C1 ('MetaCons "AddBlocks" 'PrefixI 'True) (S1 ('MetaSel ('Just "blocks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) :+: (C1 ('MetaCons "AddBlocksUntil" 'PrefixI 'True) (S1 ('MetaSel ('Just "slot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)) :+: C1 ('MetaCons "PayToWallet" 'PrefixI 'True) (S1 ('MetaSel ('Just "sender") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletNumber) :: (S1 ('MetaSel ('Just "recipient") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WalletNumber) :*: S1 ('MetaSel ('Just "amount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))))

type SimulatorAction = ContractCall (Fix FormArgumentF) Source #

type Expression = ContractCall Value Source #

data Simulation Source #

The example simulations have meaningful (hard-coded) names, but, for any simulation the user creates in the playground, simulationName = "Simulation " <> show simulationId; the simulationId is simply present to ensure every simulation is created with a unique name.

Constructors

Simulation
Fields simulationName :: String simulationId :: Int simulationActions :: [SimulatorAction] simulationWallets :: [SimulatorWallet]

Instances

Instances details

Eq Simulation Source #
Instance details Defined in Playground.Types Methods (==) :: Simulation -> Simulation -> Bool Source # (/=) :: Simulation -> Simulation -> Bool Source #
Show Simulation Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> Simulation -> ShowS Source # show :: Simulation -> String Source # showList :: [Simulation] -> ShowS Source #
Generic Simulation Source #
Instance details Defined in Playground.Types Associated Types type Rep Simulation :: Type -> Type Source # Methods from :: Simulation -> Rep Simulation x Source # to :: Rep Simulation x -> Simulation Source #
ToJSON Simulation Source #
Instance details Defined in Playground.Types Methods toJSON :: Simulation -> Value Source # toEncoding :: Simulation -> Encoding Source # toJSONList :: [Simulation] -> Value Source # toEncodingList :: [Simulation] -> Encoding Source #
FromJSON Simulation Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser Simulation Source # parseJSONList :: Value -> Parser [Simulation] Source #
type Rep Simulation Source #
Instance details Defined in Playground.Types type Rep Simulation = D1 ('MetaData "Simulation" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "Simulation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "simulationName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "simulationId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "simulationActions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SimulatorAction]) :*: S1 ('MetaSel ('Just "simulationWallets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SimulatorWallet]))))

data Evaluation Source #

Constructors

Evaluation
Fields wallets :: [SimulatorWallet] sourceCode :: SourceCode program :: Value This will be a '[Expression s]' where `s` is the schema from the compiled `SourceCode`. It has to be JSON, because we can't know the type of `s` until the `SourceCode` has been compiled.

Instances

Instances details

Generic Evaluation Source #
Instance details Defined in Playground.Types Associated Types type Rep Evaluation :: Type -> Type Source # Methods from :: Evaluation -> Rep Evaluation x Source # to :: Rep Evaluation x -> Evaluation Source #
ToJSON Evaluation Source #
Instance details Defined in Playground.Types Methods toJSON :: Evaluation -> Value Source # toEncoding :: Evaluation -> Encoding Source # toJSONList :: [Evaluation] -> Value Source # toEncodingList :: [Evaluation] -> Encoding Source #
FromJSON Evaluation Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser Evaluation Source # parseJSONList :: Value -> Parser [Evaluation] Source #
type Rep Evaluation Source #
Instance details Defined in Playground.Types type Rep Evaluation = D1 ('MetaData "Evaluation" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "Evaluation" 'PrefixI 'True) (S1 ('MetaSel ('Just "wallets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SimulatorWallet]) :: (S1 ('MetaSel ('Just "sourceCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceCode) :: S1 ('MetaSel ('Just "program") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

pubKeys :: Evaluation -> [PaymentPubKeyHash] Source #

data EvaluationResult Source #

Constructors

EvaluationResult
Fields resultRollup :: [[AnnotatedTx]] Annotated blockchain, newest blocks first emulatorLog :: [EmulatorEvent] The emulator log, newest events first emulatorTrace :: Text fundsDistribution :: [SimulatorWallet] feesDistribution :: [SimulatorWallet] walletKeys :: [(PaymentPubKeyHash, WalletNumber)]

Instances

Instances details

Show EvaluationResult Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> EvaluationResult -> ShowS Source # show :: EvaluationResult -> String Source # showList :: [EvaluationResult] -> ShowS Source #
Generic EvaluationResult Source #
Instance details Defined in Playground.Types Associated Types type Rep EvaluationResult :: Type -> Type Source # Methods from :: EvaluationResult -> Rep EvaluationResult x Source # to :: Rep EvaluationResult x -> EvaluationResult Source #
ToJSON EvaluationResult Source #
Instance details Defined in Playground.Types Methods toJSON :: EvaluationResult -> Value Source # toEncoding :: EvaluationResult -> Encoding Source # toJSONList :: [EvaluationResult] -> Value Source # toEncodingList :: [EvaluationResult] -> Encoding Source #
FromJSON EvaluationResult Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser EvaluationResult Source # parseJSONList :: Value -> Parser [EvaluationResult] Source #
type Rep EvaluationResult Source #
Instance details Defined in Playground.Types type Rep EvaluationResult = D1 ('MetaData "EvaluationResult" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "EvaluationResult" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resultRollup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [[AnnotatedTx]]) :: (S1 ('MetaSel ('Just "emulatorLog") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [EmulatorEvent]) :: S1 ('MetaSel ('Just "emulatorTrace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :: (S1 ('MetaSel ('Just "fundsDistribution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SimulatorWallet]) :: (S1 ('MetaSel ('Just "feesDistribution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SimulatorWallet]) :*: S1 ('MetaSel ('Just "walletKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(PaymentPubKeyHash, WalletNumber)])))))

data CompilationResult Source #

Constructors

CompilationResult
Fields functionSchema :: [FunctionSchema FormSchema] knownCurrencies :: [KnownCurrency]

Instances

Instances details

Eq CompilationResult Source #
Instance details Defined in Playground.Types Methods (==) :: CompilationResult -> CompilationResult -> Bool Source # (/=) :: CompilationResult -> CompilationResult -> Bool Source #
Show CompilationResult Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> CompilationResult -> ShowS Source # show :: CompilationResult -> String Source # showList :: [CompilationResult] -> ShowS Source #
Generic CompilationResult Source #
Instance details Defined in Playground.Types Associated Types type Rep CompilationResult :: Type -> Type Source # Methods from :: CompilationResult -> Rep CompilationResult x Source # to :: Rep CompilationResult x -> CompilationResult Source #
ToJSON CompilationResult Source #
Instance details Defined in Playground.Types Methods toJSON :: CompilationResult -> Value Source # toEncoding :: CompilationResult -> Encoding Source # toJSONList :: [CompilationResult] -> Value Source # toEncodingList :: [CompilationResult] -> Encoding Source #
type Rep CompilationResult Source #
Instance details Defined in Playground.Types type Rep CompilationResult = D1 ('MetaData "CompilationResult" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "CompilationResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "functionSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FunctionSchema FormSchema]) :*: S1 ('MetaSel ('Just "knownCurrencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KnownCurrency])))

data ContractDemo Source #

Constructors

ContractDemo
Fields contractDemoName :: Text contractDemoEditorContents :: SourceCode contractDemoSimulations :: [Simulation] contractDemoContext :: InterpreterResult CompilationResult

Instances

Instances details

Eq ContractDemo Source #
Instance details Defined in Playground.Types Methods (==) :: ContractDemo -> ContractDemo -> Bool Source # (/=) :: ContractDemo -> ContractDemo -> Bool Source #
Show ContractDemo Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> ContractDemo -> ShowS Source # show :: ContractDemo -> String Source # showList :: [ContractDemo] -> ShowS Source #
Generic ContractDemo Source #
Instance details Defined in Playground.Types Associated Types type Rep ContractDemo :: Type -> Type Source # Methods from :: ContractDemo -> Rep ContractDemo x Source # to :: Rep ContractDemo x -> ContractDemo Source #
ToJSON ContractDemo Source #
Instance details Defined in Playground.Types Methods toJSON :: ContractDemo -> Value Source # toEncoding :: ContractDemo -> Encoding Source # toJSONList :: [ContractDemo] -> Value Source # toEncodingList :: [ContractDemo] -> Encoding Source #
type Rep ContractDemo Source #
Instance details Defined in Playground.Types type Rep ContractDemo = D1 ('MetaData "ContractDemo" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "ContractDemo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contractDemoName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "contractDemoEditorContents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceCode)) :: (S1 ('MetaSel ('Just "contractDemoSimulations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Simulation]) :*: S1 ('MetaSel ('Just "contractDemoContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InterpreterResult CompilationResult)))))

data FunctionSchema a Source #

Constructors

FunctionSchema
Fields endpointDescription :: EndpointDescription argument :: a All contract endpoints take a single argument. (Multiple arguments must be wrapped up into a container.)

Instances

Instances details

Functor FunctionSchema Source #
Instance details Defined in Playground.Types Methods fmap :: (a -> b) -> FunctionSchema a -> FunctionSchema b Source # (<$) :: a -> FunctionSchema b -> FunctionSchema a Source #
Foldable FunctionSchema Source #
Instance details Defined in Playground.Types Methods fold :: Monoid m => FunctionSchema m -> m Source # foldMap :: Monoid m => (a -> m) -> FunctionSchema a -> m Source # foldMap' :: Monoid m => (a -> m) -> FunctionSchema a -> m Source # foldr :: (a -> b -> b) -> b -> FunctionSchema a -> b Source # foldr' :: (a -> b -> b) -> b -> FunctionSchema a -> b Source # foldl :: (b -> a -> b) -> b -> FunctionSchema a -> b Source # foldl' :: (b -> a -> b) -> b -> FunctionSchema a -> b Source # foldr1 :: (a -> a -> a) -> FunctionSchema a -> a Source # foldl1 :: (a -> a -> a) -> FunctionSchema a -> a Source # toList :: FunctionSchema a -> [a] Source # null :: FunctionSchema a -> Bool Source # length :: FunctionSchema a -> Int Source # elem :: Eq a => a -> FunctionSchema a -> Bool Source # maximum :: Ord a => FunctionSchema a -> a Source # minimum :: Ord a => FunctionSchema a -> a Source # sum :: Num a => FunctionSchema a -> a Source # product :: Num a => FunctionSchema a -> a Source #
Traversable FunctionSchema Source #
Instance details Defined in Playground.Types Methods traverse :: Applicative f => (a -> f b) -> FunctionSchema a -> f (FunctionSchema b) Source # sequenceA :: Applicative f => FunctionSchema (f a) -> f (FunctionSchema a) Source # mapM :: Monad m => (a -> m b) -> FunctionSchema a -> m (FunctionSchema b) Source # sequence :: Monad m => FunctionSchema (m a) -> m (FunctionSchema a) Source #
Eq a => Eq (FunctionSchema a) Source #
Instance details Defined in Playground.Types Methods (==) :: FunctionSchema a -> FunctionSchema a -> Bool Source # (/=) :: FunctionSchema a -> FunctionSchema a -> Bool Source #
Show a => Show (FunctionSchema a) Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> FunctionSchema a -> ShowS Source # show :: FunctionSchema a -> String Source # showList :: [FunctionSchema a] -> ShowS Source #
Generic (FunctionSchema a) Source #
Instance details Defined in Playground.Types Associated Types type Rep (FunctionSchema a) :: Type -> Type Source # Methods from :: FunctionSchema a -> Rep (FunctionSchema a) x Source # to :: Rep (FunctionSchema a) x -> FunctionSchema a Source #
ToJSON a => ToJSON (FunctionSchema a) Source #
Instance details Defined in Playground.Types Methods toJSON :: FunctionSchema a -> Value Source # toEncoding :: FunctionSchema a -> Encoding Source # toJSONList :: [FunctionSchema a] -> Value Source # toEncodingList :: [FunctionSchema a] -> Encoding Source #
FromJSON a => FromJSON (FunctionSchema a) Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser (FunctionSchema a) Source # parseJSONList :: Value -> Parser [FunctionSchema a] Source #
ToSchema a => ToSchema (FunctionSchema a) Source #
Instance details Defined in Playground.Types Methods declareNamedSchema :: Proxy (FunctionSchema a) -> Declare (Definitions Schema) NamedSchema Source #
type Rep (FunctionSchema a) Source #
Instance details Defined in Playground.Types type Rep (FunctionSchema a) = D1 ('MetaData "FunctionSchema" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) (C1 ('MetaCons "FunctionSchema" 'PrefixI 'True) (S1 ('MetaSel ('Just "endpointDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EndpointDescription) :*: S1 ('MetaSel ('Just "argument") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data PlaygroundError Source #

Constructors

CompilationErrors [CompilationError]
InterpreterError InterpreterError
RollupError Text
OtherError String
JsonDecodingError
Fields expected :: String decodingError :: String input :: String

Instances

Instances details

Eq PlaygroundError Source #
Instance details Defined in Playground.Types Methods (==) :: PlaygroundError -> PlaygroundError -> Bool Source # (/=) :: PlaygroundError -> PlaygroundError -> Bool Source #
Show PlaygroundError Source #
Instance details Defined in Playground.Types Methods showsPrec :: Int -> PlaygroundError -> ShowS Source # show :: PlaygroundError -> String Source # showList :: [PlaygroundError] -> ShowS Source #
Generic PlaygroundError Source #
Instance details Defined in Playground.Types Associated Types type Rep PlaygroundError :: Type -> Type Source # Methods from :: PlaygroundError -> Rep PlaygroundError x Source # to :: Rep PlaygroundError x -> PlaygroundError Source #
ToJSON PlaygroundError Source #
Instance details Defined in Playground.Types Methods toJSON :: PlaygroundError -> Value Source # toEncoding :: PlaygroundError -> Encoding Source # toJSONList :: [PlaygroundError] -> Value Source # toEncodingList :: [PlaygroundError] -> Encoding Source #
FromJSON PlaygroundError Source #
Instance details Defined in Playground.Types Methods parseJSON :: Value -> Parser PlaygroundError Source # parseJSONList :: Value -> Parser [PlaygroundError] Source #
type Rep PlaygroundError Source #
Instance details Defined in Playground.Types type Rep PlaygroundError = D1 ('MetaData "PlaygroundError" "Playground.Types" "playground-common-1.1.0.0-BGIv25EIALK13vHpc6sZbN" 'False) ((C1 ('MetaCons "CompilationErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CompilationError])) :+: C1 ('MetaCons "InterpreterError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterpreterError))) :+: (C1 ('MetaCons "RollupError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "OtherError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "JsonDecodingError" 'PrefixI 'True) (S1 ('MetaSel ('Just "expected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "decodingError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "input") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))