Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
newtype AssetModal #
Instances
Show AssetModal # | |
Defined in Cardano.Kuber.Data.Models showsPrec :: Int -> AssetModal -> ShowS # show :: AssetModal -> String # showList :: [AssetModal] -> ShowS # |
newtype AddressModal #
Instances
FromJSON AddressModal # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser AddressModal # parseJSONList :: Value -> Parser [AddressModal] # | |
ToJSON AddressModal # | |
Defined in Cardano.Kuber.Data.Models toJSON :: AddressModal -> Value # toEncoding :: AddressModal -> Encoding # toJSONList :: [AddressModal] -> Value # toEncodingList :: [AddressModal] -> Encoding # omitField :: AddressModal -> Bool # | |
Show AddressModal # | |
Defined in Cardano.Kuber.Data.Models showsPrec :: Int -> AddressModal -> ShowS # show :: AddressModal -> String # showList :: [AddressModal] -> ShowS # |
newtype RewardAcntModal crypto #
RewardAcntModal (RewardAcnt crypto) |
Instances
newtype SignKeyModal #
Instances
Show SignKeyModal # | |
Defined in Cardano.Kuber.Data.Models showsPrec :: Int -> SignKeyModal -> ShowS # show :: SignKeyModal -> String # showList :: [SignKeyModal] -> ShowS # |
Instances
IsTxBuilderEra era => FromJSON (UtxoModal era) # | |
Defined in Cardano.Kuber.Data.Models | |
IsTxBuilderEra era => ToJSON (UtxoModal era) # | |
Show (UtxoModal era) # | |
Wrapper (UtxoModal era) (UTxO era) # | |
Defined in Cardano.Kuber.Data.Models |
newtype UtxoIdModal #
UtxoIdModal (TxId, TxIx) |
Instances
FromJSON UtxoIdModal # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser UtxoIdModal # parseJSONList :: Value -> Parser [UtxoIdModal] # | |
Show UtxoIdModal # | |
Defined in Cardano.Kuber.Data.Models showsPrec :: Int -> UtxoIdModal -> ShowS # show :: UtxoIdModal -> String # showList :: [UtxoIdModal] -> ShowS # |
newtype WitnessModal era #
WitnessModal (KeyWitness era) |
Instances
IsTxBuilderEra era => FromJSON (WitnessModal era) # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser (WitnessModal era) # parseJSONList :: Value -> Parser [WitnessModal era] # omittedField :: Maybe (WitnessModal era) # | |
Show (WitnessModal era) # | |
Defined in Cardano.Kuber.Data.Models showsPrec :: Int -> WitnessModal era -> ShowS # show :: WitnessModal era -> String # showList :: [WitnessModal era] -> ShowS # |
Instances
FromJSON TxModal # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON TxModal # | |
Show TxModal # | |
MimeRender CBORBinary TxModal # | |
Defined in Cardano.Kuber.Http.MediaType mimeRender :: Proxy CBORBinary -> TxModal -> ByteString # | |
MimeUnrender CBORBinary TxModal # | |
Defined in Cardano.Kuber.Http.MediaType mimeUnrender :: Proxy CBORBinary -> ByteString -> Either String TxModal # mimeUnrenderWithType :: Proxy CBORBinary -> MediaType -> ByteString -> Either String TxModal # | |
Wrapper TxModal (InAnyCardanoEra Tx) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: TxModal -> InAnyCardanoEra Tx # |
newtype CertificateModal era #
CertificateModal (Certificate era) |
Instances
era ~ ConwayEra => FromJSON (CertificateModal era) # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser (CertificateModal era) # parseJSONList :: Value -> Parser [CertificateModal era] # omittedField :: Maybe (CertificateModal era) # | |
(Crypto (EraCrypto (ShelleyLedgerEra era)), EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto) => ToJSON (CertificateModal era) # | |
Defined in Cardano.Kuber.Data.Models toJSON :: CertificateModal era -> Value # toEncoding :: CertificateModal era -> Encoding # toJSONList :: [CertificateModal era] -> Value # toEncodingList :: [CertificateModal era] -> Encoding # omitField :: CertificateModal era -> Bool # | |
Wrapper (CertificateModal era) (Certificate era) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: CertificateModal era -> Certificate era # |
newtype ProposalModal era #
ProposalModal (Proposal era) |
Instances
Wrapper (ProposalModal era) (Proposal era) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: ProposalModal era -> Proposal era # |
newtype GovActionModal era #
GovActionModal (GovAction era) |
Instances
EraCrypto ledgerera ~ StandardCrypto => FromJSON (GovActionModal ledgerera) # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser (GovActionModal ledgerera) # parseJSONList :: Value -> Parser [GovActionModal ledgerera] # omittedField :: Maybe (GovActionModal ledgerera) # | |
Wrapper (GovActionModal era) (GovAction era) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: GovActionModal era -> GovAction era # |
newtype ConstitutionModal era #
Instances
EraCrypto ledgerera ~ StandardCrypto => FromJSON (ConstitutionModal ledgerera) # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser (ConstitutionModal ledgerera) # parseJSONList :: Value -> Parser [ConstitutionModal ledgerera] # omittedField :: Maybe (ConstitutionModal ledgerera) # | |
Wrapper (ConstitutionModal era) (Constitution era) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: ConstitutionModal era -> Constitution era # |
newtype AnchorModal era #
AnchorModal (Anchor era) |
Instances
Crypto era => FromJSON (AnchorModal era) # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser (AnchorModal era) # parseJSONList :: Value -> Parser [AnchorModal era] # omittedField :: Maybe (AnchorModal era) # | |
Crypto era => ToJSON (AnchorModal era) # | |
Defined in Cardano.Kuber.Data.Models toJSON :: AnchorModal era -> Value # toEncoding :: AnchorModal era -> Encoding # toJSONList :: [AnchorModal era] -> Value # toEncodingList :: [AnchorModal era] -> Encoding # omitField :: AnchorModal era -> Bool # | |
Wrapper (AnchorModal era) (Anchor era) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: AnchorModal era -> Anchor era # |
newtype SystemStartModal #
Instances
FromJSON SystemStartModal # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser SystemStartModal # parseJSONList :: Value -> Parser [SystemStartModal] # | |
ToJSON SystemStartModal # | |
Defined in Cardano.Kuber.Data.Models toJSON :: SystemStartModal -> Value # toEncoding :: SystemStartModal -> Encoding # toJSONList :: [SystemStartModal] -> Value # toEncodingList :: [SystemStartModal] -> Encoding # omitField :: SystemStartModal -> Bool # | |
Wrapper SystemStartModal SystemStart # | |
Defined in Cardano.Kuber.Data.Models unWrap :: SystemStartModal -> SystemStart # |
newtype EraHistoryModal #
Instances
Wrapper EraHistoryModal EraHistory # | |
Defined in Cardano.Kuber.Data.Models unWrap :: EraHistoryModal -> EraHistory # |
newtype GenesisParamModal era #
Instances
FromJSON (GenesisParamModal ShelleyEra) # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON (GenesisParamModal ShelleyEra) # | |
Defined in Cardano.Kuber.Data.Models | |
Wrapper (GenesisParamModal era) (GenesisParameters era) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: GenesisParamModal era -> GenesisParameters era # |
newtype VotingProcedureModal era #
Instances
Crypto (EraCrypto era) => FromJSON (VotingProcedureModal era) # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser (VotingProcedureModal era) # parseJSONList :: Value -> Parser [VotingProcedureModal era] # omittedField :: Maybe (VotingProcedureModal era) # | |
Wrapper (VotingProcedureModal era) (VotingProcedure era) # | |
Defined in Cardano.Kuber.Data.Models unWrap :: VotingProcedureModal era -> VotingProcedure era # |
Instances
era ~ StandardCrypto => FromJSON (DrepModal era) # | |
Defined in Cardano.Kuber.Data.Models | |
era ~ StandardCrypto => ToJSON (DrepModal era) # | |
Wrapper (DrepModal era) (DRep era) # | |
Defined in Cardano.Kuber.Data.Models |
data CredentialModal (r :: KeyRole) era #
CredentialModal (Credential r era) |
Instances
unAssetModal :: AssetModal -> AssetId #
unWitnessModal :: WitnessModal era -> KeyWitness era #
unUtxoIdModal :: UtxoIdModal -> (TxId, TxIx) #
data BalanceResponse #
Instances
data KeyHashResponse #
Instances
ToJSON KeyHashResponse # | |||||
Defined in Cardano.Kuber.Data.Models toJSON :: KeyHashResponse -> Value # toEncoding :: KeyHashResponse -> Encoding # toJSONList :: [KeyHashResponse] -> Value # toEncodingList :: [KeyHashResponse] -> Encoding # omitField :: KeyHashResponse -> Bool # | |||||
Generic KeyHashResponse # | |||||
Defined in Cardano.Kuber.Data.Models
from :: KeyHashResponse -> Rep KeyHashResponse x # to :: Rep KeyHashResponse x -> KeyHashResponse # | |||||
Show KeyHashResponse # | |||||
Defined in Cardano.Kuber.Data.Models showsPrec :: Int -> KeyHashResponse -> ShowS # show :: KeyHashResponse -> String # showList :: [KeyHashResponse] -> ShowS # | |||||
type Rep KeyHashResponse # | |||||
Defined in Cardano.Kuber.Data.Models type Rep KeyHashResponse = D1 ('MetaData "KeyHashResponse" "Cardano.Kuber.Data.Models" "kuber-3.1.0.0-inplace" 'False) (C1 ('MetaCons "KeyHashResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "keyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) |
data SubmitTxModal #
Instances
FromJSON SubmitTxModal # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser SubmitTxModal # parseJSONList :: Value -> Parser [SubmitTxModal] # | |
ToJSON SubmitTxModal # | |
Defined in Cardano.Kuber.Data.Models toJSON :: SubmitTxModal -> Value # toEncoding :: SubmitTxModal -> Encoding # toJSONList :: [SubmitTxModal] -> Value # toEncodingList :: [SubmitTxModal] -> Encoding # omitField :: SubmitTxModal -> Bool # | |
MimeUnrender CBORBinary SubmitTxModal # | |
Defined in Cardano.Kuber.Http.MediaType mimeUnrender :: Proxy CBORBinary -> ByteString -> Either String SubmitTxModal # mimeUnrenderWithType :: Proxy CBORBinary -> MediaType -> ByteString -> Either String SubmitTxModal # |
newtype TimeTranslationReq #
Instances
FromJSON TimeTranslationReq # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON TimeTranslationReq # | |
Defined in Cardano.Kuber.Data.Models toJSON :: TimeTranslationReq -> Value # toEncoding :: TimeTranslationReq -> Encoding # toJSONList :: [TimeTranslationReq] -> Value # toEncodingList :: [TimeTranslationReq] -> Encoding # omitField :: TimeTranslationReq -> Bool # |
newtype SlotTranslationReq #
Instances
FromJSON SlotTranslationReq # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON SlotTranslationReq # | |
Defined in Cardano.Kuber.Data.Models toJSON :: SlotTranslationReq -> Value # toEncoding :: SlotTranslationReq -> Encoding # toJSONList :: [SlotTranslationReq] -> Value # toEncodingList :: [SlotTranslationReq] -> Encoding # omitField :: SlotTranslationReq -> Bool # |
data TranslationResponse #
Instances
FromJSON TranslationResponse # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON TranslationResponse # | |
Defined in Cardano.Kuber.Data.Models toJSON :: TranslationResponse -> Value # toEncoding :: TranslationResponse -> Encoding # toJSONList :: [TranslationResponse] -> Value # toEncodingList :: [TranslationResponse] -> Encoding # omitField :: TranslationResponse -> Bool # |
parseRewardAcntTxt :: MonadFail m => Text -> m (RewardAcntModal StandardCrypto) #
data HealthStatusModal #
Instances
FromJSON HealthStatusModal # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON HealthStatusModal # | |
Defined in Cardano.Kuber.Data.Models toJSON :: HealthStatusModal -> Value # toEncoding :: HealthStatusModal -> Encoding # toJSONList :: [HealthStatusModal] -> Value # toEncodingList :: [HealthStatusModal] -> Encoding # omitField :: HealthStatusModal -> Bool # |
newtype ChainPointModal #
Instances
FromJSON ChainPointModal # | |
Defined in Cardano.Kuber.Data.Models parseJSON :: Value -> Parser ChainPointModal # parseJSONList :: Value -> Parser [ChainPointModal] # | |
ToJSON ChainPointModal # | |
Defined in Cardano.Kuber.Data.Models toJSON :: ChainPointModal -> Value # toEncoding :: ChainPointModal -> Encoding # toJSONList :: [ChainPointModal] -> Value # toEncodingList :: [ChainPointModal] -> Encoding # omitField :: ChainPointModal -> Bool # | |
Wrapper ChainPointModal ChainPoint # | |
Defined in Cardano.Kuber.Data.Models unWrap :: ChainPointModal -> ChainPoint # |
newtype AnyCardanoEraModal #
Instances
FromJSON AnyCardanoEraModal # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON AnyCardanoEraModal # | |
Defined in Cardano.Kuber.Data.Models toJSON :: AnyCardanoEraModal -> Value # toEncoding :: AnyCardanoEraModal -> Encoding # toJSONList :: [AnyCardanoEraModal] -> Value # toEncodingList :: [AnyCardanoEraModal] -> Encoding # omitField :: AnyCardanoEraModal -> Bool # | |
Wrapper AnyCardanoEraModal AnyCardanoEra # | |
Defined in Cardano.Kuber.Data.Models |
newtype ExUnitsResponseModal #
Instances
FromJSON ExUnitsResponseModal # | |
Defined in Cardano.Kuber.Data.Models | |
ToJSON ExUnitsResponseModal # | |
Defined in Cardano.Kuber.Data.Models toJSON :: ExUnitsResponseModal -> Value # toEncoding :: ExUnitsResponseModal -> Encoding # toJSONList :: [ExUnitsResponseModal] -> Value # toEncodingList :: [ExUnitsResponseModal] -> Encoding # omitField :: ExUnitsResponseModal -> Bool # | |
Wrapper ExUnitsResponseModal (Map ScriptWitnessIndex (Either FrameworkError ExecutionUnits)) # | |
Defined in Cardano.Kuber.Data.Models |
parseParamUpdate :: (Assert (OrdCond (CmpNat (ProtVerLow ledgerera) (ProtVerHigh ledgerera)) 'True 'True 'False) (TypeError ((('Text "Cannot satisfy: " ':<>: 'ShowType (ProtVerLow ledgerera)) ':<>: 'Text " <= ") ':<>: 'ShowType (ProtVerHigh ledgerera)) :: Constraint), Assert (OrdCond (CmpNat 0 (ProtVerLow ledgerera)) 'True 'True 'False) (TypeError ((('Text "Cannot satisfy: " ':<>: 'ShowType MinVersion) ':<>: 'Text " <= ") ':<>: 'ShowType (ProtVerLow ledgerera)) :: Constraint), Assert (OrdCond (CmpNat 0 (ProtVerHigh ledgerera)) 'True 'True 'False) (TypeError ((('Text "Cannot satisfy: " ':<>: 'ShowType MinVersion) ':<>: 'Text " <= ") ':<>: 'ShowType (ProtVerHigh ledgerera)) :: Constraint), ConwayEraPParams ledgerera) => StrictMaybe (GovPurposeId 'PParamUpdatePurpose ledgerera) -> StrictMaybe (ScriptHash (EraCrypto ledgerera)) -> Value -> Parser (GovAction ledgerera) #
parseCredentialText :: forall {era} {m} {r :: KeyRole}. (MonadFail m, Alternative m, Crypto era) => Text -> m (CredentialModal r era) #
rawBytesToCred :: forall c f (kr :: KeyRole). (HashAlgorithm (ADDRHASH c), MonadFail f) => ByteString -> Bool -> f (Credential kr c) #
parseFromDrepKeyBytes :: MonadFail f => ByteString -> f (DrepModal StandardCrypto) #
data AsDrepModal #
toStrictMaybe :: Maybe a -> StrictMaybe a #
fromStrictMaybe :: StrictMaybe a -> Maybe a #
mapStrictMaybe :: StrictMaybe a -> (a -> b) -> Maybe b #
type PrevGovAction (purpose :: GovActionPurpose) = StrictMaybe (GovPurposeId purpose StandardCrypto) #
type LedgerAnchor = Anchor StandardCrypto #
toGovernanceAction :: forall ledgerera (purpose :: GovActionPurpose). EraCrypto ledgerera ~ StandardCrypto => PrevGovAction purpose -> LedgerAnchor -> Constitution ledgerera #
anchorToKeyValue :: (KeyValue e a, ToJSON v) => StrictMaybe v -> [a] #
addKeyIfJust :: (KeyValue e a, ToJSON v) => Key -> StrictMaybe v -> [a] #
Orphan instances
(ConwayEraPParams (ShelleyLedgerEra era), EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto) => FromJSON (LedgerProtocolParameters era) # | |
parseJSON :: Value -> Parser (LedgerProtocolParameters era) # parseJSONList :: Value -> Parser [LedgerProtocolParameters era] # omittedField :: Maybe (LedgerProtocolParameters era) # | |
(IsTxBuilderEra era, ToJSON (PParamsHKD Identity (ShelleyLedgerEra era))) => ToJSON (LedgerProtocolParameters era) # | |
toJSON :: LedgerProtocolParameters era -> Value # toEncoding :: LedgerProtocolParameters era -> Encoding # toJSONList :: [LedgerProtocolParameters era] -> Value # toEncodingList :: [LedgerProtocolParameters era] -> Encoding # omitField :: LedgerProtocolParameters era -> Bool # |