plutus-playground-lib-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Playground.Contract

Contents

Description

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

Synopsis

Documentation

class ToSchema a Source #

Instances
ToSchema Bool 
Instance details

Defined in Schema

ToSchema Int 
Instance details

Defined in Schema

ToSchema Integer 
Instance details

Defined in Schema

ToSchema String 
Instance details

Defined in Schema

ToSchema Text 
Instance details

Defined in Schema

ToSchema PrivateKey 
Instance details

Defined in Ledger.Crypto

ToSchema Wallet 
Instance details

Defined in Wallet.Emulator.Types

ToSchema Value 
Instance details

Defined in Ledger.Value

ToSchema Slot 
Instance details

Defined in Ledger.Slot

ToSchema SlotRange 
Instance details

Defined in Ledger.Slot

ToSchema PubKey 
Instance details

Defined in Ledger.Crypto

ToSchema Ada 
Instance details

Defined in Ledger.Ada

ToSchema Signature 
Instance details

Defined in Ledger.Crypto

ToSchema ValidatorHash 
Instance details

Defined in Ledger.Scripts

ToSchema CurrencySymbol 
Instance details

Defined in Ledger.Value

ToSchema TokenName 
Instance details

Defined in Ledger.Value

ToSchema TokenName 
Instance details

Defined in Schema

ToSchema CurrencySymbol 
Instance details

Defined in Schema

ToSchema Slot 
Instance details

Defined in Schema

ToSchema Value 
Instance details

Defined in Schema

ToSchema VestingTranche 
Instance details

Defined in Schema

ToSchema LedgerBytes 
Instance details

Defined in LedgerBytes

ToSchema a => ToSchema [a] 
Instance details

Defined in Schema

ToSchema a => ToSchema (Maybe a) 
Instance details

Defined in Schema

