kuber-3.1.0.0
Safe HaskellNone
LanguageHaskell2010

Cardano.Kuber.Data.Models

Documentation

class Wrapper m a where #

Methods

unWrap :: m -> a #

Instances

Instances details
Wrapper AnyCardanoEraModal AnyCardanoEra # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper ChainPointModal ChainPoint # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper EraHistoryModal EraHistory # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper SystemStartModal SystemStart # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper VoteModal Vote # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: VoteModal -> Vote #

Wrapper TxModal (InAnyCardanoEra Tx) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper ExUnitsResponseModal (Map ScriptWitnessIndex (Either FrameworkError ExecutionUnits)) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (AnchorModal era) (Anchor era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: AnchorModal era -> Anchor era #

Wrapper (CertificateModal era) (Certificate era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: CertificateModal era -> Certificate era #

Wrapper (ConstitutionModal era) (Constitution era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: ConstitutionModal era -> Constitution era #

Wrapper (DrepModal era) (DRep era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: DrepModal era -> DRep era #

Wrapper (GenesisParamModal era) (GenesisParameters era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (GovActionModal era) (GovAction era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: GovActionModal era -> GovAction era #

Wrapper (ProposalModal era) (Proposal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: ProposalModal era -> Proposal era #

Wrapper (RewardAcntModal era) (RewardAcnt era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: RewardAcntModal era -> RewardAcnt era #

Wrapper (UtxoModal era) (UTxO era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: UtxoModal era -> UTxO era #

Wrapper (VotingProcedureModal era) (VotingProcedure era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (UTxO era) (Map TxIn (TxOut CtxUTxO era)) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: UTxO era -> Map TxIn (TxOut CtxUTxO era) #

newtype AssetModal #

Constructors

AssetModal AssetId 

Instances

Instances details
Show AssetModal # 
Instance details

Defined in Cardano.Kuber.Data.Models

newtype RewardAcntModal crypto #

Constructors

RewardAcntModal (RewardAcnt crypto) 

Instances

Instances details
StandardCrypto ~ crypto => FromJSON (RewardAcntModal crypto) # 
Instance details

Defined in Cardano.Kuber.Data.Models

era ~ StandardCrypto => FromJSONKey (RewardAcntModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

StandardCrypto ~ crypto => ToJSON (RewardAcntModal crypto) # 
Instance details

Defined in Cardano.Kuber.Data.Models

era ~ StandardCrypto => ToJSONKey (RewardAcntModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Show (RewardAcntModal crypto) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

showsPrec :: Int -> RewardAcntModal crypto -> ShowS #

show :: RewardAcntModal crypto -> String #

showList :: [RewardAcntModal crypto] -> ShowS #

Eq (RewardAcntModal crypto) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

(==) :: RewardAcntModal crypto -> RewardAcntModal crypto -> Bool #

(/=) :: RewardAcntModal crypto -> RewardAcntModal crypto -> Bool #

Ord (RewardAcntModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (RewardAcntModal era) (RewardAcnt era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: RewardAcntModal era -> RewardAcnt era #

newtype SignKeyModal #

Instances

Instances details
Show SignKeyModal # 
Instance details

Defined in Cardano.Kuber.Data.Models

newtype UtxoModal era #

Constructors

UtxoModal (UTxO era) 

Instances

Instances details
IsTxBuilderEra era => FromJSON (UtxoModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

IsTxBuilderEra era => ToJSON (UtxoModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Show (UtxoModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

showsPrec :: Int -> UtxoModal era -> ShowS #

show :: UtxoModal era -> String #

showList :: [UtxoModal era] -> ShowS #

Wrapper (UtxoModal era) (UTxO era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: UtxoModal era -> UTxO era #

newtype UtxoIdModal #

Constructors

UtxoIdModal (TxId, TxIx) 

newtype WitnessModal era #

Constructors

WitnessModal (KeyWitness era) 

Instances

Instances details
IsTxBuilderEra era => FromJSON (WitnessModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Show (WitnessModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

newtype ProposalModal era #

Constructors

ProposalModal (Proposal era) 

Instances

Instances details
Wrapper (ProposalModal era) (Proposal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: ProposalModal era -> Proposal era #

newtype GovActionModal era #

Constructors

GovActionModal (GovAction era) 

Instances

Instances details
EraCrypto ledgerera ~ StandardCrypto => FromJSON (GovActionModal ledgerera) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (GovActionModal era) (GovAction era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: GovActionModal era -> GovAction era #

newtype ConstitutionModal era #

Constructors

ConstitutionModal (Constitution era) 

Instances

Instances details
EraCrypto ledgerera ~ StandardCrypto => FromJSON (ConstitutionModal ledgerera) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (ConstitutionModal era) (Constitution era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: ConstitutionModal era -> Constitution era #

newtype AnchorModal era #

Constructors

AnchorModal (Anchor era) 

Instances

Instances details
Crypto era => FromJSON (AnchorModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Crypto era => ToJSON (AnchorModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (AnchorModal era) (Anchor era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: AnchorModal era -> Anchor era #

newtype EraHistoryModal #

Instances

Instances details
Wrapper EraHistoryModal EraHistory # 
Instance details

Defined in Cardano.Kuber.Data.Models

newtype DrepModal era #

Constructors

DrepModal (DRep era) 

Instances

Instances details
era ~ StandardCrypto => FromJSON (DrepModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

era ~ StandardCrypto => ToJSON (DrepModal era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Wrapper (DrepModal era) (DRep era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

unWrap :: DrepModal era -> DRep era #

data CredentialModal (r :: KeyRole) era #

Constructors

CredentialModal (Credential r era) 

Instances

Instances details
(ledgerera ~ StandardCrypto, Crypto ledgerera) => FromJSON (CredentialModal r ledgerera) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

parseJSON :: Value -> Parser (CredentialModal r ledgerera) #

parseJSONList :: Value -> Parser [CredentialModal r ledgerera] #

omittedField :: Maybe (CredentialModal r ledgerera) #

(ledgerera ~ StandardCrypto, Crypto ledgerera) => FromJSONKey (CredentialModal r ledgerera) # 
Instance details

Defined in Cardano.Kuber.Data.Models

(Crypto ledgerera, Typeable r) => ToJSON (CredentialModal r ledgerera) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

toJSON :: CredentialModal r ledgerera -> Value #

toEncoding :: CredentialModal r ledgerera -> Encoding #

toJSONList :: [CredentialModal r ledgerera] -> Value #

toEncodingList :: [CredentialModal r ledgerera] -> Encoding #

omitField :: CredentialModal r ledgerera -> Bool #

(era ~ StandardCrypto, Typeable r) => ToJSONKey (CredentialModal r era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Show (CredentialModal r era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Eq (CredentialModal r era) # 
Instance details

Defined in Cardano.Kuber.Data.Models

Methods

(==) :: CredentialModal r era -> CredentialModal r era -> Bool #

(/=) :: CredentialModal r era -> CredentialModal r era -> Bool #

Ord (CredentialModal r cre) # 
Instance details

Defined in Cardano.Kuber.Data.Models

data BalanceResponse #

Constructors

BalanceResponse 

Fields

Instances

Instances details
ToJSON BalanceResponse # 
Instance details

Defined in Cardano.Kuber.Data.Models

Generic BalanceResponse # 
Instance details

Defined in Cardano.Kuber.Data.Models

Associated Types

type Rep BalanceResponse 
Instance details

Defined in Cardano.Kuber.Data.Models

type Rep BalanceResponse = D1 ('MetaData "BalanceResponse" "Cardano.Kuber.Data.Models" "kuber-3.1.0.0-inplace" 'False) (C1 ('MetaCons "BalanceResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "utxos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO ConwayEra))))
Show BalanceResponse # 
Instance details

Defined in Cardano.Kuber.Data.Models

type Rep BalanceResponse # 
Instance details

Defined in Cardano.Kuber.Data.Models

type Rep BalanceResponse = D1 ('MetaData "BalanceResponse" "Cardano.Kuber.Data.Models" "kuber-3.1.0.0-inplace" 'False) (C1 ('MetaCons "BalanceResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "utxos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO ConwayEra))))

data KeyHashResponse #

Constructors

KeyHashResponse 

Fields

Instances

Instances details
ToJSON KeyHashResponse # 
Instance details

Defined in Cardano.Kuber.Data.Models

Generic KeyHashResponse # 
Instance details

Defined in Cardano.Kuber.Data.Models

Associated Types

type Rep KeyHashResponse 
Instance details

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)))
Show KeyHashResponse # 
Instance details

Defined in Cardano.Kuber.Data.Models

type Rep KeyHashResponse # 
Instance details

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 QueryTipResponse #

Constructors

QueryTipResponse 

Fields

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) #

mapStrictMaybe :: StrictMaybe a -> (a -> b) -> Maybe b #

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