ToSchema (TxOutRefOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

ToSchema h => ToSchema (TxIdOf h) 
Instance details

Defined in Ledger.TxId

ToSchema a => ToSchema (Interval a) 
Instance details

Defined in Schema

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

Defined in Schema

ToSchema a => ToSchema (Proxy a) 
Instance details

Defined in Schema

(ToSchema k, ToSchema v) => ToSchema (AssocMap k v) 
Instance details

Defined in Schema

class ToJSON a #

Instances
ToJSON Bool 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Bool -> Value

toEncoding :: Bool -> Encoding

toJSONList :: [Bool] -> Value

toEncodingList :: [Bool] -> Encoding

ToJSON Char 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Char -> Value

toEncoding :: Char -> Encoding

toJSONList :: [Char] -> Value

toEncodingList :: [Char] -> Encoding

ToJSON Double 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Double -> Value

toEncoding :: Double -> Encoding

toJSONList :: [Double] -> Value

toEncodingList :: [Double] -> Encoding

ToJSON Float 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Float -> Value

toEncoding :: Float -> Encoding

toJSONList :: [Float] -> Value

toEncodingList :: [Float] -> Encoding

ToJSON Int 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Int -> Value

toEncoding :: Int -> Encoding

toJSONList :: [Int] -> Value

toEncodingList :: [Int] -> Encoding

ToJSON Int8 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Int8 -> Value

toEncoding :: Int8 -> Encoding

toJSONList :: [Int8] -> Value

toEncodingList :: [Int8] -> Encoding

ToJSON Int16 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Int16 -> Value

toEncoding :: Int16 -> Encoding

toJSONList :: [Int16] -> Value

toEncodingList :: [Int16] -> Encoding

ToJSON Int32 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Int32 -> Value

toEncoding :: Int32 -> Encoding

toJSONList :: [Int32] -> Value

toEncodingList :: [Int32] -> Encoding

ToJSON Int64 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Int64 -> Value

toEncoding :: Int64 -> Encoding

toJSONList :: [Int64] -> Value

toEncodingList :: [Int64] -> Encoding

ToJSON Integer 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Integer -> Value

toEncoding :: Integer -> Encoding

toJSONList :: [Integer] -> Value

toEncodingList :: [Integer] -> Encoding

ToJSON Natural 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Natural -> Value

toEncoding :: Natural -> Encoding

toJSONList :: [Natural] -> Value

toEncodingList :: [Natural] -> Encoding

ToJSON Ordering 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Ordering -> Value

toEncoding :: Ordering -> Encoding

toJSONList :: [Ordering] -> Value

toEncodingList :: [Ordering] -> Encoding

ToJSON Word 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Word -> Value

toEncoding :: Word -> Encoding

toJSONList :: [Word] -> Value

toEncodingList :: [Word] -> Encoding

ToJSON Word8 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Word8 -> Value

toEncoding :: Word8 -> Encoding

toJSONList :: [Word8] -> Value

toEncodingList :: [Word8] -> Encoding

ToJSON Word16 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Word16 -> Value

toEncoding :: Word16 -> Encoding

toJSONList :: [Word16] -> Value

toEncodingList :: [Word16] -> Encoding

ToJSON Word32 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Word32 -> Value

toEncoding :: Word32 -> Encoding

toJSONList :: [Word32] -> Value

toEncodingList :: [Word32] -> Encoding

ToJSON Word64 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Word64 -> Value

toEncoding :: Word64 -> Encoding

toJSONList :: [Word64] -> Value

toEncodingList :: [Word64] -> Encoding

ToJSON () 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: () -> Value

toEncoding :: () -> Encoding

toJSONList :: [()] -> Value

toEncodingList :: [()] -> Encoding

ToJSON Void 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Void -> Value

toEncoding :: Void -> Encoding

toJSONList :: [Void] -> Value

toEncodingList :: [Void] -> Encoding

ToJSON Version 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Version -> Value

toEncoding :: Version -> Encoding

toJSONList :: [Version] -> Value

toEncodingList :: [Version] -> Encoding

ToJSON CTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: CTime -> Value

toEncoding :: CTime -> Encoding

toJSONList :: [CTime] -> Value

toEncodingList :: [CTime] -> Encoding

ToJSON IntSet 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: IntSet -> Value

toEncoding :: IntSet -> Encoding

toJSONList :: [IntSet] -> Value

toEncodingList :: [IntSet] -> Encoding

ToJSON Text 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Text -> Value

toEncoding :: Text -> Encoding

toJSONList :: [Text] -> Value

toEncodingList :: [Text] -> Encoding

ToJSON FormSchema 
Instance details

Defined in Schema

Methods

toJSON :: FormSchema -> Value

toEncoding :: FormSchema -> Encoding

toJSONList :: [FormSchema] -> Value

toEncodingList :: [FormSchema] -> Encoding

ToJSON CompilationError 
Instance details

Defined in Language.Haskell.Interpreter

ToJSON InterpreterError 
Instance details

Defined in Language.Haskell.Interpreter

ToJSON SourceCode 
Instance details

Defined in Language.Haskell.Interpreter

Methods

toJSON :: SourceCode -> Value

toEncoding :: SourceCode -> Encoding

toJSONList :: [SourceCode] -> Value

toEncodingList :: [SourceCode] -> Encoding

ToJSON Warning 
Instance details

Defined in Language.Haskell.Interpreter

Methods

toJSON :: Warning -> Value

toEncoding :: Warning -> Encoding

toJSONList :: [Warning] -> Value

toEncodingList :: [Warning] -> Encoding

ToJSON Tx 
Instance details

Defined in Ledger.Tx

Methods

toJSON :: Tx -> Value

toEncoding :: Tx -> Encoding

toJSONList :: [Tx] -> Value

toEncodingList :: [Tx] -> Encoding

ToJSON PrivateKey 
Instance details

Defined in Ledger.Crypto

Methods

toJSON :: PrivateKey -> Value

toEncoding :: PrivateKey -> Encoding

toJSONList :: [PrivateKey] -> Value

toEncodingList :: [PrivateKey] -> Encoding

ToJSON EmulatorEvent 
Instance details

Defined in Wallet.Emulator.Types

Methods

toJSON :: EmulatorEvent -> Value

toEncoding :: EmulatorEvent -> Encoding

toJSONList :: [EmulatorEvent] -> Value

toEncodingList :: [EmulatorEvent] -> Encoding

ToJSON Wallet 
Instance details

Defined in Wallet.Emulator.Types

Methods

toJSON :: Wallet -> Value

toEncoding :: Wallet -> Encoding

toJSONList :: [Wallet] -> Value

toEncodingList :: [Wallet] -> Encoding

ToJSON Value 
Instance details

Defined in Ledger.Value

Methods

toJSON :: Value -> Value0

toEncoding :: Value -> Encoding

toJSONList :: [Value] -> Value0

toEncodingList :: [Value] -> Encoding

ToJSON RedeemerScript 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: RedeemerScript -> Value

toEncoding :: RedeemerScript -> Encoding

toJSONList :: [RedeemerScript] -> Value

toEncodingList :: [RedeemerScript] -> Encoding

ToJSON ValidatorScript 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: ValidatorScript -> Value

toEncoding :: ValidatorScript -> Encoding

toJSONList :: [ValidatorScript] -> Value

toEncodingList :: [ValidatorScript] -> Encoding

ToJSON AddressMap 
Instance details

Defined in Ledger.AddressMap

Methods

toJSON :: AddressMap -> Value

toEncoding :: AddressMap -> Encoding

toJSONList :: [AddressMap] -> Value

toEncodingList :: [AddressMap] -> Encoding

ToJSON UtxOwner 
Instance details

Defined in Wallet.Graph

Methods

toJSON :: UtxOwner -> Value

toEncoding :: UtxOwner -> Encoding

toJSONList :: [UtxOwner] -> Value

toEncodingList :: [UtxOwner] -> Encoding

ToJSON TxRef 
Instance details

Defined in Wallet.Graph

Methods

toJSON :: TxRef -> Value

toEncoding :: TxRef -> Encoding

toJSONList :: [TxRef] -> Value

toEncodingList :: [TxRef] -> Encoding

ToJSON UtxoLocation 
Instance details

Defined in Wallet.Graph

Methods

toJSON :: UtxoLocation -> Value

toEncoding :: UtxoLocation -> Encoding

toJSONList :: [UtxoLocation] -> Value

toEncodingList :: [UtxoLocation] -> Encoding

ToJSON FlowLink 
Instance details

Defined in Wallet.Graph

Methods

toJSON :: FlowLink -> Value

toEncoding :: FlowLink -> Encoding

toJSONList :: [FlowLink] -> Value

toEncodingList :: [FlowLink] -> Encoding

ToJSON FlowGraph 
Instance details

Defined in Wallet.Graph

Methods

toJSON :: FlowGraph -> Value

toEncoding :: FlowGraph -> Encoding

toJSONList :: [FlowGraph] -> Value

toEncodingList :: [FlowGraph] -> Encoding

ToJSON WalletAPIError 
Instance details

Defined in Wallet.API

Methods

toJSON :: WalletAPIError -> Value

toEncoding :: WalletAPIError -> Encoding

toJSONList :: [WalletAPIError] -> Value

toEncodingList :: [WalletAPIError] -> Encoding

ToJSON WalletLog 
Instance details

Defined in Wallet.API

Methods

toJSON :: WalletLog -> Value

toEncoding :: WalletLog -> Encoding

toJSONList :: [WalletLog] -> Value

toEncodingList :: [WalletLog] -> Encoding

ToJSON Slot 
Instance details

Defined in Ledger.Slot

Methods

toJSON :: Slot -> Value

toEncoding :: Slot -> Encoding

toJSONList :: [Slot] -> Value

toEncodingList :: [Slot] -> Encoding

ToJSON PubKey 
Instance details

Defined in Ledger.Crypto

Methods

toJSON :: PubKey -> Value

toEncoding :: PubKey -> Encoding

toJSONList :: [PubKey] -> Value

toEncodingList :: [PubKey] -> Encoding

ToJSON Text 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Text -> Value

toEncoding :: Text -> Encoding

toJSONList :: [Text] -> Value

toEncodingList :: [Text] -> Encoding

ToJSON ZonedTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: ZonedTime -> Value

toEncoding :: ZonedTime -> Encoding

toJSONList :: [ZonedTime] -> Value

toEncodingList :: [ZonedTime] -> Encoding

ToJSON LocalTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: LocalTime -> Value

toEncoding :: LocalTime -> Encoding

toJSONList :: [LocalTime] -> Value

toEncodingList :: [LocalTime] -> Encoding

ToJSON TimeOfDay 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: TimeOfDay -> Value

toEncoding :: TimeOfDay -> Encoding

toJSONList :: [TimeOfDay] -> Value

toEncodingList :: [TimeOfDay] -> Encoding

ToJSON UTCTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: UTCTime -> Value

toEncoding :: UTCTime -> Encoding

toJSONList :: [UTCTime] -> Value

toEncodingList :: [UTCTime] -> Encoding

ToJSON NominalDiffTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: NominalDiffTime -> Value

toEncoding :: NominalDiffTime -> Encoding

toJSONList :: [NominalDiffTime] -> Value

toEncodingList :: [NominalDiffTime] -> Encoding

ToJSON DiffTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: DiffTime -> Value

toEncoding :: DiffTime -> Encoding

toJSONList :: [DiffTime] -> Value

toEncodingList :: [DiffTime] -> Encoding

ToJSON Day 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Day -> Value

toEncoding :: Day -> Encoding

toJSONList :: [Day] -> Value

toEncodingList :: [Day] -> Encoding

ToJSON DotNetTime 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: DotNetTime -> Value

toEncoding :: DotNetTime -> Encoding

toJSONList :: [DotNetTime] -> Value

toEncodingList :: [DotNetTime] -> Encoding

ToJSON Value 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Value -> Value

toEncoding :: Value -> Encoding

toJSONList :: [Value] -> Value

toEncodingList :: [Value] -> Encoding

ToJSON Ada 
Instance details

Defined in Ledger.Ada

Methods

toJSON :: Ada -> Value

toEncoding :: Ada -> Encoding

toJSONList :: [Ada] -> Value

toEncodingList :: [Ada] -> Encoding

ToJSON Signature 
Instance details

Defined in Ledger.Crypto

Methods

toJSON :: Signature -> Value

toEncoding :: Signature -> Encoding

toJSONList :: [Signature] -> Value

toEncodingList :: [Signature] -> Encoding

ToJSON ValidationError 
Instance details

Defined in Ledger.Index

Methods

toJSON :: ValidationError -> Value

toEncoding :: ValidationError -> Encoding

toJSONList :: [ValidationError] -> Value

toEncodingList :: [ValidationError] -> Encoding

ToJSON DataScript 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: DataScript -> Value

toEncoding :: DataScript -> Encoding

toJSONList :: [DataScript] -> Value

toEncodingList :: [DataScript] -> Encoding

ToJSON DataScriptHash 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: DataScriptHash -> Value

toEncoding :: DataScriptHash -> Encoding

toJSONList :: [DataScriptHash] -> Value

toEncodingList :: [DataScriptHash] -> Encoding

ToJSON RedeemerHash 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: RedeemerHash -> Value

toEncoding :: RedeemerHash -> Encoding

toJSONList :: [RedeemerHash] -> Value

toEncodingList :: [RedeemerHash] -> Encoding

ToJSON Script 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: Script -> Value

toEncoding :: Script -> Encoding

toJSONList :: [Script] -> Value

toEncodingList :: [Script] -> Encoding

ToJSON ScriptError 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: ScriptError -> Value

toEncoding :: ScriptError -> Encoding

toJSONList :: [ScriptError] -> Value

toEncodingList :: [ScriptError] -> Encoding

ToJSON ValidationData 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: ValidationData -> Value

toEncoding :: ValidationData -> Encoding

toJSONList :: [ValidationData] -> Value

toEncodingList :: [ValidationData] -> Encoding

ToJSON ValidatorHash 
Instance details

Defined in Ledger.Scripts

Methods

toJSON :: ValidatorHash -> Value

toEncoding :: ValidatorHash -> Encoding

toJSONList :: [ValidatorHash] -> Value

toEncodingList :: [ValidatorHash] -> Encoding

ToJSON TxInType 
Instance details

Defined in Ledger.Tx

Methods

toJSON :: TxInType -> Value

toEncoding :: TxInType -> Encoding

toJSONList :: [TxInType] -> Value

toEncodingList :: [TxInType] -> Encoding

ToJSON TxOutType 
Instance details

Defined in Ledger.Tx

Methods

toJSON :: TxOutType -> Value

toEncoding :: TxOutType -> Encoding

toJSONList :: [TxOutType] -> Value

toEncodingList :: [TxOutType] -> Encoding

ToJSON TxHash 
Instance details

Defined in Ledger.Validation

Methods

toJSON :: TxHash -> Value

toEncoding :: TxHash -> Encoding

toJSONList :: [TxHash] -> Value

toEncodingList :: [TxHash] -> Encoding

ToJSON CurrencySymbol 
Instance details

Defined in Ledger.Value

Methods

toJSON :: CurrencySymbol -> Value

toEncoding :: CurrencySymbol -> Encoding

toJSONList :: [CurrencySymbol] -> Value

toEncodingList :: [CurrencySymbol] -> Encoding

ToJSON TokenName 
Instance details

Defined in Ledger.Value

Methods

toJSON :: TokenName -> Value

toEncoding :: TokenName -> Encoding

toJSONList :: [TokenName] -> Value

toEncodingList :: [TokenName] -> Encoding

ToJSON LedgerBytes 
Instance details

Defined in LedgerBytes

Methods

toJSON :: LedgerBytes -> Value

toEncoding :: LedgerBytes -> Encoding

toJSONList :: [LedgerBytes] -> Value

toEncodingList :: [LedgerBytes] -> Encoding

ToJSON Number 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Number -> Value

toEncoding :: Number -> Encoding

toJSONList :: [Number] -> Value

toEncodingList :: [Number] -> Encoding

ToJSON Scientific 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Scientific -> Value

toEncoding :: Scientific -> Encoding

toJSONList :: [Scientific] -> Value

toEncodingList :: [Scientific] -> Encoding

ToJSON UUID 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: UUID -> Value

toEncoding :: UUID -> Encoding

toJSONList :: [UUID] -> Value

toEncodingList :: [UUID] -> Encoding

ToJSON AnnotatedTx Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: AnnotatedTx -> Value

toEncoding :: AnnotatedTx -> Encoding

toJSONList :: [AnnotatedTx] -> Value

toEncodingList :: [AnnotatedTx] -> Encoding

ToJSON DereferencedInput Source # 
Instance details

Defined in Playground.Types

ToJSON SequenceId Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: SequenceId -> Value

toEncoding :: SequenceId -> Encoding

toJSONList :: [SequenceId] -> Value

toEncodingList :: [SequenceId] -> Encoding

ToJSON PlaygroundError Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: PlaygroundError -> Value

toEncoding :: PlaygroundError -> Encoding

toJSONList :: [PlaygroundError] -> Value

toEncodingList :: [PlaygroundError] -> Encoding

ToJSON CompilationResult Source # 
Instance details

Defined in Playground.Types

ToJSON EvaluationResult Source # 
Instance details

Defined in Playground.Types

ToJSON Evaluation Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: Evaluation -> Value

toEncoding :: Evaluation -> Encoding

toJSONList :: [Evaluation] -> Value

toEncodingList :: [Evaluation] -> Encoding

ToJSON SimulatorWallet Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: SimulatorWallet -> Value

toEncoding :: SimulatorWallet -> Encoding

toJSONList :: [SimulatorWallet] -> Value

toEncodingList :: [SimulatorWallet] -> Encoding

ToJSON Expression Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: Expression -> Value

toEncoding :: Expression -> Encoding

toJSONList :: [Expression] -> Value

toEncodingList :: [Expression] -> Encoding

ToJSON Fn Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: Fn -> Value

toEncoding :: Fn -> Encoding

toJSONList :: [Fn] -> Value

toEncodingList :: [Fn] -> Encoding

ToJSON KnownCurrency Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: KnownCurrency -> Value

toEncoding :: KnownCurrency -> Encoding

toJSONList :: [KnownCurrency] -> Value

toEncodingList :: [KnownCurrency] -> Encoding

ToJSON a => ToJSON [a] 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: [a] -> Value

toEncoding :: [a] -> Encoding

toJSONList :: [[a]] -> Value

toEncodingList :: [[a]] -> Encoding

ToJSON a => ToJSON (Maybe a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Maybe a -> Value

toEncoding :: Maybe a -> Encoding

toJSONList :: [Maybe a] -> Value

toEncodingList :: [Maybe a] -> Encoding

(ToJSON a, Integral a) => ToJSON (Ratio a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Ratio a -> Value

toEncoding :: Ratio a -> Encoding

toJSONList :: [Ratio a] -> Value

toEncodingList :: [Ratio a] -> Encoding

HasResolution a => ToJSON (Fixed a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Fixed a -> Value

toEncoding :: Fixed a -> Encoding

toJSONList :: [Fixed a] -> Value

toEncodingList :: [Fixed a] -> Encoding

ToJSON a => ToJSON (Min a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Min a -> Value

toEncoding :: Min a -> Encoding

toJSONList :: [Min a] -> Value

toEncodingList :: [Min a] -> Encoding

ToJSON a => ToJSON (Max a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Max a -> Value

toEncoding :: Max a -> Encoding

toJSONList :: [Max a] -> Value

toEncodingList :: [Max a] -> Encoding

ToJSON a => ToJSON (First a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: First a -> Value

toEncoding :: First a -> Encoding

toJSONList :: [First a] -> Value

toEncodingList :: [First a] -> Encoding

ToJSON a => ToJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Last a -> Value

toEncoding :: Last a -> Encoding

toJSONList :: [Last a] -> Value

toEncodingList :: [Last a] -> Encoding

ToJSON a => ToJSON (WrappedMonoid a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: WrappedMonoid a -> Value

toEncoding :: WrappedMonoid a -> Encoding

toJSONList :: [WrappedMonoid a] -> Value

toEncodingList :: [WrappedMonoid a] -> Encoding

ToJSON a => ToJSON (Option a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Option a -> Value

toEncoding :: Option a -> Encoding

toJSONList :: [Option a] -> Value

toEncodingList :: [Option a] -> Encoding

ToJSON a => ToJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Identity a -> Value

toEncoding :: Identity a -> Encoding

toJSONList :: [Identity a] -> Value

toEncodingList :: [Identity a] -> Encoding

ToJSON a => ToJSON (First a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: First a -> Value

toEncoding :: First a -> Encoding

toJSONList :: [First a] -> Value

toEncodingList :: [First a] -> Encoding

ToJSON a => ToJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Last a -> Value

toEncoding :: Last a -> Encoding

toJSONList :: [Last a] -> Value

toEncodingList :: [Last a] -> Encoding

ToJSON a => ToJSON (Dual a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Dual a -> Value

toEncoding :: Dual a -> Encoding

toJSONList :: [Dual a] -> Value

toEncodingList :: [Dual a] -> Encoding

ToJSON a => ToJSON (NonEmpty a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: NonEmpty a -> Value

toEncoding :: NonEmpty a -> Encoding

toJSONList :: [NonEmpty a] -> Value

toEncodingList :: [NonEmpty a] -> Encoding

ToJSON a => ToJSON (IntMap a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: IntMap a -> Value

toEncoding :: IntMap a -> Encoding

toJSONList :: [IntMap a] -> Value

toEncodingList :: [IntMap a] -> Encoding

ToJSON v => ToJSON (Tree v) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Tree v -> Value

toEncoding :: Tree v -> Encoding

toJSONList :: [Tree v] -> Value

toEncodingList :: [Tree v] -> Encoding

ToJSON a => ToJSON (Seq a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Seq a -> Value

toEncoding :: Seq a -> Encoding

toJSONList :: [Seq a] -> Value

toEncodingList :: [Seq a] -> Encoding

ToJSON a => ToJSON (Set a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Set a -> Value

toEncoding :: Set a -> Encoding

toJSONList :: [Set a] -> Value

toEncodingList :: [Set a] -> Encoding

ToJSON a => ToJSON (InterpreterResult a) 
Instance details

Defined in Language.Haskell.Interpreter

Methods

toJSON :: InterpreterResult a -> Value

toEncoding :: InterpreterResult a -> Encoding

toJSONList :: [InterpreterResult a] -> Value

toEncodingList :: [InterpreterResult a] -> Encoding

ToJSON (TxOutRefOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

toJSON :: TxOutRefOf (Digest SHA256) -> Value

toEncoding :: TxOutRefOf (Digest SHA256) -> Encoding

toJSONList :: [TxOutRefOf (Digest SHA256)] -> Value

toEncodingList :: [TxOutRefOf (Digest SHA256)] -> Encoding

ToJSON a => ToJSON (Interval a) 
Instance details

Defined in Ledger.Interval

Methods

toJSON :: Interval a -> Value

toEncoding :: Interval a -> Encoding

toJSONList :: [Interval a] -> Value

toEncodingList :: [Interval a] -> Encoding

ToJSON a => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Vector a -> Value

toEncoding :: Vector a -> Encoding

toJSONList :: [Vector a] -> Value

toEncodingList :: [Vector a] -> Encoding

ToJSON a => ToJSON (DList a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: DList a -> Value

toEncoding :: DList a -> Encoding

toJSONList :: [DList a] -> Value

toEncodingList :: [DList a] -> Encoding

ToJSON a => ToJSON (Extended a) 
Instance details

Defined in Ledger.Interval

Methods

toJSON :: Extended a -> Value

toEncoding :: Extended a -> Encoding

toJSONList :: [Extended a] -> Value

toEncodingList :: [Extended a] -> Encoding

ToJSON a => ToJSON (LowerBound a) 
Instance details

Defined in Ledger.Interval

Methods

toJSON :: LowerBound a -> Value

toEncoding :: LowerBound a -> Encoding

toJSONList :: [LowerBound a] -> Value

toEncodingList :: [LowerBound a] -> Encoding

ToJSON a => ToJSON (UpperBound a) 
Instance details

Defined in Ledger.Interval

Methods

toJSON :: UpperBound a -> Value

toEncoding :: UpperBound a -> Encoding

toJSONList :: [UpperBound a] -> Value

toEncodingList :: [UpperBound a] -> Encoding

ToJSON (AddressOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

toJSON :: AddressOf (Digest SHA256) -> Value

toEncoding :: AddressOf (Digest SHA256) -> Encoding

toJSONList :: [AddressOf (Digest SHA256)] -> Value

toEncodingList :: [AddressOf (Digest SHA256)] -> Encoding

ToJSON (TxInOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

toJSON :: TxInOf (Digest SHA256) -> Value

toEncoding :: TxInOf (Digest SHA256) -> Encoding

toJSONList :: [TxInOf (Digest SHA256)] -> Value

toEncodingList :: [TxInOf (Digest SHA256)] -> Encoding

ToJSON (TxOutOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

toJSON :: TxOutOf (Digest SHA256) -> Value

toEncoding :: TxOutOf (Digest SHA256) -> Encoding

toJSONList :: [TxOutOf (Digest SHA256)] -> Value

toEncodingList :: [TxOutOf (Digest SHA256)] -> Encoding

ToJSON a => ToJSON (TxIdOf a) 
Instance details

Defined in Ledger.TxId

Methods

toJSON :: TxIdOf a -> Value

toEncoding :: TxIdOf a -> Encoding

toJSONList :: [TxIdOf a] -> Value

toEncodingList :: [TxIdOf a] -> Encoding

(Vector Vector a, ToJSON a) => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Vector a -> Value

toEncoding :: Vector a -> Encoding

toJSONList :: [Vector a] -> Value

toEncodingList :: [Vector a] -> Encoding

(Storable a, ToJSON a) => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Vector a -> Value

toEncoding :: Vector a -> Encoding

toJSONList :: [Vector a] -> Value

toEncodingList :: [Vector a] -> Encoding

(Prim a, ToJSON a) => ToJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Vector a -> Value

toEncoding :: Vector a -> Encoding

toJSONList :: [Vector a] -> Value

toEncodingList :: [Vector a] -> Encoding

ToJSON a => ToJSON (Array a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Array a -> Value

toEncoding :: Array a -> Encoding

toJSONList :: [Array a] -> Value

toEncodingList :: [Array a] -> Encoding

ToJSON a => ToJSON (HashSet a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: HashSet a -> Value

toEncoding :: HashSet a -> Encoding

toJSONList :: [HashSet a] -> Value

toEncodingList :: [HashSet a] -> Encoding

ToJSON a => ToJSON (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: FunctionSchema a -> Value

toEncoding :: FunctionSchema a -> Encoding

toJSONList :: [FunctionSchema a] -> Value

toEncodingList :: [FunctionSchema a] -> Encoding

(Prim a, ToJSON a) => ToJSON (PrimArray a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: PrimArray a -> Value

toEncoding :: PrimArray a -> Encoding

toJSONList :: [PrimArray a] -> Value

toEncodingList :: [PrimArray a] -> Encoding

ToJSON a => ToJSON (SmallArray a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: SmallArray a -> Value

toEncoding :: SmallArray a -> Encoding

toJSONList :: [SmallArray a] -> Value

toEncodingList :: [SmallArray a] -> Encoding

(PrimUnlifted a, ToJSON a) => ToJSON (UnliftedArray a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: UnliftedArray a -> Value

toEncoding :: UnliftedArray a -> Encoding

toJSONList :: [UnliftedArray a] -> Value

toEncodingList :: [UnliftedArray a] -> Encoding

(ToJSON a, ToJSON b) => ToJSON (Either a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Either a b -> Value

toEncoding :: Either a b -> Encoding

toJSONList :: [Either a b] -> Value

toEncodingList :: [Either a b] -> Encoding

(ToJSON a, ToJSON b) => ToJSON (a, b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b) -> Value

toEncoding :: (a, b) -> Encoding

toJSONList :: [(a, b)] -> Value

toEncodingList :: [(a, b)] -> Encoding

ToJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Proxy a -> Value

toEncoding :: Proxy a -> Encoding

toJSONList :: [Proxy a] -> Value

toEncodingList :: [Proxy a] -> Encoding

(ToJSON v, ToJSONKey k) => ToJSON (Map k v) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Map k v -> Value

toEncoding :: Map k v -> Encoding

toJSONList :: [Map k v] -> Value

toEncodingList :: [Map k v] -> Encoding

(ToJSON v, ToJSONKey k) => ToJSON (HashMap k v) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: HashMap k v -> Value

toEncoding :: HashMap k v -> Encoding

toJSONList :: [HashMap k v] -> Value

toEncodingList :: [HashMap k v] -> Encoding

(ToJSON a, ToJSON b, ToJSON c) => ToJSON (a, b, c) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c) -> Value

toEncoding :: (a, b, c) -> Encoding

toJSONList :: [(a, b, c)] -> Value

toEncodingList :: [(a, b, c)] -> Encoding

ToJSON a => ToJSON (Const a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Const a b -> Value

toEncoding :: Const a b -> Encoding

toJSONList :: [Const a b] -> Value

toEncodingList :: [Const a b] -> Encoding

ToJSON b => ToJSON (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Tagged a b -> Value

toEncoding :: Tagged a b -> Encoding

toJSONList :: [Tagged a b] -> Value

toEncodingList :: [Tagged a b] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (a, b, c, d) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d) -> Value

toEncoding :: (a, b, c, d) -> Encoding

toJSONList :: [(a, b, c, d)] -> Value

toEncodingList :: [(a, b, c, d)] -> Encoding

(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Product f g a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Product f g a -> Value

toEncoding :: Product f g a -> Encoding

toJSONList :: [Product f g a] -> Value

toEncodingList :: [Product f g a] -> Encoding

(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Sum f g a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Sum f g a -> Value

toEncoding :: Sum f g a -> Encoding

toJSONList :: [Sum f g a] -> Value

toEncodingList :: [Sum f g a] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (a, b, c, d, e) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e) -> Value

toEncoding :: (a, b, c, d, e) -> Encoding

toJSONList :: [(a, b, c, d, e)] -> Value

toEncodingList :: [(a, b, c, d, e)] -> Encoding

(ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Compose f g a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Compose f g a -> Value

toEncoding :: Compose f g a -> Encoding

toJSONList :: [Compose f g a] -> Value

toEncodingList :: [Compose f g a] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (a, b, c, d, e, f) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f) -> Value

toEncoding :: (a, b, c, d, e, f) -> Encoding

toJSONList :: [(a, b, c, d, e, f)] -> Value

toEncodingList :: [(a, b, c, d, e, f)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (a, b, c, d, e, f, g) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g) -> Value

toEncoding :: (a, b, c, d, e, f, g) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h) => ToJSON (a, b, c, d, e, f, g, h) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h) -> Value

toEncoding :: (a, b, c, d, e, f, g, h) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON (a, b, c, d, e, f, g, h, i) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i) -> Value

toEncoding :: (a, b, c, d, e, f, g, h, i) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h, i)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h, i)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j) => ToJSON (a, b, c, d, e, f, g, h, i, j) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j) -> Value

toEncoding :: (a, b, c, d, e, f, g, h, i, j) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h, i, j)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k) => ToJSON (a, b, c, d, e, f, g, h, i, j, k) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k) -> Value

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Value

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Value

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Value

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Encoding

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Value

toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Encoding

toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Value

toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Encoding

class FromJSON a #

Instances
FromJSON Bool 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Bool

parseJSONList :: Value -> Parser [Bool]

FromJSON Char 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Char

parseJSONList :: Value -> Parser [Char]

FromJSON Double 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Double

parseJSONList :: Value -> Parser [Double]

FromJSON Float 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Float

parseJSONList :: Value -> Parser [Float]

FromJSON Int 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Int

parseJSONList :: Value -> Parser [Int]

FromJSON Int8 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Int8

parseJSONList :: Value -> Parser [Int8]

FromJSON Int16 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Int16

parseJSONList :: Value -> Parser [Int16]

FromJSON Int32 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Int32

parseJSONList :: Value -> Parser [Int32]

FromJSON Int64 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Int64

parseJSONList :: Value -> Parser [Int64]

FromJSON Integer 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Integer

parseJSONList :: Value -> Parser [Integer]

FromJSON Natural 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Natural

parseJSONList :: Value -> Parser [Natural]

FromJSON Ordering 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Ordering

parseJSONList :: Value -> Parser [Ordering]

FromJSON Word 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Word

parseJSONList :: Value -> Parser [Word]

FromJSON Word8 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Word8

parseJSONList :: Value -> Parser [Word8]

FromJSON Word16 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Word16

parseJSONList :: Value -> Parser [Word16]

FromJSON Word32 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Word32

parseJSONList :: Value -> Parser [Word32]

FromJSON Word64 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Word64

parseJSONList :: Value -> Parser [Word64]

FromJSON () 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser ()

parseJSONList :: Value -> Parser [()]

FromJSON Void 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Void

parseJSONList :: Value -> Parser [Void]

FromJSON Version 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Version

parseJSONList :: Value -> Parser [Version]

FromJSON CTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser CTime

parseJSONList :: Value -> Parser [CTime]

FromJSON IntSet 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser IntSet

parseJSONList :: Value -> Parser [IntSet]

FromJSON Text 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Text

parseJSONList :: Value -> Parser [Text]

FromJSON FormSchema 
Instance details

Defined in Schema

Methods

parseJSON :: Value -> Parser FormSchema

parseJSONList :: Value -> Parser [FormSchema]

FromJSON CompilationError 
Instance details

Defined in Language.Haskell.Interpreter

Methods

parseJSON :: Value -> Parser CompilationError

parseJSONList :: Value -> Parser [CompilationError]

FromJSON InterpreterError 
Instance details

Defined in Language.Haskell.Interpreter

Methods

parseJSON :: Value -> Parser InterpreterError

parseJSONList :: Value -> Parser [InterpreterError]

FromJSON SourceCode 
Instance details

Defined in Language.Haskell.Interpreter

Methods

parseJSON :: Value -> Parser SourceCode

parseJSONList :: Value -> Parser [SourceCode]

FromJSON Tx 
Instance details

Defined in Ledger.Tx

Methods

parseJSON :: Value -> Parser Tx

parseJSONList :: Value -> Parser [Tx]

FromJSON PrivateKey 
Instance details

Defined in Ledger.Crypto

Methods

parseJSON :: Value -> Parser PrivateKey

parseJSONList :: Value -> Parser [PrivateKey]

FromJSON EmulatorEvent 
Instance details

Defined in Wallet.Emulator.Types

Methods

parseJSON :: Value -> Parser EmulatorEvent

parseJSONList :: Value -> Parser [EmulatorEvent]

FromJSON Wallet 
Instance details

Defined in Wallet.Emulator.Types

Methods

parseJSON :: Value -> Parser Wallet

parseJSONList :: Value -> Parser [Wallet]

FromJSON Value 
Instance details

Defined in Ledger.Value

Methods

parseJSON :: Value0 -> Parser Value

parseJSONList :: Value0 -> Parser [Value]

FromJSON RedeemerScript 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser RedeemerScript

parseJSONList :: Value -> Parser [RedeemerScript]

FromJSON ValidatorScript 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser ValidatorScript

parseJSONList :: Value -> Parser [ValidatorScript]

FromJSON AddressMap 
Instance details

Defined in Ledger.AddressMap

Methods

parseJSON :: Value -> Parser AddressMap

parseJSONList :: Value -> Parser [AddressMap]

FromJSON WalletAPIError 
Instance details

Defined in Wallet.API

Methods

parseJSON :: Value -> Parser WalletAPIError

parseJSONList :: Value -> Parser [WalletAPIError]

FromJSON WalletLog 
Instance details

Defined in Wallet.API

Methods

parseJSON :: Value -> Parser WalletLog

parseJSONList :: Value -> Parser [WalletLog]

FromJSON Slot 
Instance details

Defined in Ledger.Slot

Methods

parseJSON :: Value -> Parser Slot

parseJSONList :: Value -> Parser [Slot]

FromJSON PubKey 
Instance details

Defined in Ledger.Crypto

Methods

parseJSON :: Value -> Parser PubKey

parseJSONList :: Value -> Parser [PubKey]

FromJSON Text 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Text

parseJSONList :: Value -> Parser [Text]

FromJSON ZonedTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser ZonedTime

parseJSONList :: Value -> Parser [ZonedTime]

FromJSON LocalTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser LocalTime

parseJSONList :: Value -> Parser [LocalTime]

FromJSON TimeOfDay 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser TimeOfDay

parseJSONList :: Value -> Parser [TimeOfDay]

FromJSON UTCTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser UTCTime

parseJSONList :: Value -> Parser [UTCTime]

FromJSON NominalDiffTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser NominalDiffTime

parseJSONList :: Value -> Parser [NominalDiffTime]

FromJSON DiffTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser DiffTime

parseJSONList :: Value -> Parser [DiffTime]

FromJSON Day 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Day

parseJSONList :: Value -> Parser [Day]

FromJSON DotNetTime 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser DotNetTime

parseJSONList :: Value -> Parser [DotNetTime]

FromJSON Value 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Value

parseJSONList :: Value -> Parser [Value]

FromJSON Ada 
Instance details

Defined in Ledger.Ada

Methods

parseJSON :: Value -> Parser Ada

parseJSONList :: Value -> Parser [Ada]

FromJSON Signature 
Instance details

Defined in Ledger.Crypto

Methods

parseJSON :: Value -> Parser Signature

parseJSONList :: Value -> Parser [Signature]

FromJSON ValidationError 
Instance details

Defined in Ledger.Index

Methods

parseJSON :: Value -> Parser ValidationError

parseJSONList :: Value -> Parser [ValidationError]

FromJSON DataScript 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser DataScript

parseJSONList :: Value -> Parser [DataScript]

FromJSON DataScriptHash 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser DataScriptHash

parseJSONList :: Value -> Parser [DataScriptHash]

FromJSON RedeemerHash 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser RedeemerHash

parseJSONList :: Value -> Parser [RedeemerHash]

FromJSON Script 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser Script

parseJSONList :: Value -> Parser [Script]

FromJSON ScriptError 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser ScriptError

parseJSONList :: Value -> Parser [ScriptError]

FromJSON ValidationData 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser ValidationData

parseJSONList :: Value -> Parser [ValidationData]

FromJSON ValidatorHash 
Instance details

Defined in Ledger.Scripts

Methods

parseJSON :: Value -> Parser ValidatorHash

parseJSONList :: Value -> Parser [ValidatorHash]

FromJSON TxInType 
Instance details

Defined in Ledger.Tx

Methods

parseJSON :: Value -> Parser TxInType

parseJSONList :: Value -> Parser [TxInType]

FromJSON TxOutType 
Instance details

Defined in Ledger.Tx

Methods

parseJSON :: Value -> Parser TxOutType

parseJSONList :: Value -> Parser [TxOutType]

FromJSON TxHash 
Instance details

Defined in Ledger.Validation

Methods

parseJSON :: Value -> Parser TxHash

parseJSONList :: Value -> Parser [TxHash]

FromJSON CurrencySymbol 
Instance details

Defined in Ledger.Value

Methods

parseJSON :: Value -> Parser CurrencySymbol

parseJSONList :: Value -> Parser [CurrencySymbol]

FromJSON TokenName 
Instance details

Defined in Ledger.Value

Methods

parseJSON :: Value -> Parser TokenName

parseJSONList :: Value -> Parser [TokenName]

FromJSON LedgerBytes 
Instance details

Defined in LedgerBytes

Methods

parseJSON :: Value -> Parser LedgerBytes

parseJSONList :: Value -> Parser [LedgerBytes]

FromJSON Scientific 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Scientific

parseJSONList :: Value -> Parser [Scientific]

FromJSON UUID 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser UUID

parseJSONList :: Value -> Parser [UUID]

FromJSON PlaygroundError Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser PlaygroundError

parseJSONList :: Value -> Parser [PlaygroundError]

FromJSON Evaluation Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser Evaluation

parseJSONList :: Value -> Parser [Evaluation]

FromJSON SimulatorWallet Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser SimulatorWallet

parseJSONList :: Value -> Parser [SimulatorWallet]

FromJSON Expression Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser Expression

parseJSONList :: Value -> Parser [Expression]

FromJSON Fn Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser Fn

parseJSONList :: Value -> Parser [Fn]

FromJSON KnownCurrency Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser KnownCurrency

parseJSONList :: Value -> Parser [KnownCurrency]

FromJSON a => FromJSON [a] 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser [a]

parseJSONList :: Value -> Parser [[a]]

FromJSON a => FromJSON (Maybe a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Maybe a)

parseJSONList :: Value -> Parser [Maybe a]

(FromJSON a, Integral a) => FromJSON (Ratio a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Ratio a)

parseJSONList :: Value -> Parser [Ratio a]

HasResolution a => FromJSON (Fixed a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Fixed a)

parseJSONList :: Value -> Parser [Fixed a]

FromJSON a => FromJSON (Min a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Min a)

parseJSONList :: Value -> Parser [Min a]

FromJSON a => FromJSON (Max a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Max a)

parseJSONList :: Value -> Parser [Max a]

FromJSON a => FromJSON (First a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (First a)

parseJSONList :: Value -> Parser [First a]

FromJSON a => FromJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Last a)

parseJSONList :: Value -> Parser [Last a]

FromJSON a => FromJSON (WrappedMonoid a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (WrappedMonoid a)

parseJSONList :: Value -> Parser [WrappedMonoid a]

FromJSON a => FromJSON (Option a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Option a)

parseJSONList :: Value -> Parser [Option a]

FromJSON a => FromJSON (Identity a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Identity a)

parseJSONList :: Value -> Parser [Identity a]

FromJSON a => FromJSON (First a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (First a)

parseJSONList :: Value -> Parser [First a]

FromJSON a => FromJSON (Last a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Last a)

parseJSONList :: Value -> Parser [Last a]

FromJSON a => FromJSON (Dual a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Dual a)

parseJSONList :: Value -> Parser [Dual a]

FromJSON a => FromJSON (NonEmpty a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (NonEmpty a)

parseJSONList :: Value -> Parser [NonEmpty a]

FromJSON a => FromJSON (IntMap a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (IntMap a)

parseJSONList :: Value -> Parser [IntMap a]

FromJSON v => FromJSON (Tree v) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Tree v)

parseJSONList :: Value -> Parser [Tree v]

FromJSON a => FromJSON (Seq a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Seq a)

parseJSONList :: Value -> Parser [Seq a]

(Ord a, FromJSON a) => FromJSON (Set a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Set a)

parseJSONList :: Value -> Parser [Set a]

FromJSON (TxOutRefOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

parseJSON :: Value -> Parser (TxOutRefOf (Digest SHA256))

parseJSONList :: Value -> Parser [TxOutRefOf (Digest SHA256)]

FromJSON a => FromJSON (Interval a) 
Instance details

Defined in Ledger.Interval

Methods

parseJSON :: Value -> Parser (Interval a)

parseJSONList :: Value -> Parser [Interval a]

FromJSON a => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Vector a)

parseJSONList :: Value -> Parser [Vector a]

FromJSON a => FromJSON (DList a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (DList a)

parseJSONList :: Value -> Parser [DList a]

FromJSON a => FromJSON (Extended a) 
Instance details

Defined in Ledger.Interval

Methods

parseJSON :: Value -> Parser (Extended a)

parseJSONList :: Value -> Parser [Extended a]

FromJSON a => FromJSON (LowerBound a) 
Instance details

Defined in Ledger.Interval

Methods

parseJSON :: Value -> Parser (LowerBound a)

parseJSONList :: Value -> Parser [LowerBound a]

FromJSON a => FromJSON (UpperBound a) 
Instance details

Defined in Ledger.Interval

Methods

parseJSON :: Value -> Parser (UpperBound a)

parseJSONList :: Value -> Parser [UpperBound a]

FromJSON (AddressOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

parseJSON :: Value -> Parser (AddressOf (Digest SHA256))

parseJSONList :: Value -> Parser [AddressOf (Digest SHA256)]

FromJSON (TxInOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

parseJSON :: Value -> Parser (TxInOf (Digest SHA256))

parseJSONList :: Value -> Parser [TxInOf (Digest SHA256)]

FromJSON (TxOutOf (Digest SHA256)) 
Instance details

Defined in Ledger.Tx

Methods

parseJSON :: Value -> Parser (TxOutOf (Digest SHA256))

parseJSONList :: Value -> Parser [TxOutOf (Digest SHA256)]

FromJSON a => FromJSON (TxIdOf a) 
Instance details

Defined in Ledger.TxId

Methods

parseJSON :: Value -> Parser (TxIdOf a)

parseJSONList :: Value -> Parser [TxIdOf a]

(Vector Vector a, FromJSON a) => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Vector a)

parseJSONList :: Value -> Parser [Vector a]

(Storable a, FromJSON a) => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Vector a)

parseJSONList :: Value -> Parser [Vector a]

(Prim a, FromJSON a) => FromJSON (Vector a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Vector a)

parseJSONList :: Value -> Parser [Vector a]

FromJSON a => FromJSON (Array a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Array a)

parseJSONList :: Value -> Parser [Array a]

(Eq a, Hashable a, FromJSON a) => FromJSON (HashSet a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (HashSet a)

parseJSONList :: Value -> Parser [HashSet a]

FromJSON a => FromJSON (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser (FunctionSchema a)

parseJSONList :: Value -> Parser [FunctionSchema a]

(Prim a, FromJSON a) => FromJSON (PrimArray a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (PrimArray a)

parseJSONList :: Value -> Parser [PrimArray a]

FromJSON a => FromJSON (SmallArray a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (SmallArray a)

parseJSONList :: Value -> Parser [SmallArray a]

(PrimUnlifted a, FromJSON a) => FromJSON (UnliftedArray a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (UnliftedArray a)

parseJSONList :: Value -> Parser [UnliftedArray a]

(FromJSON a, FromJSON b) => FromJSON (Either a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Either a b)

parseJSONList :: Value -> Parser [Either a b]

(FromJSON a, FromJSON b) => FromJSON (a, b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b)

parseJSONList :: Value -> Parser [(a, b)]

FromJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Proxy a)

parseJSONList :: Value -> Parser [Proxy a]

(FromJSONKey k, Ord k, FromJSON v) => FromJSON (Map k v) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Map k v)

parseJSONList :: Value -> Parser [Map k v]

(FromJSON v, FromJSONKey k, Eq k, Hashable k) => FromJSON (HashMap k v) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (HashMap k v)

parseJSONList :: Value -> Parser [HashMap k v]

(FromJSON a, FromJSON b, FromJSON c) => FromJSON (a, b, c) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c)

parseJSONList :: Value -> Parser [(a, b, c)]

FromJSON a => FromJSON (Const a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Const a b)

parseJSONList :: Value -> Parser [Const a b]

FromJSON b => FromJSON (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Tagged a b)

parseJSONList :: Value -> Parser [Tagged a b]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (a, b, c, d) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d)

parseJSONList :: Value -> Parser [(a, b, c, d)]

(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Product f g a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Product f g a)

parseJSONList :: Value -> Parser [Product f g a]

(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Sum f g a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Sum f g a)

parseJSONList :: Value -> Parser [Sum f g a]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (a, b, c, d, e) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e)

parseJSONList :: Value -> Parser [(a, b, c, d, e)]

(FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Compose f g a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (Compose f g a)

parseJSONList :: Value -> Parser [Compose f g a]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (a, b, c, d, e, f) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (a, b, c, d, e, f, g) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h) => FromJSON (a, b, c, d, e, f, g, h) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i) => FromJSON (a, b, c, d, e, f, g, h, i) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j) => FromJSON (a, b, c, d, e, f, g, h, i, j) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k) => FromJSON (a, b, c, d, e, f, g, h, i, j, k) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)]

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

parseJSONList :: Value -> Parser [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)]

data FunctionSchema a Source #

Instances
Functor FunctionSchema Source # 
Instance details

Defined in Playground.Types

Methods

fmap :: (a -> b) -> FunctionSchema a -> FunctionSchema b Source #

(<$) :: a -> FunctionSchema b -> FunctionSchema a Source #

Eq a => Eq (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

Show a => Show (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

Generic (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep (FunctionSchema a) :: Type -> Type Source #

FromJSON a => FromJSON (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

Methods

parseJSON :: Value -> Parser (FunctionSchema a)

parseJSONList :: Value -> Parser [FunctionSchema a]

ToJSON a => ToJSON (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

Methods

toJSON :: FunctionSchema a -> Value

toEncoding :: FunctionSchema a -> Encoding

toJSONList :: [FunctionSchema a] -> Value

toEncodingList :: [FunctionSchema a] -> Encoding

type Rep (FunctionSchema a) Source # 
Instance details

Defined in Playground.Types

type Rep (FunctionSchema a) = D1 (MetaData "FunctionSchema" "Playground.Types" "plutus-playground-lib-0.1.0.0-Kcu2to2JjPsJi2bs3kCS70" False) (C1 (MetaCons "FunctionSchema" PrefixI True) (S1 (MetaSel (Just "functionName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Fn) :*: S1 (MetaSel (Just "argumentSchema") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])))

class Generic a Source #

Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.

A Generic instance must satisfy the following laws:

from . toid
to . fromid

Minimal complete definition

from, to

Instances
Generic Bool 
Instance details

Defined in GHC.Generics

Associated Types

type Rep Bool :: Type -> Type Source #

Methods

from :: Bool -> Rep Bool x Source #

to :: Rep Bool x -> Bool Source #

Generic Ordering 
Instance details

Defined in GHC.Generics

Associated Types

type Rep Ordering :: Type -> Type Source #

Generic Exp 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Exp :: Type -> Type Source #

Methods

from :: Exp -> Rep Exp x Source #

to :: Rep Exp x -> Exp Source #

Generic Match 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Match :: Type -> Type Source #

Methods

from :: Match -> Rep Match x Source #

to :: Rep Match x -> Match Source #

Generic Clause 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Clause :: Type -> Type Source #

Generic Pat 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Pat :: Type -> Type Source #

Methods

from :: Pat -> Rep Pat x Source #

to :: Rep Pat x -> Pat Source #

Generic Type 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Type :: Type -> Type Source #

Methods

from :: Type -> Rep Type x Source #

to :: Rep Type x -> Type Source #

Generic Dec 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Dec :: Type -> Type Source #

Methods

from :: Dec -> Rep Dec x Source #

to :: Rep Dec x -> Dec Source #

Generic Name 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Name :: Type -> Type Source #

Methods

from :: Name -> Rep Name x Source #

to :: Rep Name x -> Name Source #

Generic FunDep 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FunDep :: Type -> Type Source #

Generic InjectivityAnn 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep InjectivityAnn :: Type -> Type Source #

Generic Overlap 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Overlap :: Type -> Type Source #

Generic () 
Instance details

Defined in GHC.Generics

Associated Types

type Rep () :: Type -> Type Source #

Methods

from :: () -> Rep () x Source #

to :: Rep () x -> () Source #

Generic Void 
Instance details

Defined in Data.Void

Associated Types

type Rep Void :: Type -> Type Source #

Methods

from :: Void -> Rep Void x Source #

to :: Rep Void x -> Void Source #

Generic Version 
Instance details

Defined in Data.Version

Associated Types

type Rep Version :: Type -> Type Source #

Generic ExitCode 
Instance details

Defined in GHC.IO.Exception

Associated Types

type Rep ExitCode :: Type -> Type Source #

Generic All 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep All :: Type -> Type Source #

Methods

from :: All -> Rep All x Source #

to :: Rep All x -> All Source #

Generic Any 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep Any :: Type -> Type Source #

Methods

from :: Any -> Rep Any x Source #

to :: Rep Any x -> Any Source #

Generic Fixity 
Instance details

Defined in GHC.Generics

Associated Types

type Rep Fixity :: Type -> Type Source #

Generic Associativity 
Instance details

Defined in GHC.Generics

Associated Types

type Rep Associativity :: Type -> Type Source #

Generic SourceUnpackedness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SourceUnpackedness :: Type -> Type Source #

Generic SourceStrictness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SourceStrictness :: Type -> Type Source #

Generic DecidedStrictness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep DecidedStrictness :: Type -> Type Source #

Generic TyVarBndr 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TyVarBndr :: Type -> Type Source #

Generic Extension 
Instance details

Defined in GHC.LanguageExtensions.Type

Associated Types

type Rep Extension :: Type -> Type Source #

Generic ForeignSrcLang 
Instance details

Defined in GHC.ForeignSrcLang.Type

Associated Types

type Rep ForeignSrcLang :: Type -> Type Source #

Generic EvalOpts 
Instance details

Defined in GHCi.Message

Associated Types

type Rep EvalOpts :: Type -> Type Source #

Generic SerializableException 
Instance details

Defined in GHCi.Message

Associated Types

type Rep SerializableException :: Type -> Type Source #

Generic THResultType 
Instance details

Defined in GHCi.Message

Associated Types

type Rep THResultType :: Type -> Type Source #

Generic FFIType 
Instance details

Defined in GHCi.FFI

Associated Types

type Rep FFIType :: Type -> Type Source #

Generic FFIConv 
Instance details

Defined in GHCi.FFI

Associated Types

type Rep FFIConv :: Type -> Type Source #

Generic Keyword 
Instance details

Defined in Language.PlutusCore.Lexer.Type

Associated Types

type Rep Keyword :: Type -> Type Source #

Methods

from :: Keyword -> Rep Keyword x Source #

to :: Rep Keyword x -> Keyword Source #

Generic Special 
Instance details

Defined in Language.PlutusCore.Lexer.Type

Associated Types

type Rep Special :: Type -> Type Source #

Methods

from :: Special -> Rep Special x Source #

to :: Rep Special x -> Special Source #

Generic AlexPosn 
Instance details

Defined in Language.PlutusCore.Lexer

Associated Types

type Rep AlexPosn :: Type -> Type Source #

Generic UnknownDynamicBuiltinNameError 
Instance details

Defined in Language.PlutusCore.Error

Associated Types

type Rep UnknownDynamicBuiltinNameError :: Type -> Type Source #

Generic Index 
Instance details

Defined in Language.PlutusCore.DeBruijn

Associated Types

type Rep Index :: Type -> Type Source #

Methods

from :: Index -> Rep Index x Source #

to :: Rep Index x -> Index Source #

Generic TypeBuiltin 
Instance details

Defined in Language.PlutusCore.Lexer.Type

Associated Types

type Rep TypeBuiltin :: Type -> Type Source #

Generic BuiltinName 
Instance details

Defined in Language.PlutusCore.Lexer.Type

Associated Types

type Rep BuiltinName :: Type -> Type Source #

Generic DynamicBuiltinName 
Instance details

Defined in Language.PlutusCore.Lexer.Type

Associated Types

type Rep DynamicBuiltinName :: Type -> Type Source #

Generic StagedBuiltinName 
Instance details

Defined in Language.PlutusCore.Lexer.Type

Associated Types

type Rep StagedBuiltinName :: Type -> Type Source #

Generic FormSchema 
Instance details

Defined in Schema

Associated Types

type Rep FormSchema :: Type -> Type Source #

Generic CompilationError 
Instance details

Defined in Language.Haskell.Interpreter

Associated Types

type Rep CompilationError :: Type -> Type Source #

Generic InterpreterError 
Instance details

Defined in Language.Haskell.Interpreter

Associated Types

type Rep InterpreterError :: Type -> Type Source #

Generic SourceCode 
Instance details

Defined in Language.Haskell.Interpreter

Associated Types

type Rep SourceCode :: Type -> Type Source #

Generic Warning 
Instance details

Defined in Language.Haskell.Interpreter

Associated Types

type Rep Warning :: Type -> Type Source #

Generic Tx 
Instance details

Defined in Ledger.Tx

Associated Types

type Rep Tx :: Type -> Type Source #

Methods

from :: Tx -> Rep Tx x Source #

to :: Rep Tx x -> Tx Source #

Generic PrivateKey 
Instance details

Defined in Ledger.Crypto

Associated Types

type Rep PrivateKey :: Type -> Type Source #

Methods

from :: PrivateKey -> Rep PrivateKey x Source #

to :: Rep PrivateKey x -> PrivateKey Source #

Generic EmulatorEvent 
Instance details

Defined in Wallet.Emulator.Types

Associated Types

type Rep EmulatorEvent :: Type -> Type Source #

Generic Wallet 
Instance details

Defined in Wallet.Emulator.Types

Associated Types

type Rep Wallet :: Type -> Type Source #

Generic Recursivity 
Instance details

Defined in Language.PlutusIR

Associated Types

type Rep Recursivity :: Type -> Type Source #

Generic Strictness 
Instance details

Defined in Language.PlutusIR

Associated Types

type Rep Strictness :: Type -> Type Source #

Generic Value 
Instance details

Defined in Ledger.Value

Associated Types

type Rep Value :: Type -> Type Source #

Methods

from :: Value -> Rep Value x Source #

to :: Rep Value x -> Value Source #

Generic RedeemerScript 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep RedeemerScript :: Type -> Type Source #

Methods

from :: RedeemerScript -> Rep RedeemerScript x Source #

to :: Rep RedeemerScript x -> RedeemerScript Source #

Generic ValidatorScript 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep ValidatorScript :: Type -> Type Source #

Methods

from :: ValidatorScript -> Rep ValidatorScript x Source #

to :: Rep ValidatorScript x -> ValidatorScript Source #

Generic AddressMap 
Instance details

Defined in Ledger.AddressMap

Associated Types

type Rep AddressMap :: Type -> Type Source #

Methods

from :: AddressMap -> Rep AddressMap x Source #

to :: Rep AddressMap x -> AddressMap Source #

Generic UtxOwner 
Instance details

Defined in Wallet.Graph

Associated Types

type Rep UtxOwner :: Type -> Type Source #

Generic TxRef 
Instance details

Defined in Wallet.Graph

Associated Types

type Rep TxRef :: Type -> Type Source #

Methods

from :: TxRef -> Rep TxRef x Source #

to :: Rep TxRef x -> TxRef Source #

Generic UtxoLocation 
Instance details

Defined in Wallet.Graph

Associated Types

type Rep UtxoLocation :: Type -> Type Source #

Generic FlowLink 
Instance details

Defined in Wallet.Graph

Associated Types

type Rep FlowLink :: Type -> Type Source #

Generic FlowGraph 
Instance details

Defined in Wallet.Graph

Associated Types

type Rep FlowGraph :: Type -> Type Source #

Generic WalletAPIError 
Instance details

Defined in Wallet.API

Associated Types

type Rep WalletAPIError :: Type -> Type Source #

Generic WalletLog 
Instance details

Defined in Wallet.API

Associated Types

type Rep WalletLog :: Type -> Type Source #

Generic Slot 
Instance details

Defined in Ledger.Slot

Associated Types

type Rep Slot :: Type -> Type Source #

Methods

from :: Slot -> Rep Slot x Source #

to :: Rep Slot x -> Slot Source #

Generic PubKey 
Instance details

Defined in Ledger.Crypto

Associated Types

type Rep PubKey :: Type -> Type Source #

Generic Doc 
Instance details

Defined in Text.PrettyPrint.HughesPJ

Associated Types

type Rep Doc :: Type -> Type Source #

Methods

from :: Doc -> Rep Doc x Source #

to :: Rep Doc x -> Doc Source #

Generic TextDetails 
Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep TextDetails :: Type -> Type Source #

Generic Style 
Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep Style :: Type -> Type Source #

Methods

from :: Style -> Rep Style x Source #

to :: Rep Style x -> Style Source #

Generic Mode 
Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep Mode :: Type -> Type Source #

Methods

from :: Mode -> Rep Mode x Source #

to :: Rep Mode x -> Mode Source #

Generic ModName 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ModName :: Type -> Type Source #

Generic PkgName 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PkgName :: Type -> Type Source #

Generic Module 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Module :: Type -> Type Source #

Generic OccName 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep OccName :: Type -> Type Source #

Generic NameFlavour 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep NameFlavour :: Type -> Type Source #

Generic NameSpace 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep NameSpace :: Type -> Type Source #

Generic Loc 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Loc :: Type -> Type Source #

Methods

from :: Loc -> Rep Loc x Source #

to :: Rep Loc x -> Loc Source #

Generic Info 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Info :: Type -> Type Source #

Methods

from :: Info -> Rep Info x Source #

to :: Rep Info x -> Info Source #

Generic ModuleInfo 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ModuleInfo :: Type -> Type Source #

Generic Fixity 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Fixity :: Type -> Type Source #

Generic FixityDirection 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FixityDirection :: Type -> Type Source #

Generic Lit 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Lit :: Type -> Type Source #

Methods

from :: Lit -> Rep Lit x Source #

to :: Rep Lit x -> Lit Source #

Generic Body 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Body :: Type -> Type Source #

Methods

from :: Body -> Rep Body x Source #

to :: Rep Body x -> Body Source #

Generic Guard 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Guard :: Type -> Type Source #

Methods

from :: Guard -> Rep Guard x Source #

to :: Rep Guard x -> Guard Source #

Generic Stmt 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Stmt :: Type -> Type Source #

Methods

from :: Stmt -> Rep Stmt x Source #

to :: Rep Stmt x -> Stmt Source #

Generic Range 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Range :: Type -> Type Source #

Methods

from :: Range -> Rep Range x Source #

to :: Rep Range x -> Range Source #

Generic DerivClause 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DerivClause :: Type -> Type Source #

Generic DerivStrategy 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DerivStrategy :: Type -> Type Source #

Generic TypeFamilyHead 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TypeFamilyHead :: Type -> Type Source #

Generic TySynEqn 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TySynEqn :: Type -> Type Source #

Generic Foreign 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Foreign :: Type -> Type Source #

Generic Callconv 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Callconv :: Type -> Type Source #

Generic Safety 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Safety :: Type -> Type Source #

Generic Pragma 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Pragma :: Type -> Type Source #

Generic Inline 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Inline :: Type -> Type Source #

Generic RuleMatch 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RuleMatch :: Type -> Type Source #

Generic Phases 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Phases :: Type -> Type Source #

Generic RuleBndr 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RuleBndr :: Type -> Type Source #

Generic AnnTarget 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep AnnTarget :: Type -> Type Source #

Generic SourceUnpackedness 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SourceUnpackedness :: Type -> Type Source #

Generic SourceStrictness 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SourceStrictness :: Type -> Type Source #

Generic DecidedStrictness 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DecidedStrictness :: Type -> Type Source #

Generic Con 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Con :: Type -> Type Source #

Methods

from :: Con -> Rep Con x Source #

to :: Rep Con x -> Con Source #

Generic Bang 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Bang :: Type -> Type Source #

Methods

from :: Bang -> Rep Bang x Source #

to :: Rep Bang x -> Bang Source #

Generic PatSynDir 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PatSynDir :: Type -> Type Source #

Generic PatSynArgs 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PatSynArgs :: Type -> Type Source #

Generic FamilyResultSig 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FamilyResultSig :: Type -> Type Source #

Generic TyLit 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TyLit :: Type -> Type Source #

Methods

from :: TyLit -> Rep TyLit x Source #

to :: Rep TyLit x -> TyLit Source #

Generic Role 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep Role :: Type -> Type Source #

Methods

from :: Role -> Rep Role x Source #

to :: Rep Role x -> Role Source #

Generic AnnLookup 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep AnnLookup :: Type -> Type Source #

Generic Value 
Instance details

Defined in Data.Aeson.Types.Internal

Associated Types

type Rep Value :: Type -> Type Source #

Methods

from :: Value -> Rep Value x Source #

to :: Rep Value x -> Value Source #

Generic Ada 
Instance details

Defined in Ledger.Ada

Associated Types

type Rep Ada :: Type -> Type Source #

Methods

from :: Ada -> Rep Ada x Source #

to :: Rep Ada x -> Ada Source #

Generic Signature 
Instance details

Defined in Ledger.Crypto

Associated Types

type Rep Signature :: Type -> Type Source #

Methods

from :: Signature -> Rep Signature x Source #

to :: Rep Signature x -> Signature Source #

Generic ValidationError 
Instance details

Defined in Ledger.Index

Associated Types

type Rep ValidationError :: Type -> Type Source #

Methods

from :: ValidationError -> Rep ValidationError x Source #

to :: Rep ValidationError x -> ValidationError Source #

Generic DataScript 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep DataScript :: Type -> Type Source #

Methods

from :: DataScript -> Rep DataScript x Source #

to :: Rep DataScript x -> DataScript Source #

Generic DataScriptHash 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep DataScriptHash :: Type -> Type Source #

Methods

from :: DataScriptHash -> Rep DataScriptHash x Source #

to :: Rep DataScriptHash x -> DataScriptHash Source #

Generic RedeemerHash 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep RedeemerHash :: Type -> Type Source #

Methods

from :: RedeemerHash -> Rep RedeemerHash x Source #

to :: Rep RedeemerHash x -> RedeemerHash Source #

Generic ScriptError 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep ScriptError :: Type -> Type Source #

Methods

from :: ScriptError -> Rep ScriptError x Source #

to :: Rep ScriptError x -> ScriptError Source #

Generic ValidationData 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep ValidationData :: Type -> Type Source #

Methods

from :: ValidationData -> Rep ValidationData x Source #

to :: Rep ValidationData x -> ValidationData Source #

Generic ValidatorHash 
Instance details

Defined in Ledger.Scripts

Associated Types

type Rep ValidatorHash :: Type -> Type Source #

Generic TxInType 
Instance details

Defined in Ledger.Tx

Associated Types

type Rep TxInType :: Type -> Type Source #

Methods

from :: TxInType -> Rep TxInType x Source #

to :: Rep TxInType x -> TxInType Source #

Generic TxOutType 
Instance details

Defined in Ledger.Tx

Associated Types

type Rep TxOutType :: Type -> Type Source #

Methods

from :: TxOutType -> Rep TxOutType x Source #

to :: Rep TxOutType x -> TxOutType Source #

Generic PendingTxOut 
Instance details

Defined in Ledger.Validation

Associated Types

type Rep PendingTxOut :: Type -> Type Source #

Methods

from :: PendingTxOut -> Rep PendingTxOut x Source #

to :: Rep PendingTxOut x -> PendingTxOut Source #

Generic PendingTxOutRef 
Instance details

Defined in Ledger.Validation

Associated Types

type Rep PendingTxOutRef :: Type -> Type Source #

Methods

from :: PendingTxOutRef -> Rep PendingTxOutRef x Source #

to :: Rep PendingTxOutRef x -> PendingTxOutRef Source #

Generic PendingTxOutType 
Instance details

Defined in Ledger.Validation

Associated Types

type Rep PendingTxOutType :: Type -> Type Source #

Methods

from :: PendingTxOutType -> Rep PendingTxOutType x Source #

to :: Rep PendingTxOutType x -> PendingTxOutType Source #

Generic TxHash 
Instance details

Defined in Ledger.Validation

Associated Types

type Rep TxHash :: Type -> Type Source #

Methods

from :: TxHash -> Rep TxHash x Source #

to :: Rep TxHash x -> TxHash Source #

Generic CurrencySymbol 
Instance details

Defined in Ledger.Value

Associated Types

type Rep CurrencySymbol :: Type -> Type Source #

Methods

from :: CurrencySymbol -> Rep CurrencySymbol x Source #

to :: Rep CurrencySymbol x -> CurrencySymbol Source #

Generic TokenName 
Instance details

Defined in Ledger.Value

Associated Types

type Rep TokenName :: Type -> Type Source #

Generic TokenName 
Instance details

Defined in Schema

Associated Types

type Rep TokenName :: Type -> Type Source #

Methods

from :: TokenName -> Rep TokenName x Source #

to :: Rep TokenName x -> TokenName Source #

Generic CurrencySymbol 
Instance details

Defined in Schema

Associated Types

type Rep CurrencySymbol :: Type -> Type Source #

Methods

from :: CurrencySymbol -> Rep CurrencySymbol x Source #

to :: Rep CurrencySymbol x -> CurrencySymbol Source #

Generic Slot 
Instance details

Defined in Schema

Associated Types

type Rep Slot :: Type -> Type Source #

Methods

from :: Slot -> Rep Slot x Source #

to :: Rep Slot x -> Slot Source #

Generic Value 
Instance details

Defined in Schema

Associated Types

type Rep Value :: Type -> Type Source #

Methods

from :: Value -> Rep Value x Source #

to :: Rep Value x -> Value Source #

Generic VestingTranche 
Instance details

Defined in Schema

Associated Types

type Rep VestingTranche :: Type -> Type Source #

Methods

from :: VestingTranche -> Rep VestingTranche x Source #

to :: Rep VestingTranche x -> VestingTranche Source #

Generic LedgerBytes 
Instance details

Defined in LedgerBytes

Associated Types

type Rep LedgerBytes :: Type -> Type Source #

Methods

from :: LedgerBytes -> Rep LedgerBytes x Source #

to :: Rep LedgerBytes x -> LedgerBytes Source #

Generic ConstructorInfo 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep ConstructorInfo :: Type -> Type Source #

Methods

from :: ConstructorInfo -> Rep ConstructorInfo x Source #

to :: Rep ConstructorInfo x -> ConstructorInfo Source #

Generic DatatypeInfo 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep DatatypeInfo :: Type -> Type Source #

Methods

from :: DatatypeInfo -> Rep DatatypeInfo x Source #

to :: Rep DatatypeInfo x -> DatatypeInfo Source #

Generic ConstructorVariant 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep ConstructorVariant :: Type -> Type Source #

Methods

from :: ConstructorVariant -> Rep ConstructorVariant x Source #

to :: Rep ConstructorVariant x -> ConstructorVariant Source #

Generic DatatypeVariant 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep DatatypeVariant :: Type -> Type Source #

Methods

from :: DatatypeVariant -> Rep DatatypeVariant x Source #

to :: Rep DatatypeVariant x -> DatatypeVariant Source #

Generic FieldStrictness 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep FieldStrictness :: Type -> Type Source #

Methods

from :: FieldStrictness -> Rep FieldStrictness x Source #

to :: Rep FieldStrictness x -> FieldStrictness Source #

Generic Strictness 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep Strictness :: Type -> Type Source #

Methods

from :: Strictness -> Rep Strictness x Source #

to :: Rep Strictness x -> Strictness Source #

Generic Unpackedness 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep Unpackedness :: Type -> Type Source #

Methods

from :: Unpackedness -> Rep Unpackedness x Source #

to :: Rep Unpackedness x -> Unpackedness Source #

Generic Half 
Instance details

Defined in Numeric.Half

Associated Types

type Rep Half :: Type -> Type Source #

Methods

from :: Half -> Rep Half x Source #

to :: Rep Half x -> Half Source #

Generic Form 
Instance details

Defined in Web.Internal.FormUrlEncoded

Associated Types

type Rep Form :: Type -> Type Source #

Methods

from :: Form -> Rep Form x Source #

to :: Rep Form x -> Form Source #

Generic URI 
Instance details

Defined in Network.URI

Associated Types

type Rep URI :: Type -> Type Source #

Methods

from :: URI -> Rep URI x Source #

to :: Rep URI x -> URI Source #

Generic AcceptHeader 
Instance details

Defined in Servant.API.ContentTypes

Associated Types

type Rep AcceptHeader :: Type -> Type Source #

Methods

from :: AcceptHeader -> Rep AcceptHeader x Source #

to :: Rep AcceptHeader x -> AcceptHeader Source #

Generic NoContent 
Instance details

Defined in Servant.API.ContentTypes

Associated Types

type Rep NoContent :: Type -> Type Source #

Methods

from :: NoContent -> Rep NoContent x Source #

to :: Rep NoContent x -> NoContent Source #

Generic IsSecure 
Instance details

Defined in Servant.API.IsSecure

Associated Types

type Rep IsSecure :: Type -> Type Source #

Methods

from :: IsSecure -> Rep IsSecure x Source #

to :: Rep IsSecure x -> IsSecure Source #

Generic AnnotatedTx Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep AnnotatedTx :: Type -> Type Source #

Generic DereferencedInput Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep DereferencedInput :: Type -> Type Source #

Generic SequenceId Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep SequenceId :: Type -> Type Source #

Generic PlaygroundError Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep PlaygroundError :: Type -> Type Source #

Generic CompilationResult Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep CompilationResult :: Type -> Type Source #

Generic EvaluationResult Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep EvaluationResult :: Type -> Type Source #

Generic Evaluation Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep Evaluation :: Type -> Type Source #

Generic SimulatorWallet Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep SimulatorWallet :: Type -> Type Source #

Generic Expression Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep Expression :: Type -> Type Source #

Generic Fn Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep Fn :: Type -> Type Source #

Methods

from :: Fn -> Rep Fn x Source #

to :: Rep Fn x -> Fn Source #

Generic KnownCurrency Source # 
Instance details

Defined in Playground.Types

Associated Types

type Rep KnownCurrency :: Type -> Type Source #

Generic [a] 
Instance details

Defined in GHC.Generics

Associated Types

type Rep [a] :: Type -> Type Source #

Methods

from :: [a] -> Rep [a] x Source #

to :: Rep [a] x -> [a] Source #

Generic (Maybe a) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Maybe a) :: Type -> Type Source #

Methods

from :: Maybe a -> Rep (Maybe a) x Source #

to :: Rep (Maybe a) x -> Maybe a Source #

Generic (Par1 p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Par1 p) :: Type -> Type Source #

Methods

from :: Par1 p -> Rep (Par1 p) x Source #

to :: Rep (Par1 p) x -> Par1 p Source #

Generic (Complex a) 
Instance details

Defined in Data.Complex

Associated Types

type Rep (Complex a) :: Type -> Type Source #

Methods

from :: Complex a -> Rep (Complex a) x Source #

to :: Rep (Complex a) x -> Complex a Source #

Generic (Min a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Min a) :: Type -> Type Source #

Methods

from :: Min a -> Rep (Min a) x Source #

to :: Rep (Min a) x -> Min a Source #

Generic (Max a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Max a) :: Type -> Type Source #

Methods

from :: Max a -> Rep (Max a) x Source #

to :: Rep (Max a) x -> Max a Source #

Generic (First a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (First a) :: Type -> Type Source #

Methods

from :: First a -> Rep (First a) x Source #

to :: Rep (First a) x -> First a Source #

Generic (Last a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Last a) :: Type -> Type Source #

Methods

from :: Last a -> Rep (Last a) x Source #

to :: Rep (Last a) x -> Last a Source #

Generic (WrappedMonoid m) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (WrappedMonoid m) :: Type -> Type Source #

Generic (Option a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Option a) :: Type -> Type Source #

Methods

from :: Option a -> Rep (Option a) x Source #

to :: Rep (Option a) x -> Option a Source #

Generic (ZipList a) 
Instance details

Defined in Control.Applicative

Associated Types

type Rep (ZipList a) :: Type -> Type Source #

Methods

from :: ZipList a -> Rep (ZipList a) x Source #

to :: Rep (ZipList a) x -> ZipList a Source #

Generic (Identity a) 
Instance details

Defined in Data.Functor.Identity

Associated Types

type Rep (Identity a) :: Type -> Type Source #

Methods

from :: Identity a -> Rep (Identity a) x Source #

to :: Rep (Identity a) x -> Identity a Source #

Generic (First a) 
Instance details

Defined in Data.Monoid

Associated Types

type Rep (First a) :: Type -> Type Source #

Methods

from :: First a -> Rep (First a) x Source #

to :: Rep (First a) x -> First a Source #

Generic (Last a) 
Instance details

Defined in Data.Monoid

Associated Types

type Rep (Last a) :: Type -> Type Source #

Methods

from :: Last a -> Rep (Last a) x Source #

to :: Rep (Last a) x -> Last a Source #

Generic (Dual a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Dual a) :: Type -> Type Source #

Methods

from :: Dual a -> Rep (Dual a) x Source #

to :: Rep (Dual a) x -> Dual a Source #

Generic (Endo a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Endo a) :: Type -> Type Source #

Methods

from :: Endo a -> Rep (Endo a) x Source #

to :: Rep (Endo a) x -> Endo a Source #

Generic (Sum a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Sum a) :: Type -> Type Source #

Methods

from :: Sum a -> Rep (Sum a) x Source #

to :: Rep (Sum a) x -> Sum a Source #

Generic (Product a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Product a) :: Type -> Type Source #

Methods

from :: Product a -> Rep (Product a) x Source #

to :: Rep (Product a) x -> Product a Source #

Generic (Down a) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Down a) :: Type -> Type Source #

Methods

from :: Down a -> Rep (Down a) x Source #

to :: Rep (Down a) x -> Down a Source #

Generic (NonEmpty a) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (NonEmpty a) :: Type -> Type Source #

Methods

from :: NonEmpty a -> Rep (NonEmpty a) x Source #

to :: Rep (NonEmpty a) x -> NonEmpty a Source #

Generic (SCC vertex) 
Instance details

Defined in Data.Graph

Associated Types

type Rep (SCC vertex) :: Type -> Type Source #

Methods

from :: SCC vertex -> Rep (SCC vertex) x Source #

to :: Rep (SCC vertex) x -> SCC vertex Source #

Generic (Tree a) 
Instance details

Defined in Data.Tree

Associated Types

type Rep (Tree a) :: Type -> Type Source #

Methods

from :: Tree a -> Rep (Tree a) x Source #

to :: Rep (Tree a) x -> Tree a Source #

Generic (FingerTree a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (FingerTree a) :: Type -> Type Source #

Methods

from :: FingerTree a -> Rep (FingerTree a) x Source #

to :: Rep (FingerTree a) x -> FingerTree a Source #

Generic (Digit a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (Digit a) :: Type -> Type Source #

Methods

from :: Digit a -> Rep (Digit a) x Source #

to :: Rep (Digit a) x -> Digit a Source #

Generic (Node a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (Node a) :: Type -> Type Source #

Methods

from :: Node a -> Rep (Node a) x Source #

to :: Rep (Node a) x -> Node a Source #

Generic (Elem a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (Elem a) :: Type -> Type Source #

Methods

from :: Elem a -> Rep (Elem a) x Source #

to :: Rep (Elem a) x -> Elem a Source #

Generic (ViewL a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (ViewL a) :: Type -> Type Source #

Methods

from :: ViewL a -> Rep (ViewL a) x Source #

to :: Rep (ViewL a) x -> ViewL a Source #

Generic (ViewR a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (ViewR a) :: Type -> Type Source #

Methods

from :: ViewR a -> Rep (ViewR a) x Source #

to :: Rep (ViewR a) x -> ViewR a Source #

Generic (EvalResult a) 
Instance details

Defined in GHCi.Message

Associated Types

type Rep (EvalResult a) :: Type -> Type Source #

Methods

from :: EvalResult a -> Rep (EvalResult a) x Source #

to :: Rep (EvalResult a) x -> EvalResult a Source #

Generic (EvalExpr a) 
Instance details

Defined in GHCi.Message

Associated Types

type Rep (EvalExpr a) :: Type -> Type Source #

Methods

from :: EvalExpr a -> Rep (EvalExpr a) x Source #

to :: Rep (EvalExpr a) x -> EvalExpr a Source #

Generic (SizedSeq a) 
Instance details

Defined in SizedSeq

Associated Types

type Rep (SizedSeq a) :: Type -> Type Source #

Methods

from :: SizedSeq a -> Rep (SizedSeq a) x Source #

to :: Rep (SizedSeq a) x -> SizedSeq a Source #

Generic (QResult a) 
Instance details

Defined in GHCi.Message

Associated Types

type Rep (QResult a) :: Type -> Type Source #

Methods

from :: QResult a -> Rep (QResult a) x Source #

to :: Rep (QResult a) x -> QResult a Source #

Generic (THResult a) 
Instance details

Defined in GHCi.Message

Associated Types

type Rep (THResult a) :: Type -> Type Source #

Methods

from :: THResult a -> Rep (THResult a) x Source #

to :: Rep (THResult a) x -> THResult a Source #

Generic (Token a) 
Instance details

Defined in Language.PlutusCore.Lexer.Type

Associated Types

type Rep (Token a) :: Type -> Type Source