Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.State.Schema

Documentation

type FGenDelegs = Enc (Map FutureGenDeleg GenDelegPair) Source #

type CredentialWitness = Credential 'Witness Source #

type KeyHashWitness = KeyHash 'Witness Source #

data DRepDelegation Source #

Constructors

DRepDelegationNone
DRepDelegationCredential
DRepDelegationAlwaysAbstain
DRepDelegationAlwaysNoConfidence

Instances

Instances details

Bounded DRepDelegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods minBound ∷ DRepDelegation # maxBound ∷ DRepDelegation #
Enum DRepDelegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods succ ∷ DRepDelegation → DRepDelegation # pred ∷ DRepDelegation → DRepDelegation # toEnum ∷ Int → DRepDelegation # fromEnum ∷ DRepDelegation → Int # enumFrom ∷ DRepDelegation → [DRepDelegation] # enumFromThen ∷ DRepDelegation → DRepDelegation → [DRepDelegation] # enumFromTo ∷ DRepDelegation → DRepDelegation → [DRepDelegation] # enumFromThenTo ∷ DRepDelegation → DRepDelegation → DRepDelegation → [DRepDelegation] #
Show DRepDelegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → DRepDelegation → ShowS # show ∷ DRepDelegation → String # showList ∷ [DRepDelegation] → ShowS #
Eq DRepDelegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ DRepDelegation → DRepDelegation → Bool # (/=) ∷ DRepDelegation → DRepDelegation → Bool #
PersistField DRepDelegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ DRepDelegation → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text DRepDelegation Source #
PersistFieldSql DRepDelegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy DRepDelegation → SqlType Source #
SymbolToField "drep" Account DRepDelegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Account DRepDelegation Source #

type IRTreasuryId = Key IRTreasury Source #

data IRTreasury Source #

Constructors

IRTreasury
Fields iRTreasuryDstateId ∷ !DStateId iRTreasuryCredentialId ∷ !CredentialId iRTreasuryCoin ∷ !Coin

Instances

Instances details

PersistEntity IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend IRTreasury
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend IRTreasury = SqlBackend
newtype Key IRTreasury
Instance details Defined in Cardano.Ledger.State.Schema newtype Key IRTreasury = IRTreasuryKey { unIRTreasuryKey ∷ BackendKey SqlBackend }
data EntityField IRTreasury typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField IRTreasury typ = typ ~ IRTreasuryId ⇒ IRTreasuryId \| typ ~ DStateId ⇒ IRTreasuryDstateId \| typ ~ CredentialId ⇒ IRTreasuryCredentialId \| typ ~ Coin ⇒ IRTreasuryCoin
data Unique IRTreasury
Instance details Defined in Cardano.Ledger.State.Schema data Unique IRTreasury = UniqueIRTreasury DStateId CredentialId

Methods

keyToValues ∷ Key IRTreasury → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key IRTreasury) Source #

persistIdField ∷ EntityField IRTreasury (Key IRTreasury) Source #

entityDef ∷ proxy IRTreasury → EntityDef Source #

persistFieldDef ∷ EntityField IRTreasury typ → FieldDef Source #

toPersistFields ∷ IRTreasury → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text IRTreasury Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField IRTreasury a → f a) → f (Entity IRTreasury) Source #

persistUniqueKeys ∷ IRTreasury → [Unique IRTreasury] Source #

persistUniqueToFieldNames ∷ Unique IRTreasury → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique IRTreasury → [PersistValue] Source #

fieldLens ∷ EntityField IRTreasury field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity IRTreasury → f (Entity IRTreasury) Source #

keyFromRecordM ∷ Maybe (IRTreasury → Key IRTreasury) Source #

SafeToInsert IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ IRTreasury → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text IRTreasury Source #

AtLeastOneUniqueKey IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ IRTreasury → NonEmpty (Unique IRTreasury) Source #

OnlyOneUniqueKey IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ IRTreasury → Unique IRTreasury Source #

PersistFieldSql IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy IRTreasury → SqlType Source #

ToBackendKey SqlBackend IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key IRTreasury → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key IRTreasury Source #

SymbolToField "coin" IRTreasury Coin Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRTreasury Coin Source #

SymbolToField "credentialId" IRTreasury CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRTreasury CredentialId Source #

SymbolToField "dstateId" IRTreasury DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRTreasury DStateId Source #

SymbolToField "id" IRTreasury (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRTreasury (Key IRTreasury) Source #

FromJSON (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key IRTreasury) Source #

parseJSONList ∷ Value → Parser [Key IRTreasury] Source #

omittedField ∷ Maybe (Key IRTreasury) Source #

ToJSON (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key IRTreasury → Value Source #

toEncoding ∷ Key IRTreasury → Encoding Source #

toJSONList ∷ [Key IRTreasury] → Value Source #

toEncodingList ∷ [Key IRTreasury] → Encoding Source #

omitField ∷ Key IRTreasury → Bool Source #

Read (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key IRTreasury) #

readList ∷ ReadS [Key IRTreasury] #

readPrec ∷ ReadPrec (Key IRTreasury) #

readListPrec ∷ ReadPrec [Key IRTreasury] #

Show (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key IRTreasury → ShowS #

show ∷ Key IRTreasury → String #

showList ∷ [Key IRTreasury] → ShowS #

Eq (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key IRTreasury → Key IRTreasury → Bool #

(/=) ∷ Key IRTreasury → Key IRTreasury → Bool #

Ord (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key IRTreasury → Key IRTreasury → Ordering #

(<) ∷ Key IRTreasury → Key IRTreasury → Bool #

(<=) ∷ Key IRTreasury → Key IRTreasury → Bool #

(>) ∷ Key IRTreasury → Key IRTreasury → Bool #

(>=) ∷ Key IRTreasury → Key IRTreasury → Bool #

max ∷ Key IRTreasury → Key IRTreasury → Key IRTreasury #

min ∷ Key IRTreasury → Key IRTreasury → Key IRTreasury #

FromHttpApiData (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key IRTreasury) Source #

parseHeader ∷ ByteString → Either Text (Key IRTreasury) Source #

parseQueryParam ∷ Text → Either Text (Key IRTreasury) Source #

ToHttpApiData (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key IRTreasury → Text Source #

toEncodedUrlPiece ∷ Key IRTreasury → Builder Source #

toHeader ∷ Key IRTreasury → ByteString Source #

toQueryParam ∷ Key IRTreasury → Text Source #

toEncodedQueryParam ∷ Key IRTreasury → Builder Source #

PathPiece (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key IRTreasury) Source #

toPathPiece ∷ Key IRTreasury → Text Source #

PersistField (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key IRTreasury → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key IRTreasury) Source #

PersistFieldSql (Key IRTreasury) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key IRTreasury) → SqlType Source #

data EntityField IRTreasury typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField IRTreasury typ

= typ ~ IRTreasuryId ⇒ IRTreasuryId
| typ ~ DStateId ⇒ IRTreasuryDstateId
| typ ~ CredentialId ⇒ IRTreasuryCredentialId
| typ ~ Coin ⇒ IRTreasuryCoin

newtype Key IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key IRTreasury = IRTreasuryKey {

unIRTreasuryKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend IRTreasury = SqlBackend

data Unique IRTreasury Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique IRTreasury = UniqueIRTreasury DStateId CredentialId

type IRReservesId = Key IRReserves Source #

data IRReserves Source #

Constructors

IRReserves
Fields iRReservesDstateId ∷ !DStateId iRReservesCredentialId ∷ !CredentialId iRReservesCoin ∷ !Coin

Instances

Instances details

PersistEntity IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend IRReserves
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend IRReserves = SqlBackend
newtype Key IRReserves
Instance details Defined in Cardano.Ledger.State.Schema newtype Key IRReserves = IRReservesKey { unIRReservesKey ∷ BackendKey SqlBackend }
data EntityField IRReserves typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField IRReserves typ = typ ~ IRReservesId ⇒ IRReservesId \| typ ~ DStateId ⇒ IRReservesDstateId \| typ ~ CredentialId ⇒ IRReservesCredentialId \| typ ~ Coin ⇒ IRReservesCoin
data Unique IRReserves
Instance details Defined in Cardano.Ledger.State.Schema data Unique IRReserves = UniqueIRReserves DStateId CredentialId

Methods

keyToValues ∷ Key IRReserves → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key IRReserves) Source #

persistIdField ∷ EntityField IRReserves (Key IRReserves) Source #

entityDef ∷ proxy IRReserves → EntityDef Source #

persistFieldDef ∷ EntityField IRReserves typ → FieldDef Source #

toPersistFields ∷ IRReserves → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text IRReserves Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField IRReserves a → f a) → f (Entity IRReserves) Source #

persistUniqueKeys ∷ IRReserves → [Unique IRReserves] Source #

persistUniqueToFieldNames ∷ Unique IRReserves → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique IRReserves → [PersistValue] Source #

fieldLens ∷ EntityField IRReserves field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity IRReserves → f (Entity IRReserves) Source #

keyFromRecordM ∷ Maybe (IRReserves → Key IRReserves) Source #

SafeToInsert IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ IRReserves → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text IRReserves Source #

AtLeastOneUniqueKey IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ IRReserves → NonEmpty (Unique IRReserves) Source #

OnlyOneUniqueKey IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ IRReserves → Unique IRReserves Source #

PersistFieldSql IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy IRReserves → SqlType Source #

ToBackendKey SqlBackend IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key IRReserves → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key IRReserves Source #

SymbolToField "coin" IRReserves Coin Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRReserves Coin Source #

SymbolToField "credentialId" IRReserves CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRReserves CredentialId Source #

SymbolToField "dstateId" IRReserves DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRReserves DStateId Source #

SymbolToField "id" IRReserves (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRReserves (Key IRReserves) Source #

FromJSON (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key IRReserves) Source #

parseJSONList ∷ Value → Parser [Key IRReserves] Source #

omittedField ∷ Maybe (Key IRReserves) Source #

ToJSON (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key IRReserves → Value Source #

toEncoding ∷ Key IRReserves → Encoding Source #

toJSONList ∷ [Key IRReserves] → Value Source #

toEncodingList ∷ [Key IRReserves] → Encoding Source #

omitField ∷ Key IRReserves → Bool Source #

Read (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key IRReserves) #

readList ∷ ReadS [Key IRReserves] #

readPrec ∷ ReadPrec (Key IRReserves) #

readListPrec ∷ ReadPrec [Key IRReserves] #

Show (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key IRReserves → ShowS #

show ∷ Key IRReserves → String #

showList ∷ [Key IRReserves] → ShowS #

Eq (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key IRReserves → Key IRReserves → Bool #

(/=) ∷ Key IRReserves → Key IRReserves → Bool #

Ord (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key IRReserves → Key IRReserves → Ordering #

(<) ∷ Key IRReserves → Key IRReserves → Bool #

(<=) ∷ Key IRReserves → Key IRReserves → Bool #

(>) ∷ Key IRReserves → Key IRReserves → Bool #

(>=) ∷ Key IRReserves → Key IRReserves → Bool #

max ∷ Key IRReserves → Key IRReserves → Key IRReserves #

min ∷ Key IRReserves → Key IRReserves → Key IRReserves #

FromHttpApiData (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key IRReserves) Source #

parseHeader ∷ ByteString → Either Text (Key IRReserves) Source #

parseQueryParam ∷ Text → Either Text (Key IRReserves) Source #

ToHttpApiData (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key IRReserves → Text Source #

toEncodedUrlPiece ∷ Key IRReserves → Builder Source #

toHeader ∷ Key IRReserves → ByteString Source #

toQueryParam ∷ Key IRReserves → Text Source #

toEncodedQueryParam ∷ Key IRReserves → Builder Source #

PathPiece (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key IRReserves) Source #

toPathPiece ∷ Key IRReserves → Text Source #

PersistField (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key IRReserves → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key IRReserves) Source #

PersistFieldSql (Key IRReserves) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key IRReserves) → SqlType Source #

data EntityField IRReserves typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField IRReserves typ

= typ ~ IRReservesId ⇒ IRReservesId
| typ ~ DStateId ⇒ IRReservesDstateId
| typ ~ CredentialId ⇒ IRReservesCredentialId
| typ ~ Coin ⇒ IRReservesCoin

newtype Key IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key IRReserves = IRReservesKey {

unIRReservesKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend IRReserves = SqlBackend

data Unique IRReserves Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique IRReserves = UniqueIRReserves DStateId CredentialId

type AccountId = Key Account Source #

data Account Source #

Constructors

Account
Fields accountDstateId ∷ !DStateId accountCredentialId ∷ !CredentialId accountPtr ∷ !(Maybe Ptr) accountBalance ∷ !(CompactForm Coin) accountDeposit ∷ !(CompactForm Coin) accountKeyHashStakePoolId ∷ !(Maybe KeyHashId) accountDrep ∷ !DRepDelegation accountCredentialDRepId ∷ !(Maybe CredentialId)

Instances

Instances details

PersistEntity Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend Account
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend Account = SqlBackend
newtype Key Account
Instance details Defined in Cardano.Ledger.State.Schema newtype Key Account = AccountKey { unAccountKey ∷ BackendKey SqlBackend }
data EntityField Account typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField Account typ = typ ~ AccountId ⇒ AccountId \| typ ~ DStateId ⇒ AccountDstateId \| typ ~ CredentialId ⇒ AccountCredentialId \| typ ~ Maybe Ptr ⇒ AccountPtr \| typ ~ CompactForm Coin ⇒ AccountBalance \| typ ~ CompactForm Coin ⇒ AccountDeposit \| typ ~ Maybe KeyHashId ⇒ AccountKeyHashStakePoolId \| typ ~ DRepDelegation ⇒ AccountDrep \| typ ~ Maybe CredentialId ⇒ AccountCredentialDRepId
data Unique Account
Instance details Defined in Cardano.Ledger.State.Schema data Unique Account = UniqueAccount DStateId CredentialId

Methods

keyToValues ∷ Key Account → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key Account) Source #

persistIdField ∷ EntityField Account (Key Account) Source #

entityDef ∷ proxy Account → EntityDef Source #

persistFieldDef ∷ EntityField Account typ → FieldDef Source #

toPersistFields ∷ Account → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text Account Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField Account a → f a) → f (Entity Account) Source #

persistUniqueKeys ∷ Account → [Unique Account] Source #

persistUniqueToFieldNames ∷ Unique Account → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique Account → [PersistValue] Source #

fieldLens ∷ EntityField Account field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity Account → f (Entity Account) Source #

keyFromRecordM ∷ Maybe (Account → Key Account) Source #

SafeToInsert Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Account → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text Account Source #

AtLeastOneUniqueKey Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ Account → NonEmpty (Unique Account) Source #

OnlyOneUniqueKey Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ Account → Unique Account Source #

PersistFieldSql Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy Account → SqlType Source #

ToBackendKey SqlBackend Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key Account → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key Account Source #

SymbolToField "credentialId" Account CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account CredentialId Source #

SymbolToField "drep" Account DRepDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account DRepDelegation Source #

SymbolToField "dstateId" Account DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account DStateId Source #

SymbolToField "balance" Account (CompactForm Coin) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (CompactForm Coin) Source #

SymbolToField "credentialDRepId" Account (Maybe CredentialId) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (Maybe CredentialId) Source #

SymbolToField "deposit" Account (CompactForm Coin) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (CompactForm Coin) Source #

SymbolToField "id" Account (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (Key Account) Source #

SymbolToField "keyHashStakePoolId" Account (Maybe KeyHashId) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (Maybe KeyHashId) Source #

SymbolToField "ptr" Account (Maybe Ptr) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (Maybe Ptr) Source #

FromJSON (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key Account) Source #

parseJSONList ∷ Value → Parser [Key Account] Source #

omittedField ∷ Maybe (Key Account) Source #

ToJSON (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key Account → Value Source #

toEncoding ∷ Key Account → Encoding Source #

toJSONList ∷ [Key Account] → Value Source #

toEncodingList ∷ [Key Account] → Encoding Source #

omitField ∷ Key Account → Bool Source #

Read (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key Account) #

readList ∷ ReadS [Key Account] #

readPrec ∷ ReadPrec (Key Account) #

readListPrec ∷ ReadPrec [Key Account] #

Show (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Account → ShowS #

show ∷ Key Account → String #

showList ∷ [Key Account] → ShowS #

Eq (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key Account → Key Account → Bool #

(/=) ∷ Key Account → Key Account → Bool #

Ord (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Account → Key Account → Ordering #

(<) ∷ Key Account → Key Account → Bool #

(<=) ∷ Key Account → Key Account → Bool #

(>) ∷ Key Account → Key Account → Bool #

(>=) ∷ Key Account → Key Account → Bool #

max ∷ Key Account → Key Account → Key Account #

min ∷ Key Account → Key Account → Key Account #

FromHttpApiData (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key Account) Source #

parseHeader ∷ ByteString → Either Text (Key Account) Source #

parseQueryParam ∷ Text → Either Text (Key Account) Source #

ToHttpApiData (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key Account → Text Source #

toEncodedUrlPiece ∷ Key Account → Builder Source #

toHeader ∷ Key Account → ByteString Source #

toQueryParam ∷ Key Account → Text Source #

toEncodedQueryParam ∷ Key Account → Builder Source #

PathPiece (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key Account) Source #

toPathPiece ∷ Key Account → Text Source #

PersistField (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key Account → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key Account) Source #

PersistFieldSql (Key Account) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key Account) → SqlType Source #

data EntityField Account typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField Account typ

= typ ~ AccountId ⇒ AccountId
| typ ~ DStateId ⇒ AccountDstateId
| typ ~ CredentialId ⇒ AccountCredentialId
| typ ~ Maybe Ptr ⇒ AccountPtr
| typ ~ CompactForm Coin ⇒ AccountBalance
| typ ~ CompactForm Coin ⇒ AccountDeposit
| typ ~ Maybe KeyHashId ⇒ AccountKeyHashStakePoolId
| typ ~ DRepDelegation ⇒ AccountDrep
| typ ~ Maybe CredentialId ⇒ AccountCredentialDRepId

newtype Key Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Account = AccountKey {

unAccountKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend Account = SqlBackend

data Unique Account Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique Account = UniqueAccount DStateId CredentialId

type UtxoEntryId = Key UtxoEntry Source #

data UtxoEntry Source #

Constructors

UtxoEntry
Fields utxoEntryTxId ∷ !TxId utxoEntryTxsId ∷ !TxsId utxoEntryStateId ∷ !UtxoStateId

Instances

Instances details

PersistEntity UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend UtxoEntry
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend UtxoEntry = SqlBackend
newtype Key UtxoEntry
Instance details Defined in Cardano.Ledger.State.Schema newtype Key UtxoEntry = UtxoEntryKey { unUtxoEntryKey ∷ BackendKey SqlBackend }
data EntityField UtxoEntry typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField UtxoEntry typ = typ ~ UtxoEntryId ⇒ UtxoEntryId \| typ ~ TxId ⇒ UtxoEntryTxId \| typ ~ TxsId ⇒ UtxoEntryTxsId \| typ ~ UtxoStateId ⇒ UtxoEntryStateId
data Unique UtxoEntry
Instance details Defined in Cardano.Ledger.State.Schema data Unique UtxoEntry

Methods

keyToValues ∷ Key UtxoEntry → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key UtxoEntry) Source #

persistIdField ∷ EntityField UtxoEntry (Key UtxoEntry) Source #

entityDef ∷ proxy UtxoEntry → EntityDef Source #

persistFieldDef ∷ EntityField UtxoEntry typ → FieldDef Source #

toPersistFields ∷ UtxoEntry → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text UtxoEntry Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField UtxoEntry a → f a) → f (Entity UtxoEntry) Source #

persistUniqueKeys ∷ UtxoEntry → [Unique UtxoEntry] Source #

persistUniqueToFieldNames ∷ Unique UtxoEntry → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique UtxoEntry → [PersistValue] Source #

fieldLens ∷ EntityField UtxoEntry field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity UtxoEntry → f (Entity UtxoEntry) Source #

keyFromRecordM ∷ Maybe (UtxoEntry → Key UtxoEntry) Source #

SafeToInsert UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ UtxoEntry → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text UtxoEntry Source #

(TypeError (NoUniqueKeysError UtxoEntry) ∷ Constraint) ⇒ AtLeastOneUniqueKey UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ UtxoEntry → NonEmpty (Unique UtxoEntry) Source #

(TypeError (NoUniqueKeysError UtxoEntry) ∷ Constraint) ⇒ OnlyOneUniqueKey UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ UtxoEntry → Unique UtxoEntry Source #

PersistFieldSql UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy UtxoEntry → SqlType Source #

ToBackendKey SqlBackend UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key UtxoEntry → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key UtxoEntry Source #

SymbolToField "stateId" UtxoEntry UtxoStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry UtxoStateId Source #

SymbolToField "txId" UtxoEntry TxId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry TxId Source #

SymbolToField "txsId" UtxoEntry TxsId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry TxsId Source #

SymbolToField "id" UtxoEntry (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry (Key UtxoEntry) Source #

FromJSON (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key UtxoEntry) Source #

parseJSONList ∷ Value → Parser [Key UtxoEntry] Source #

omittedField ∷ Maybe (Key UtxoEntry) Source #

ToJSON (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key UtxoEntry → Value Source #

toEncoding ∷ Key UtxoEntry → Encoding Source #

toJSONList ∷ [Key UtxoEntry] → Value Source #

toEncodingList ∷ [Key UtxoEntry] → Encoding Source #

omitField ∷ Key UtxoEntry → Bool Source #

Read (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key UtxoEntry) #

readList ∷ ReadS [Key UtxoEntry] #

readPrec ∷ ReadPrec (Key UtxoEntry) #

readListPrec ∷ ReadPrec [Key UtxoEntry] #

Show (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key UtxoEntry → ShowS #

show ∷ Key UtxoEntry → String #

showList ∷ [Key UtxoEntry] → ShowS #

Eq (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key UtxoEntry → Key UtxoEntry → Bool #

(/=) ∷ Key UtxoEntry → Key UtxoEntry → Bool #

Ord (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key UtxoEntry → Key UtxoEntry → Ordering #

(<) ∷ Key UtxoEntry → Key UtxoEntry → Bool #

(<=) ∷ Key UtxoEntry → Key UtxoEntry → Bool #

(>) ∷ Key UtxoEntry → Key UtxoEntry → Bool #

(>=) ∷ Key UtxoEntry → Key UtxoEntry → Bool #

max ∷ Key UtxoEntry → Key UtxoEntry → Key UtxoEntry #

min ∷ Key UtxoEntry → Key UtxoEntry → Key UtxoEntry #

FromHttpApiData (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key UtxoEntry) Source #

parseHeader ∷ ByteString → Either Text (Key UtxoEntry) Source #

parseQueryParam ∷ Text → Either Text (Key UtxoEntry) Source #

ToHttpApiData (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key UtxoEntry → Text Source #

toEncodedUrlPiece ∷ Key UtxoEntry → Builder Source #

toHeader ∷ Key UtxoEntry → ByteString Source #

toQueryParam ∷ Key UtxoEntry → Text Source #

toEncodedQueryParam ∷ Key UtxoEntry → Builder Source #

PathPiece (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key UtxoEntry) Source #

toPathPiece ∷ Key UtxoEntry → Text Source #

PersistField (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key UtxoEntry → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key UtxoEntry) Source #

PersistFieldSql (Key UtxoEntry) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key UtxoEntry) → SqlType Source #

data EntityField UtxoEntry typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField UtxoEntry typ

= typ ~ UtxoEntryId ⇒ UtxoEntryId
| typ ~ TxId ⇒ UtxoEntryTxId
| typ ~ TxsId ⇒ UtxoEntryTxsId
| typ ~ UtxoStateId ⇒ UtxoEntryStateId

newtype Key UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key UtxoEntry = UtxoEntryKey {

unUtxoEntryKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend UtxoEntry = SqlBackend

data Unique UtxoEntry Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique UtxoEntry

type TxsId = Key Txs Source #

data Txs Source #

Constructors

Txs
Fields txsInIx ∷ !TxIx txsInId ∷ !TxId txsOut ∷ !(BabbageTxOut CurrentEra) txsStakeCredential ∷ !(Maybe CredentialId)

Instances

Instances details

PersistEntity Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend Txs
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend Txs = SqlBackend
newtype Key Txs
Instance details Defined in Cardano.Ledger.State.Schema newtype Key Txs = TxsKey { unTxsKey ∷ BackendKey SqlBackend }
data EntityField Txs typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField Txs typ = typ ~ TxsId ⇒ TxsId \| typ ~ TxIx ⇒ TxsInIx \| typ ~ TxId ⇒ TxsInId \| typ ~ BabbageTxOut CurrentEra ⇒ TxsOut \| typ ~ Maybe CredentialId ⇒ TxsStakeCredential
data Unique Txs
Instance details Defined in Cardano.Ledger.State.Schema data Unique Txs = UniqueTxs TxIx TxId

Methods

keyToValues ∷ Key Txs → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key Txs) Source #

persistIdField ∷ EntityField Txs (Key Txs) Source #

entityDef ∷ proxy Txs → EntityDef Source #

persistFieldDef ∷ EntityField Txs typ → FieldDef Source #

toPersistFields ∷ Txs → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text Txs Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField Txs a → f a) → f (Entity Txs) Source #

persistUniqueKeys ∷ Txs → [Unique Txs] Source #

persistUniqueToFieldNames ∷ Unique Txs → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique Txs → [PersistValue] Source #

fieldLens ∷ EntityField Txs field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity Txs → f (Entity Txs) Source #

keyFromRecordM ∷ Maybe (Txs → Key Txs) Source #

SafeToInsert Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Txs → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text Txs Source #

AtLeastOneUniqueKey Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ Txs → NonEmpty (Unique Txs) Source #

OnlyOneUniqueKey Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ Txs → Unique Txs Source #

PersistFieldSql Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy Txs → SqlType Source #

ToBackendKey SqlBackend Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key Txs → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key Txs Source #

SymbolToField "inId" Txs TxId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs TxId Source #

SymbolToField "inIx" Txs TxIx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs TxIx Source #

SymbolToField "txsId" UtxoEntry TxsId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry TxsId Source #

SymbolToField "id" Txs (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs (Key Txs) Source #

SymbolToField "out" Txs (BabbageTxOut CurrentEra) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs (BabbageTxOut CurrentEra) Source #

SymbolToField "stakeCredential" Txs (Maybe CredentialId) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs (Maybe CredentialId) Source #

FromJSON (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key Txs) Source #

parseJSONList ∷ Value → Parser [Key Txs] Source #

omittedField ∷ Maybe (Key Txs) Source #

ToJSON (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key Txs → Value Source #

toEncoding ∷ Key Txs → Encoding Source #

toJSONList ∷ [Key Txs] → Value Source #

toEncodingList ∷ [Key Txs] → Encoding Source #

omitField ∷ Key Txs → Bool Source #

Read (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key Txs) #

readList ∷ ReadS [Key Txs] #

readPrec ∷ ReadPrec (Key Txs) #

readListPrec ∷ ReadPrec [Key Txs] #

Show (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Txs → ShowS #

show ∷ Key Txs → String #

showList ∷ [Key Txs] → ShowS #

Eq (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key Txs → Key Txs → Bool #

(/=) ∷ Key Txs → Key Txs → Bool #

Ord (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Txs → Key Txs → Ordering #

(<) ∷ Key Txs → Key Txs → Bool #

(<=) ∷ Key Txs → Key Txs → Bool #

(>) ∷ Key Txs → Key Txs → Bool #

(>=) ∷ Key Txs → Key Txs → Bool #

max ∷ Key Txs → Key Txs → Key Txs #

min ∷ Key Txs → Key Txs → Key Txs #

FromHttpApiData (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key Txs) Source #

parseHeader ∷ ByteString → Either Text (Key Txs) Source #

parseQueryParam ∷ Text → Either Text (Key Txs) Source #

ToHttpApiData (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key Txs → Text Source #

toEncodedUrlPiece ∷ Key Txs → Builder Source #

toHeader ∷ Key Txs → ByteString Source #

toQueryParam ∷ Key Txs → Text Source #

toEncodedQueryParam ∷ Key Txs → Builder Source #

PathPiece (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key Txs) Source #

toPathPiece ∷ Key Txs → Text Source #

PersistField (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key Txs → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key Txs) Source #

PersistFieldSql (Key Txs) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key Txs) → SqlType Source #

data EntityField Txs typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField Txs typ

= typ ~ TxsId ⇒ TxsId
| typ ~ TxIx ⇒ TxsInIx
| typ ~ TxId ⇒ TxsInId
| typ ~ BabbageTxOut CurrentEra ⇒ TxsOut
| typ ~ Maybe CredentialId ⇒ TxsStakeCredential

newtype Key Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Txs = TxsKey {

unTxsKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend Txs = SqlBackend

data Unique Txs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique Txs = UniqueTxs TxIx TxId

type TxId = Key Tx Source #

data Tx Source #

Constructors

Tx
Fields txInIx ∷ !TxIx txInId ∷ !TxId txOut ∷ !(BabbageTxOut CurrentEra)

Instances

Instances details

PersistEntity Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend Tx
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend Tx = SqlBackend
newtype Key Tx
Instance details Defined in Cardano.Ledger.State.Schema newtype Key Tx = TxKey { unTxKey ∷ BackendKey SqlBackend }
data EntityField Tx typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField Tx typ = typ ~ TxId ⇒ TxId \| typ ~ TxIx ⇒ TxInIx \| typ ~ TxId ⇒ TxInId \| typ ~ BabbageTxOut CurrentEra ⇒ TxOut
data Unique Tx
Instance details Defined in Cardano.Ledger.State.Schema data Unique Tx = UniqueTx TxIx TxId

Methods

keyToValues ∷ Key Tx → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key Tx) Source #

persistIdField ∷ EntityField Tx (Key Tx) Source #

entityDef ∷ proxy Tx → EntityDef Source #

persistFieldDef ∷ EntityField Tx typ → FieldDef Source #

toPersistFields ∷ Tx → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text Tx Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField Tx a → f a) → f (Entity Tx) Source #

persistUniqueKeys ∷ Tx → [Unique Tx] Source #

persistUniqueToFieldNames ∷ Unique Tx → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique Tx → [PersistValue] Source #

fieldLens ∷ EntityField Tx field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity Tx → f (Entity Tx) Source #

keyFromRecordM ∷ Maybe (Tx → Key Tx) Source #

SafeToInsert Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Tx → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text Tx Source #

AtLeastOneUniqueKey Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ Tx → NonEmpty (Unique Tx) Source #

OnlyOneUniqueKey Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ Tx → Unique Tx Source #

PersistFieldSql Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy Tx → SqlType Source #

ToBackendKey SqlBackend Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key Tx → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key Tx Source #

SymbolToField "inId" Tx TxId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx TxId Source #

SymbolToField "inIx" Tx TxIx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx TxIx Source #

SymbolToField "txId" UtxoEntry TxId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry TxId Source #

SymbolToField "id" Tx (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx (Key Tx) Source #

SymbolToField "out" Tx (BabbageTxOut CurrentEra) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx (BabbageTxOut CurrentEra) Source #

FromJSON (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key Tx) Source #

parseJSONList ∷ Value → Parser [Key Tx] Source #

omittedField ∷ Maybe (Key Tx) Source #

ToJSON (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key Tx → Value Source #

toEncoding ∷ Key Tx → Encoding Source #

toJSONList ∷ [Key Tx] → Value Source #

toEncodingList ∷ [Key Tx] → Encoding Source #

omitField ∷ Key Tx → Bool Source #

Read (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key Tx) #

readList ∷ ReadS [Key Tx] #

readPrec ∷ ReadPrec (Key Tx) #

readListPrec ∷ ReadPrec [Key Tx] #

Show (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Tx → ShowS #

show ∷ Key Tx → String #

showList ∷ [Key Tx] → ShowS #

Eq (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key Tx → Key Tx → Bool #

(/=) ∷ Key Tx → Key Tx → Bool #

Ord (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Tx → Key Tx → Ordering #

(<) ∷ Key Tx → Key Tx → Bool #

(<=) ∷ Key Tx → Key Tx → Bool #

(>) ∷ Key Tx → Key Tx → Bool #

(>=) ∷ Key Tx → Key Tx → Bool #

max ∷ Key Tx → Key Tx → Key Tx #

min ∷ Key Tx → Key Tx → Key Tx #

FromHttpApiData (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key Tx) Source #

parseHeader ∷ ByteString → Either Text (Key Tx) Source #

parseQueryParam ∷ Text → Either Text (Key Tx) Source #

ToHttpApiData (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key Tx → Text Source #

toEncodedUrlPiece ∷ Key Tx → Builder Source #

toHeader ∷ Key Tx → ByteString Source #

toQueryParam ∷ Key Tx → Text Source #

toEncodedQueryParam ∷ Key Tx → Builder Source #

PathPiece (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key Tx) Source #

toPathPiece ∷ Key Tx → Text Source #

PersistField (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key Tx → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key Tx) Source #

PersistFieldSql (Key Tx) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key Tx) → SqlType Source #

data EntityField Tx typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField Tx typ

= typ ~ TxId ⇒ TxId
| typ ~ TxIx ⇒ TxInIx
| typ ~ TxId ⇒ TxInId
| typ ~ BabbageTxOut CurrentEra ⇒ TxOut

newtype Key Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Tx = TxKey {

unTxKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend Tx = SqlBackend

data Unique Tx Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique Tx = UniqueTx TxIx TxId

type KeyHashId = Key KeyHash Source #

data KeyHash Source #

Constructors

KeyHash
Fields keyHashWitness ∷ !KeyHashWitness

Instances

Instances details

PersistEntity KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend KeyHash
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend KeyHash = SqlBackend
newtype Key KeyHash
Instance details Defined in Cardano.Ledger.State.Schema newtype Key KeyHash = KeyHashKey { unKeyHashKey ∷ BackendKey SqlBackend }
data EntityField KeyHash typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField KeyHash typ = typ ~ KeyHashId ⇒ KeyHashId \| typ ~ KeyHashWitness ⇒ KeyHashWitness
data Unique KeyHash
Instance details Defined in Cardano.Ledger.State.Schema data Unique KeyHash = UniqueKeyHash KeyHashWitness

Methods

keyToValues ∷ Key KeyHash → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key KeyHash) Source #

persistIdField ∷ EntityField KeyHash (Key KeyHash) Source #

entityDef ∷ proxy KeyHash → EntityDef Source #

persistFieldDef ∷ EntityField KeyHash typ → FieldDef Source #

toPersistFields ∷ KeyHash → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text KeyHash Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField KeyHash a → f a) → f (Entity KeyHash) Source #

persistUniqueKeys ∷ KeyHash → [Unique KeyHash] Source #

persistUniqueToFieldNames ∷ Unique KeyHash → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique KeyHash → [PersistValue] Source #

fieldLens ∷ EntityField KeyHash field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity KeyHash → f (Entity KeyHash) Source #

keyFromRecordM ∷ Maybe (KeyHash → Key KeyHash) Source #

SafeToInsert KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ KeyHash → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text KeyHash Source #

AtLeastOneUniqueKey KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ KeyHash → NonEmpty (Unique KeyHash) Source #

OnlyOneUniqueKey KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ KeyHash → Unique KeyHash Source #

PersistFieldSql KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy KeyHash → SqlType Source #

ToBackendKey SqlBackend KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key KeyHash → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key KeyHash Source #

SymbolToField "keyHash" SnapShotDelegation KeyHashId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotDelegation KeyHashId Source #

SymbolToField "keyHashId" SnapShotPool KeyHashId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool KeyHashId Source #

SymbolToField "witness" KeyHash KeyHashWitness Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField KeyHash KeyHashWitness Source #

SymbolToField "id" KeyHash (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField KeyHash (Key KeyHash) Source #

SymbolToField "keyHashStakePoolId" Account (Maybe KeyHashId) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (Maybe KeyHashId) Source #

FromJSON (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key KeyHash) Source #

parseJSONList ∷ Value → Parser [Key KeyHash] Source #

omittedField ∷ Maybe (Key KeyHash) Source #

ToJSON (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key KeyHash → Value Source #

toEncoding ∷ Key KeyHash → Encoding Source #

toJSONList ∷ [Key KeyHash] → Value Source #

toEncodingList ∷ [Key KeyHash] → Encoding Source #

omitField ∷ Key KeyHash → Bool Source #

Read (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key KeyHash) #

readList ∷ ReadS [Key KeyHash] #

readPrec ∷ ReadPrec (Key KeyHash) #

readListPrec ∷ ReadPrec [Key KeyHash] #

Show (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key KeyHash → ShowS #

show ∷ Key KeyHash → String #

showList ∷ [Key KeyHash] → ShowS #

Eq (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key KeyHash → Key KeyHash → Bool #

(/=) ∷ Key KeyHash → Key KeyHash → Bool #

Ord (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key KeyHash → Key KeyHash → Ordering #

(<) ∷ Key KeyHash → Key KeyHash → Bool #

(<=) ∷ Key KeyHash → Key KeyHash → Bool #

(>) ∷ Key KeyHash → Key KeyHash → Bool #

(>=) ∷ Key KeyHash → Key KeyHash → Bool #

max ∷ Key KeyHash → Key KeyHash → Key KeyHash #

min ∷ Key KeyHash → Key KeyHash → Key KeyHash #

FromHttpApiData (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key KeyHash) Source #

parseHeader ∷ ByteString → Either Text (Key KeyHash) Source #

parseQueryParam ∷ Text → Either Text (Key KeyHash) Source #

ToHttpApiData (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key KeyHash → Text Source #

toEncodedUrlPiece ∷ Key KeyHash → Builder Source #

toHeader ∷ Key KeyHash → ByteString Source #

toQueryParam ∷ Key KeyHash → Text Source #

toEncodedQueryParam ∷ Key KeyHash → Builder Source #

PathPiece (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key KeyHash) Source #

toPathPiece ∷ Key KeyHash → Text Source #

PersistField (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key KeyHash → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key KeyHash) Source #

PersistFieldSql (Key KeyHash) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key KeyHash) → SqlType Source #

data EntityField KeyHash typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField KeyHash typ

= typ ~ KeyHashId ⇒ KeyHashId
| typ ~ KeyHashWitness ⇒ KeyHashWitness

newtype Key KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key KeyHash = KeyHashKey {

unKeyHashKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend KeyHash = SqlBackend

data Unique KeyHash Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique KeyHash = UniqueKeyHash KeyHashWitness

type CredentialId = Key Credential Source #

data Credential Source #

Constructors

Credential
Fields credentialWitness ∷ !CredentialWitness

Instances

Instances details

PersistEntity Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend Credential
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend Credential = SqlBackend
newtype Key Credential
Instance details Defined in Cardano.Ledger.State.Schema newtype Key Credential = CredentialKey { unCredentialKey ∷ BackendKey SqlBackend }
data EntityField Credential typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField Credential typ = typ ~ CredentialId ⇒ CredentialId \| typ ~ CredentialWitness ⇒ CredentialWitness
data Unique Credential
Instance details Defined in Cardano.Ledger.State.Schema data Unique Credential = UniqueCredential CredentialWitness

Methods

keyToValues ∷ Key Credential → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key Credential) Source #

persistIdField ∷ EntityField Credential (Key Credential) Source #

entityDef ∷ proxy Credential → EntityDef Source #

persistFieldDef ∷ EntityField Credential typ → FieldDef Source #

toPersistFields ∷ Credential → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text Credential Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField Credential a → f a) → f (Entity Credential) Source #

persistUniqueKeys ∷ Credential → [Unique Credential] Source #

persistUniqueToFieldNames ∷ Unique Credential → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique Credential → [PersistValue] Source #

fieldLens ∷ EntityField Credential field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity Credential → f (Entity Credential) Source #

keyFromRecordM ∷ Maybe (Credential → Key Credential) Source #

SafeToInsert Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Credential → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text Credential Source #

AtLeastOneUniqueKey Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ Credential → NonEmpty (Unique Credential) Source #

OnlyOneUniqueKey Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ Credential → Unique Credential Source #

PersistFieldSql Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy Credential → SqlType Source #

ToBackendKey SqlBackend Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key Credential → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key Credential Source #

SymbolToField "credentialId" Account CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account CredentialId Source #

SymbolToField "credentialId" IRReserves CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRReserves CredentialId Source #

SymbolToField "credentialId" IRTreasury CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRTreasury CredentialId Source #

SymbolToField "credentialId" SnapShotDelegation CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotDelegation CredentialId Source #

SymbolToField "credentialId" SnapShotStake CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotStake CredentialId Source #

SymbolToField "witness" Credential CredentialWitness Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Credential CredentialWitness Source #

SymbolToField "credentialDRepId" Account (Maybe CredentialId) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account (Maybe CredentialId) Source #

SymbolToField "id" Credential (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Credential (Key Credential) Source #

SymbolToField "stakeCredential" Txs (Maybe CredentialId) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs (Maybe CredentialId) Source #

FromJSON (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key Credential) Source #

parseJSONList ∷ Value → Parser [Key Credential] Source #

omittedField ∷ Maybe (Key Credential) Source #

ToJSON (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key Credential → Value Source #

toEncoding ∷ Key Credential → Encoding Source #

toJSONList ∷ [Key Credential] → Value Source #

toEncodingList ∷ [Key Credential] → Encoding Source #

omitField ∷ Key Credential → Bool Source #

Read (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key Credential) #

readList ∷ ReadS [Key Credential] #

readPrec ∷ ReadPrec (Key Credential) #

readListPrec ∷ ReadPrec [Key Credential] #

Show (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Credential → ShowS #

show ∷ Key Credential → String #

showList ∷ [Key Credential] → ShowS #

Eq (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key Credential → Key Credential → Bool #

(/=) ∷ Key Credential → Key Credential → Bool #

Ord (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Credential → Key Credential → Ordering #

(<) ∷ Key Credential → Key Credential → Bool #

(<=) ∷ Key Credential → Key Credential → Bool #

(>) ∷ Key Credential → Key Credential → Bool #

(>=) ∷ Key Credential → Key Credential → Bool #

max ∷ Key Credential → Key Credential → Key Credential #

min ∷ Key Credential → Key Credential → Key Credential #

FromHttpApiData (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key Credential) Source #

parseHeader ∷ ByteString → Either Text (Key Credential) Source #

parseQueryParam ∷ Text → Either Text (Key Credential) Source #

ToHttpApiData (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key Credential → Text Source #

toEncodedUrlPiece ∷ Key Credential → Builder Source #

toHeader ∷ Key Credential → ByteString Source #

toQueryParam ∷ Key Credential → Text Source #

toEncodedQueryParam ∷ Key Credential → Builder Source #

PathPiece (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key Credential) Source #

toPathPiece ∷ Key Credential → Text Source #

PersistField (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key Credential → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key Credential) Source #

PersistFieldSql (Key Credential) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key Credential) → SqlType Source #

data EntityField Credential typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField Credential typ

= typ ~ CredentialId ⇒ CredentialId
| typ ~ CredentialWitness ⇒ CredentialWitness

newtype Key Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Credential = CredentialKey {

unCredentialKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend Credential = SqlBackend

data Unique Credential Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique Credential = UniqueCredential CredentialWitness

type DStateId = Key DState Source #

data DState Source #

Constructors

DState
Fields dStateFGenDelegs ∷ !FGenDelegs dStateGenDelegs ∷ !GenDelegs dStateIrDeltaReserves ∷ !DeltaCoin dStateIrDeltaTreasury ∷ !DeltaCoin

Instances

Instances details

PersistEntity DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend DState
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend DState = SqlBackend
newtype Key DState
Instance details Defined in Cardano.Ledger.State.Schema newtype Key DState = DStateKey { unDStateKey ∷ BackendKey SqlBackend }
data EntityField DState typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField DState typ = typ ~ DStateId ⇒ DStateId \| typ ~ FGenDelegs ⇒ DStateFGenDelegs \| typ ~ GenDelegs ⇒ DStateGenDelegs \| typ ~ DeltaCoin ⇒ DStateIrDeltaReserves \| typ ~ DeltaCoin ⇒ DStateIrDeltaTreasury
data Unique DState
Instance details Defined in Cardano.Ledger.State.Schema data Unique DState

Methods

keyToValues ∷ Key DState → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key DState) Source #

persistIdField ∷ EntityField DState (Key DState) Source #

entityDef ∷ proxy DState → EntityDef Source #

persistFieldDef ∷ EntityField DState typ → FieldDef Source #

toPersistFields ∷ DState → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text DState Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField DState a → f a) → f (Entity DState) Source #

persistUniqueKeys ∷ DState → [Unique DState] Source #

persistUniqueToFieldNames ∷ Unique DState → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique DState → [PersistValue] Source #

fieldLens ∷ EntityField DState field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity DState → f (Entity DState) Source #

keyFromRecordM ∷ Maybe (DState → Key DState) Source #

SafeToInsert DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ DState → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text DState Source #

(TypeError (NoUniqueKeysError DState) ∷ Constraint) ⇒ AtLeastOneUniqueKey DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ DState → NonEmpty (Unique DState) Source #

(TypeError (NoUniqueKeysError DState) ∷ Constraint) ⇒ OnlyOneUniqueKey DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ DState → Unique DState Source #

PersistFieldSql DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy DState → SqlType Source #

ToBackendKey SqlBackend DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key DState → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key DState Source #

SymbolToField "dstateId" Account DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Account DStateId Source #

SymbolToField "dstateId" IRReserves DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRReserves DStateId Source #

SymbolToField "dstateId" IRTreasury DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField IRTreasury DStateId Source #

SymbolToField "dstateId" LedgerState DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField LedgerState DStateId Source #

SymbolToField "fGenDelegs" DState FGenDelegs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState FGenDelegs Source #

SymbolToField "genDelegs" DState GenDelegs Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState GenDelegs Source #

SymbolToField "irDeltaReserves" DState DeltaCoin Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState DeltaCoin Source #

SymbolToField "irDeltaTreasury" DState DeltaCoin Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState DeltaCoin Source #

SymbolToField "id" DState (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState (Key DState) Source #

FromJSON (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key DState) Source #

parseJSONList ∷ Value → Parser [Key DState] Source #

omittedField ∷ Maybe (Key DState) Source #

ToJSON (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key DState → Value Source #

toEncoding ∷ Key DState → Encoding Source #

toJSONList ∷ [Key DState] → Value Source #

toEncodingList ∷ [Key DState] → Encoding Source #

omitField ∷ Key DState → Bool Source #

Read (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key DState) #

readList ∷ ReadS [Key DState] #

readPrec ∷ ReadPrec (Key DState) #

readListPrec ∷ ReadPrec [Key DState] #

Show (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key DState → ShowS #

show ∷ Key DState → String #

showList ∷ [Key DState] → ShowS #

Eq (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key DState → Key DState → Bool #

(/=) ∷ Key DState → Key DState → Bool #

Ord (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key DState → Key DState → Ordering #

(<) ∷ Key DState → Key DState → Bool #

(<=) ∷ Key DState → Key DState → Bool #

(>) ∷ Key DState → Key DState → Bool #

(>=) ∷ Key DState → Key DState → Bool #

max ∷ Key DState → Key DState → Key DState #

min ∷ Key DState → Key DState → Key DState #

FromHttpApiData (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key DState) Source #

parseHeader ∷ ByteString → Either Text (Key DState) Source #

parseQueryParam ∷ Text → Either Text (Key DState) Source #

ToHttpApiData (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key DState → Text Source #

toEncodedUrlPiece ∷ Key DState → Builder Source #

toHeader ∷ Key DState → ByteString Source #

toQueryParam ∷ Key DState → Text Source #

toEncodedQueryParam ∷ Key DState → Builder Source #

PathPiece (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key DState) Source #

toPathPiece ∷ Key DState → Text Source #

PersistField (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key DState → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key DState) Source #

PersistFieldSql (Key DState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key DState) → SqlType Source #

data EntityField DState typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField DState typ

= typ ~ DStateId ⇒ DStateId
| typ ~ FGenDelegs ⇒ DStateFGenDelegs
| typ ~ GenDelegs ⇒ DStateGenDelegs
| typ ~ DeltaCoin ⇒ DStateIrDeltaReserves
| typ ~ DeltaCoin ⇒ DStateIrDeltaTreasury

newtype Key DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key DState = DStateKey {

unDStateKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend DState = SqlBackend

data Unique DState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique DState

type UtxoStateId = Key UtxoState Source #

data UtxoState Source #

Constructors

UtxoState
Fields utxoStateDeposited ∷ !Coin utxoStateFees ∷ !Coin utxoStateGovState ∷ !(ConwayGovState CurrentEra) utxoStateDonation ∷ !Coin

Instances

Instances details

PersistEntity UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend UtxoState
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend UtxoState = SqlBackend
newtype Key UtxoState
Instance details Defined in Cardano.Ledger.State.Schema newtype Key UtxoState = UtxoStateKey { unUtxoStateKey ∷ BackendKey SqlBackend }
data EntityField UtxoState typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField UtxoState typ = typ ~ UtxoStateId ⇒ UtxoStateId \| typ ~ Coin ⇒ UtxoStateDeposited \| typ ~ Coin ⇒ UtxoStateFees \| typ ~ ConwayGovState CurrentEra ⇒ UtxoStateGovState \| typ ~ Coin ⇒ UtxoStateDonation
data Unique UtxoState
Instance details Defined in Cardano.Ledger.State.Schema data Unique UtxoState

Methods

keyToValues ∷ Key UtxoState → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key UtxoState) Source #

persistIdField ∷ EntityField UtxoState (Key UtxoState) Source #

entityDef ∷ proxy UtxoState → EntityDef Source #

persistFieldDef ∷ EntityField UtxoState typ → FieldDef Source #

toPersistFields ∷ UtxoState → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text UtxoState Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField UtxoState a → f a) → f (Entity UtxoState) Source #

persistUniqueKeys ∷ UtxoState → [Unique UtxoState] Source #

persistUniqueToFieldNames ∷ Unique UtxoState → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique UtxoState → [PersistValue] Source #

fieldLens ∷ EntityField UtxoState field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity UtxoState → f (Entity UtxoState) Source #

keyFromRecordM ∷ Maybe (UtxoState → Key UtxoState) Source #

SafeToInsert UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ UtxoState → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text UtxoState Source #

(TypeError (NoUniqueKeysError UtxoState) ∷ Constraint) ⇒ AtLeastOneUniqueKey UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ UtxoState → NonEmpty (Unique UtxoState) Source #

(TypeError (NoUniqueKeysError UtxoState) ∷ Constraint) ⇒ OnlyOneUniqueKey UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ UtxoState → Unique UtxoState Source #

PersistFieldSql UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy UtxoState → SqlType Source #

ToBackendKey SqlBackend UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key UtxoState → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key UtxoState Source #

SymbolToField "deposited" UtxoState Coin Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoState Coin Source #

SymbolToField "donation" UtxoState Coin Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoState Coin Source #

SymbolToField "fees" UtxoState Coin Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoState Coin Source #

SymbolToField "stateId" UtxoEntry UtxoStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry UtxoStateId Source #

SymbolToField "utxoId" LedgerState UtxoStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField LedgerState UtxoStateId Source #

SymbolToField "govState" UtxoState (ConwayGovState CurrentEra) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoState (ConwayGovState CurrentEra) Source #

SymbolToField "id" UtxoState (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoState (Key UtxoState) Source #

FromJSON (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key UtxoState) Source #

parseJSONList ∷ Value → Parser [Key UtxoState] Source #

omittedField ∷ Maybe (Key UtxoState) Source #

ToJSON (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key UtxoState → Value Source #

toEncoding ∷ Key UtxoState → Encoding Source #

toJSONList ∷ [Key UtxoState] → Value Source #

toEncodingList ∷ [Key UtxoState] → Encoding Source #

omitField ∷ Key UtxoState → Bool Source #

Read (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key UtxoState) #

readList ∷ ReadS [Key UtxoState] #

readPrec ∷ ReadPrec (Key UtxoState) #

readListPrec ∷ ReadPrec [Key UtxoState] #

Show (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key UtxoState → ShowS #

show ∷ Key UtxoState → String #

showList ∷ [Key UtxoState] → ShowS #

Eq (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key UtxoState → Key UtxoState → Bool #

(/=) ∷ Key UtxoState → Key UtxoState → Bool #

Ord (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key UtxoState → Key UtxoState → Ordering #

(<) ∷ Key UtxoState → Key UtxoState → Bool #

(<=) ∷ Key UtxoState → Key UtxoState → Bool #

(>) ∷ Key UtxoState → Key UtxoState → Bool #

(>=) ∷ Key UtxoState → Key UtxoState → Bool #

max ∷ Key UtxoState → Key UtxoState → Key UtxoState #

min ∷ Key UtxoState → Key UtxoState → Key UtxoState #

FromHttpApiData (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key UtxoState) Source #

parseHeader ∷ ByteString → Either Text (Key UtxoState) Source #

parseQueryParam ∷ Text → Either Text (Key UtxoState) Source #

ToHttpApiData (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key UtxoState → Text Source #

toEncodedUrlPiece ∷ Key UtxoState → Builder Source #

toHeader ∷ Key UtxoState → ByteString Source #

toQueryParam ∷ Key UtxoState → Text Source #

toEncodedQueryParam ∷ Key UtxoState → Builder Source #

PathPiece (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key UtxoState) Source #

toPathPiece ∷ Key UtxoState → Text Source #

PersistField (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key UtxoState → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key UtxoState) Source #

PersistFieldSql (Key UtxoState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key UtxoState) → SqlType Source #

data EntityField UtxoState typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField UtxoState typ

= typ ~ UtxoStateId ⇒ UtxoStateId
| typ ~ Coin ⇒ UtxoStateDeposited
| typ ~ Coin ⇒ UtxoStateFees
| typ ~ ConwayGovState CurrentEra ⇒ UtxoStateGovState
| typ ~ Coin ⇒ UtxoStateDonation

newtype Key UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key UtxoState = UtxoStateKey {

unUtxoStateKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend UtxoState = SqlBackend

data Unique UtxoState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique UtxoState

type LedgerStateId = Key LedgerState Source #

data LedgerState Source #

Constructors

LedgerState
Fields ledgerStateUtxoId ∷ !UtxoStateId ledgerStateDstateId ∷ !DStateId ledgerStateEpochStateId ∷ !EpochStateId ledgerStatePstateBin ∷ !(PState CurrentEra)

Instances

Instances details

PersistEntity LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend LedgerState
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend LedgerState = SqlBackend
newtype Key LedgerState
Instance details Defined in Cardano.Ledger.State.Schema newtype Key LedgerState = LedgerStateKey { unLedgerStateKey ∷ BackendKey SqlBackend }
data EntityField LedgerState typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField LedgerState typ = typ ~ LedgerStateId ⇒ LedgerStateId \| typ ~ UtxoStateId ⇒ LedgerStateUtxoId \| typ ~ DStateId ⇒ LedgerStateDstateId \| typ ~ EpochStateId ⇒ LedgerStateEpochStateId \| typ ~ PState CurrentEra ⇒ LedgerStatePstateBin
data Unique LedgerState
Instance details Defined in Cardano.Ledger.State.Schema data Unique LedgerState = UniqueLedgerStateUtxoId UtxoStateId \| UniqueLedgerStateDStateId DStateId \| UniqueLedgerStateEpochStateId EpochStateId

Methods

keyToValues ∷ Key LedgerState → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key LedgerState) Source #

persistIdField ∷ EntityField LedgerState (Key LedgerState) Source #

entityDef ∷ proxy LedgerState → EntityDef Source #

persistFieldDef ∷ EntityField LedgerState typ → FieldDef Source #

toPersistFields ∷ LedgerState → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text LedgerState Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField LedgerState a → f a) → f (Entity LedgerState) Source #

persistUniqueKeys ∷ LedgerState → [Unique LedgerState] Source #

persistUniqueToFieldNames ∷ Unique LedgerState → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique LedgerState → [PersistValue] Source #

fieldLens ∷ EntityField LedgerState field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity LedgerState → f (Entity LedgerState) Source #

keyFromRecordM ∷ Maybe (LedgerState → Key LedgerState) Source #

SafeToInsert LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ LedgerState → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text LedgerState Source #

AtLeastOneUniqueKey LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ LedgerState → NonEmpty (Unique LedgerState) Source #

(TypeError (MultipleUniqueKeysError LedgerState) ∷ Constraint) ⇒ OnlyOneUniqueKey LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ LedgerState → Unique LedgerState Source #

PersistFieldSql LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy LedgerState → SqlType Source #

ToBackendKey SqlBackend LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key LedgerState → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key LedgerState Source #

SymbolToField "dstateId" LedgerState DStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField LedgerState DStateId Source #

SymbolToField "epochStateId" LedgerState EpochStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField LedgerState EpochStateId Source #

SymbolToField "utxoId" LedgerState UtxoStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField LedgerState UtxoStateId Source #

SymbolToField "id" LedgerState (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField LedgerState (Key LedgerState) Source #

SymbolToField "pstateBin" LedgerState (PState CurrentEra) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField LedgerState (PState CurrentEra) Source #

FromJSON (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key LedgerState) Source #

parseJSONList ∷ Value → Parser [Key LedgerState] Source #

omittedField ∷ Maybe (Key LedgerState) Source #

ToJSON (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key LedgerState → Value Source #

toEncoding ∷ Key LedgerState → Encoding Source #

toJSONList ∷ [Key LedgerState] → Value Source #

toEncodingList ∷ [Key LedgerState] → Encoding Source #

omitField ∷ Key LedgerState → Bool Source #

Read (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key LedgerState) #

readList ∷ ReadS [Key LedgerState] #

readPrec ∷ ReadPrec (Key LedgerState) #

readListPrec ∷ ReadPrec [Key LedgerState] #

Show (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key LedgerState → ShowS #

show ∷ Key LedgerState → String #

showList ∷ [Key LedgerState] → ShowS #

Eq (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key LedgerState → Key LedgerState → Bool #

(/=) ∷ Key LedgerState → Key LedgerState → Bool #

Ord (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key LedgerState → Key LedgerState → Ordering #

(<) ∷ Key LedgerState → Key LedgerState → Bool #

(<=) ∷ Key LedgerState → Key LedgerState → Bool #

(>) ∷ Key LedgerState → Key LedgerState → Bool #

(>=) ∷ Key LedgerState → Key LedgerState → Bool #

max ∷ Key LedgerState → Key LedgerState → Key LedgerState #

min ∷ Key LedgerState → Key LedgerState → Key LedgerState #

FromHttpApiData (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key LedgerState) Source #

parseHeader ∷ ByteString → Either Text (Key LedgerState) Source #

parseQueryParam ∷ Text → Either Text (Key LedgerState) Source #

ToHttpApiData (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key LedgerState → Text Source #

toEncodedUrlPiece ∷ Key LedgerState → Builder Source #

toHeader ∷ Key LedgerState → ByteString Source #

toQueryParam ∷ Key LedgerState → Text Source #

toEncodedQueryParam ∷ Key LedgerState → Builder Source #

PathPiece (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key LedgerState) Source #

toPathPiece ∷ Key LedgerState → Text Source #

PersistField (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key LedgerState → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key LedgerState) Source #

PersistFieldSql (Key LedgerState) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key LedgerState) → SqlType Source #

data EntityField LedgerState typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField LedgerState typ

= typ ~ LedgerStateId ⇒ LedgerStateId
| typ ~ UtxoStateId ⇒ LedgerStateUtxoId
| typ ~ DStateId ⇒ LedgerStateDstateId
| typ ~ EpochStateId ⇒ LedgerStateEpochStateId
| typ ~ PState CurrentEra ⇒ LedgerStatePstateBin

newtype Key LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key LedgerState = LedgerStateKey {

unLedgerStateKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend LedgerState = SqlBackend

data Unique LedgerState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique LedgerState

= UniqueLedgerStateUtxoId UtxoStateId
| UniqueLedgerStateDStateId DStateId
| UniqueLedgerStateEpochStateId EpochStateId

type SnapShotPoolId = Key SnapShotPool Source #

data SnapShotPool Source #

Constructors

SnapShotPool
Fields snapShotPoolSnapShotId ∷ !SnapShotId snapShotPoolKeyHashId ∷ !KeyHashId snapShotPoolParams ∷ !StakePoolParams

Instances

Instances details

PersistEntity SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend SnapShotPool
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend SnapShotPool = SqlBackend
newtype Key SnapShotPool
Instance details Defined in Cardano.Ledger.State.Schema newtype Key SnapShotPool = SnapShotPoolKey { unSnapShotPoolKey ∷ BackendKey SqlBackend }
data EntityField SnapShotPool typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField SnapShotPool typ = typ ~ SnapShotPoolId ⇒ SnapShotPoolId \| typ ~ SnapShotId ⇒ SnapShotPoolSnapShotId \| typ ~ KeyHashId ⇒ SnapShotPoolKeyHashId \| typ ~ StakePoolParams ⇒ SnapShotPoolParams
data Unique SnapShotPool
Instance details Defined in Cardano.Ledger.State.Schema data Unique SnapShotPool = UniqueSnapShotPool SnapShotId KeyHashId

Methods

keyToValues ∷ Key SnapShotPool → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key SnapShotPool) Source #

persistIdField ∷ EntityField SnapShotPool (Key SnapShotPool) Source #

entityDef ∷ proxy SnapShotPool → EntityDef Source #

persistFieldDef ∷ EntityField SnapShotPool typ → FieldDef Source #

toPersistFields ∷ SnapShotPool → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text SnapShotPool Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField SnapShotPool a → f a) → f (Entity SnapShotPool) Source #

persistUniqueKeys ∷ SnapShotPool → [Unique SnapShotPool] Source #

persistUniqueToFieldNames ∷ Unique SnapShotPool → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique SnapShotPool → [PersistValue] Source #

fieldLens ∷ EntityField SnapShotPool field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity SnapShotPool → f (Entity SnapShotPool) Source #

keyFromRecordM ∷ Maybe (SnapShotPool → Key SnapShotPool) Source #

SafeToInsert SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ SnapShotPool → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text SnapShotPool Source #

AtLeastOneUniqueKey SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ SnapShotPool → NonEmpty (Unique SnapShotPool) Source #

OnlyOneUniqueKey SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ SnapShotPool → Unique SnapShotPool Source #

PersistFieldSql SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy SnapShotPool → SqlType Source #

ToBackendKey SqlBackend SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key SnapShotPool → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key SnapShotPool Source #

SymbolToField "keyHashId" SnapShotPool KeyHashId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool KeyHashId Source #

SymbolToField "params" SnapShotPool StakePoolParams Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool StakePoolParams Source #

SymbolToField "snapShotId" SnapShotPool SnapShotId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool SnapShotId Source #

SymbolToField "id" SnapShotPool (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool (Key SnapShotPool) Source #

FromJSON (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key SnapShotPool) Source #

parseJSONList ∷ Value → Parser [Key SnapShotPool] Source #

omittedField ∷ Maybe (Key SnapShotPool) Source #

ToJSON (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key SnapShotPool → Value Source #

toEncoding ∷ Key SnapShotPool → Encoding Source #

toJSONList ∷ [Key SnapShotPool] → Value Source #

toEncodingList ∷ [Key SnapShotPool] → Encoding Source #

omitField ∷ Key SnapShotPool → Bool Source #

Read (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key SnapShotPool) #

readList ∷ ReadS [Key SnapShotPool] #

readPrec ∷ ReadPrec (Key SnapShotPool) #

readListPrec ∷ ReadPrec [Key SnapShotPool] #

Show (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShotPool → ShowS #

show ∷ Key SnapShotPool → String #

showList ∷ [Key SnapShotPool] → ShowS #

Eq (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key SnapShotPool → Key SnapShotPool → Bool #

(/=) ∷ Key SnapShotPool → Key SnapShotPool → Bool #

Ord (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShotPool → Key SnapShotPool → Ordering #

(<) ∷ Key SnapShotPool → Key SnapShotPool → Bool #

(<=) ∷ Key SnapShotPool → Key SnapShotPool → Bool #

(>) ∷ Key SnapShotPool → Key SnapShotPool → Bool #

(>=) ∷ Key SnapShotPool → Key SnapShotPool → Bool #

max ∷ Key SnapShotPool → Key SnapShotPool → Key SnapShotPool #

min ∷ Key SnapShotPool → Key SnapShotPool → Key SnapShotPool #

FromHttpApiData (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key SnapShotPool) Source #

parseHeader ∷ ByteString → Either Text (Key SnapShotPool) Source #

parseQueryParam ∷ Text → Either Text (Key SnapShotPool) Source #

ToHttpApiData (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShotPool → Text Source #

toEncodedUrlPiece ∷ Key SnapShotPool → Builder Source #

toHeader ∷ Key SnapShotPool → ByteString Source #

toQueryParam ∷ Key SnapShotPool → Text Source #

toEncodedQueryParam ∷ Key SnapShotPool → Builder Source #

PathPiece (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShotPool) Source #

toPathPiece ∷ Key SnapShotPool → Text Source #

PersistField (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShotPool → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key SnapShotPool) Source #

PersistFieldSql (Key SnapShotPool) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShotPool) → SqlType Source #

data EntityField SnapShotPool typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShotPool typ

= typ ~ SnapShotPoolId ⇒ SnapShotPoolId
| typ ~ SnapShotId ⇒ SnapShotPoolSnapShotId
| typ ~ KeyHashId ⇒ SnapShotPoolKeyHashId
| typ ~ StakePoolParams ⇒ SnapShotPoolParams

newtype Key SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShotPool = SnapShotPoolKey {

unSnapShotPoolKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend SnapShotPool = SqlBackend

data Unique SnapShotPool Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique SnapShotPool = UniqueSnapShotPool SnapShotId KeyHashId

type SnapShotDelegationId = Key SnapShotDelegation Source #

data SnapShotDelegation Source #

Constructors

SnapShotDelegation
Fields snapShotDelegationSnapShotId ∷ !SnapShotId snapShotDelegationCredentialId ∷ !CredentialId snapShotDelegationKeyHash ∷ !KeyHashId

Instances

Instances details

PersistEntity SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend SnapShotDelegation
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend SnapShotDelegation = SqlBackend
newtype Key SnapShotDelegation
Instance details Defined in Cardano.Ledger.State.Schema newtype Key SnapShotDelegation = SnapShotDelegationKey { unSnapShotDelegationKey ∷ BackendKey SqlBackend }
data EntityField SnapShotDelegation typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField SnapShotDelegation typ = typ ~ SnapShotDelegationId ⇒ SnapShotDelegationId \| typ ~ SnapShotId ⇒ SnapShotDelegationSnapShotId \| typ ~ CredentialId ⇒ SnapShotDelegationCredentialId \| typ ~ KeyHashId ⇒ SnapShotDelegationKeyHash
data Unique SnapShotDelegation
Instance details Defined in Cardano.Ledger.State.Schema data Unique SnapShotDelegation = UniqueSnapShotDelegation SnapShotId CredentialId

Methods

keyToValues ∷ Key SnapShotDelegation → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key SnapShotDelegation) Source #

persistIdField ∷ EntityField SnapShotDelegation (Key SnapShotDelegation) Source #

entityDef ∷ proxy SnapShotDelegation → EntityDef Source #

persistFieldDef ∷ EntityField SnapShotDelegation typ → FieldDef Source #

toPersistFields ∷ SnapShotDelegation → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text SnapShotDelegation Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField SnapShotDelegation a → f a) → f (Entity SnapShotDelegation) Source #

persistUniqueKeys ∷ SnapShotDelegation → [Unique SnapShotDelegation] Source #

persistUniqueToFieldNames ∷ Unique SnapShotDelegation → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique SnapShotDelegation → [PersistValue] Source #

fieldLens ∷ EntityField SnapShotDelegation field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity SnapShotDelegation → f (Entity SnapShotDelegation) Source #

keyFromRecordM ∷ Maybe (SnapShotDelegation → Key SnapShotDelegation) Source #

SafeToInsert SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ SnapShotDelegation → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text SnapShotDelegation Source #

AtLeastOneUniqueKey SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ SnapShotDelegation → NonEmpty (Unique SnapShotDelegation) Source #

OnlyOneUniqueKey SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ SnapShotDelegation → Unique SnapShotDelegation Source #

PersistFieldSql SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy SnapShotDelegation → SqlType Source #

ToBackendKey SqlBackend SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key SnapShotDelegation → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key SnapShotDelegation Source #

SymbolToField "credentialId" SnapShotDelegation CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotDelegation CredentialId Source #

SymbolToField "keyHash" SnapShotDelegation KeyHashId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotDelegation KeyHashId Source #

SymbolToField "snapShotId" SnapShotDelegation SnapShotId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotDelegation SnapShotId Source #

SymbolToField "id" SnapShotDelegation (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotDelegation (Key SnapShotDelegation) Source #

FromJSON (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key SnapShotDelegation) Source #

parseJSONList ∷ Value → Parser [Key SnapShotDelegation] Source #

omittedField ∷ Maybe (Key SnapShotDelegation) Source #

ToJSON (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key SnapShotDelegation → Value Source #

toEncoding ∷ Key SnapShotDelegation → Encoding Source #

toJSONList ∷ [Key SnapShotDelegation] → Value Source #

toEncodingList ∷ [Key SnapShotDelegation] → Encoding Source #

omitField ∷ Key SnapShotDelegation → Bool Source #

Read (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key SnapShotDelegation) #

readList ∷ ReadS [Key SnapShotDelegation] #

readPrec ∷ ReadPrec (Key SnapShotDelegation) #

readListPrec ∷ ReadPrec [Key SnapShotDelegation] #

Show (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShotDelegation → ShowS #

show ∷ Key SnapShotDelegation → String #

showList ∷ [Key SnapShotDelegation] → ShowS #

Eq (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool #

(/=) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool #

Ord (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShotDelegation → Key SnapShotDelegation → Ordering #

(<) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool #

(<=) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool #

(>) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool #

(>=) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool #

max ∷ Key SnapShotDelegation → Key SnapShotDelegation → Key SnapShotDelegation #

min ∷ Key SnapShotDelegation → Key SnapShotDelegation → Key SnapShotDelegation #

FromHttpApiData (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key SnapShotDelegation) Source #

parseHeader ∷ ByteString → Either Text (Key SnapShotDelegation) Source #

parseQueryParam ∷ Text → Either Text (Key SnapShotDelegation) Source #

ToHttpApiData (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShotDelegation → Text Source #

toEncodedUrlPiece ∷ Key SnapShotDelegation → Builder Source #

toHeader ∷ Key SnapShotDelegation → ByteString Source #

toQueryParam ∷ Key SnapShotDelegation → Text Source #

toEncodedQueryParam ∷ Key SnapShotDelegation → Builder Source #

PathPiece (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShotDelegation) Source #

toPathPiece ∷ Key SnapShotDelegation → Text Source #

PersistField (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShotDelegation → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key SnapShotDelegation) Source #

PersistFieldSql (Key SnapShotDelegation) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShotDelegation) → SqlType Source #

data EntityField SnapShotDelegation typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShotDelegation typ

= typ ~ SnapShotDelegationId ⇒ SnapShotDelegationId
| typ ~ SnapShotId ⇒ SnapShotDelegationSnapShotId
| typ ~ CredentialId ⇒ SnapShotDelegationCredentialId
| typ ~ KeyHashId ⇒ SnapShotDelegationKeyHash

newtype Key SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShotDelegation = SnapShotDelegationKey {

unSnapShotDelegationKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend SnapShotDelegation = SqlBackend

data Unique SnapShotDelegation Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique SnapShotDelegation = UniqueSnapShotDelegation SnapShotId CredentialId

type SnapShotStakeId = Key SnapShotStake Source #

data SnapShotStake Source #

Constructors

SnapShotStake
Fields snapShotStakeSnapShotId ∷ !SnapShotId snapShotStakeCredentialId ∷ !CredentialId snapShotStakeCoin ∷ !(CompactForm Coin)

Instances

Instances details

PersistEntity SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend SnapShotStake
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend SnapShotStake = SqlBackend
newtype Key SnapShotStake
Instance details Defined in Cardano.Ledger.State.Schema newtype Key SnapShotStake = SnapShotStakeKey { unSnapShotStakeKey ∷ BackendKey SqlBackend }
data EntityField SnapShotStake typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField SnapShotStake typ = typ ~ SnapShotStakeId ⇒ SnapShotStakeId \| typ ~ SnapShotId ⇒ SnapShotStakeSnapShotId \| typ ~ CredentialId ⇒ SnapShotStakeCredentialId \| typ ~ CompactForm Coin ⇒ SnapShotStakeCoin
data Unique SnapShotStake
Instance details Defined in Cardano.Ledger.State.Schema data Unique SnapShotStake = UniqueSnapShotStake SnapShotId CredentialId

Methods

keyToValues ∷ Key SnapShotStake → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key SnapShotStake) Source #

persistIdField ∷ EntityField SnapShotStake (Key SnapShotStake) Source #

entityDef ∷ proxy SnapShotStake → EntityDef Source #

persistFieldDef ∷ EntityField SnapShotStake typ → FieldDef Source #

toPersistFields ∷ SnapShotStake → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text SnapShotStake Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField SnapShotStake a → f a) → f (Entity SnapShotStake) Source #

persistUniqueKeys ∷ SnapShotStake → [Unique SnapShotStake] Source #

persistUniqueToFieldNames ∷ Unique SnapShotStake → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique SnapShotStake → [PersistValue] Source #

fieldLens ∷ EntityField SnapShotStake field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity SnapShotStake → f (Entity SnapShotStake) Source #

keyFromRecordM ∷ Maybe (SnapShotStake → Key SnapShotStake) Source #

SafeToInsert SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ SnapShotStake → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text SnapShotStake Source #

AtLeastOneUniqueKey SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ SnapShotStake → NonEmpty (Unique SnapShotStake) Source #

OnlyOneUniqueKey SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ SnapShotStake → Unique SnapShotStake Source #

PersistFieldSql SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy SnapShotStake → SqlType Source #

ToBackendKey SqlBackend SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key SnapShotStake → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key SnapShotStake Source #

SymbolToField "credentialId" SnapShotStake CredentialId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotStake CredentialId Source #

SymbolToField "snapShotId" SnapShotStake SnapShotId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotStake SnapShotId Source #

SymbolToField "coin" SnapShotStake (CompactForm Coin) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotStake (CompactForm Coin) Source #

SymbolToField "id" SnapShotStake (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotStake (Key SnapShotStake) Source #

FromJSON (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key SnapShotStake) Source #

parseJSONList ∷ Value → Parser [Key SnapShotStake] Source #

omittedField ∷ Maybe (Key SnapShotStake) Source #

ToJSON (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key SnapShotStake → Value Source #

toEncoding ∷ Key SnapShotStake → Encoding Source #

toJSONList ∷ [Key SnapShotStake] → Value Source #

toEncodingList ∷ [Key SnapShotStake] → Encoding Source #

omitField ∷ Key SnapShotStake → Bool Source #

Read (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key SnapShotStake) #

readList ∷ ReadS [Key SnapShotStake] #

readPrec ∷ ReadPrec (Key SnapShotStake) #

readListPrec ∷ ReadPrec [Key SnapShotStake] #

Show (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShotStake → ShowS #

show ∷ Key SnapShotStake → String #

showList ∷ [Key SnapShotStake] → ShowS #

Eq (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key SnapShotStake → Key SnapShotStake → Bool #

(/=) ∷ Key SnapShotStake → Key SnapShotStake → Bool #

Ord (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShotStake → Key SnapShotStake → Ordering #

(<) ∷ Key SnapShotStake → Key SnapShotStake → Bool #

(<=) ∷ Key SnapShotStake → Key SnapShotStake → Bool #

(>) ∷ Key SnapShotStake → Key SnapShotStake → Bool #

(>=) ∷ Key SnapShotStake → Key SnapShotStake → Bool #

max ∷ Key SnapShotStake → Key SnapShotStake → Key SnapShotStake #

min ∷ Key SnapShotStake → Key SnapShotStake → Key SnapShotStake #

FromHttpApiData (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key SnapShotStake) Source #

parseHeader ∷ ByteString → Either Text (Key SnapShotStake) Source #

parseQueryParam ∷ Text → Either Text (Key SnapShotStake) Source #

ToHttpApiData (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShotStake → Text Source #

toEncodedUrlPiece ∷ Key SnapShotStake → Builder Source #

toHeader ∷ Key SnapShotStake → ByteString Source #

toQueryParam ∷ Key SnapShotStake → Text Source #

toEncodedQueryParam ∷ Key SnapShotStake → Builder Source #

PathPiece (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShotStake) Source #

toPathPiece ∷ Key SnapShotStake → Text Source #

PersistField (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShotStake → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key SnapShotStake) Source #

PersistFieldSql (Key SnapShotStake) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShotStake) → SqlType Source #

data EntityField SnapShotStake typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShotStake typ

= typ ~ SnapShotStakeId ⇒ SnapShotStakeId
| typ ~ SnapShotId ⇒ SnapShotStakeSnapShotId
| typ ~ CredentialId ⇒ SnapShotStakeCredentialId
| typ ~ CompactForm Coin ⇒ SnapShotStakeCoin

newtype Key SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShotStake = SnapShotStakeKey {

unSnapShotStakeKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend SnapShotStake = SqlBackend

data Unique SnapShotStake Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique SnapShotStake = UniqueSnapShotStake SnapShotId CredentialId

type SnapShotId = Key SnapShot Source #

data SnapShot Source #

Constructors

SnapShot
Fields snapShotType ∷ !SnapShotType snapShotEpochStateId ∷ !EpochStateId

Instances

Instances details

PersistEntity SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend SnapShot
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend SnapShot = SqlBackend
newtype Key SnapShot
Instance details Defined in Cardano.Ledger.State.Schema newtype Key SnapShot = SnapShotKey { unSnapShotKey ∷ BackendKey SqlBackend }
data EntityField SnapShot typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField SnapShot typ = typ ~ SnapShotId ⇒ SnapShotId \| typ ~ SnapShotType ⇒ SnapShotType \| typ ~ EpochStateId ⇒ SnapShotEpochStateId
data Unique SnapShot
Instance details Defined in Cardano.Ledger.State.Schema data Unique SnapShot

Methods

keyToValues ∷ Key SnapShot → [PersistValue] Source #

keyFromValues ∷ [PersistValue] → Either Text (Key SnapShot) Source #

persistIdField ∷ EntityField SnapShot (Key SnapShot) Source #

entityDef ∷ proxy SnapShot → EntityDef Source #

persistFieldDef ∷ EntityField SnapShot typ → FieldDef Source #

toPersistFields ∷ SnapShot → [PersistValue] Source #

fromPersistValues ∷ [PersistValue] → Either Text SnapShot Source #

tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField SnapShot a → f a) → f (Entity SnapShot) Source #

persistUniqueKeys ∷ SnapShot → [Unique SnapShot] Source #

persistUniqueToFieldNames ∷ Unique SnapShot → NonEmpty (FieldNameHS, FieldNameDB) Source #

persistUniqueToValues ∷ Unique SnapShot → [PersistValue] Source #

fieldLens ∷ EntityField SnapShot field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity SnapShot → f (Entity SnapShot) Source #

keyFromRecordM ∷ Maybe (SnapShot → Key SnapShot) Source #

SafeToInsert SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

PersistField SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ SnapShot → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text SnapShot Source #

(TypeError (NoUniqueKeysError SnapShot) ∷ Constraint) ⇒ AtLeastOneUniqueKey SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

requireUniquesP ∷ SnapShot → NonEmpty (Unique SnapShot) Source #

(TypeError (NoUniqueKeysError SnapShot) ∷ Constraint) ⇒ OnlyOneUniqueKey SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

onlyUniqueP ∷ SnapShot → Unique SnapShot Source #

PersistFieldSql SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy SnapShot → SqlType Source #

ToBackendKey SqlBackend SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toBackendKey ∷ Key SnapShot → BackendKey SqlBackend Source #

fromBackendKey ∷ BackendKey SqlBackend → Key SnapShot Source #

SymbolToField "epochStateId" SnapShot EpochStateId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShot EpochStateId Source #

SymbolToField "snapShotId" SnapShotDelegation SnapShotId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotDelegation SnapShotId Source #

SymbolToField "snapShotId" SnapShotPool SnapShotId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool SnapShotId Source #

SymbolToField "snapShotId" SnapShotStake SnapShotId Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotStake SnapShotId Source #

SymbolToField "type" SnapShot SnapShotType Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShot SnapShotType Source #

SymbolToField "id" SnapShot (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShot (Key SnapShot) Source #

FromJSON (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key SnapShot) Source #

parseJSONList ∷ Value → Parser [Key SnapShot] Source #

omittedField ∷ Maybe (Key SnapShot) Source #

ToJSON (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key SnapShot → Value Source #

toEncoding ∷ Key SnapShot → Encoding Source #

toJSONList ∷ [Key SnapShot] → Value Source #

toEncodingList ∷ [Key SnapShot] → Encoding Source #

omitField ∷ Key SnapShot → Bool Source #

Read (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key SnapShot) #

readList ∷ ReadS [Key SnapShot] #

readPrec ∷ ReadPrec (Key SnapShot) #

readListPrec ∷ ReadPrec [Key SnapShot] #

Show (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShot → ShowS #

show ∷ Key SnapShot → String #

showList ∷ [Key SnapShot] → ShowS #

Eq (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

(==) ∷ Key SnapShot → Key SnapShot → Bool #

(/=) ∷ Key SnapShot → Key SnapShot → Bool #

Ord (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShot → Key SnapShot → Ordering #

(<) ∷ Key SnapShot → Key SnapShot → Bool #

(<=) ∷ Key SnapShot → Key SnapShot → Bool #

(>) ∷ Key SnapShot → Key SnapShot → Bool #

(>=) ∷ Key SnapShot → Key SnapShot → Bool #

max ∷ Key SnapShot → Key SnapShot → Key SnapShot #

min ∷ Key SnapShot → Key SnapShot → Key SnapShot #

FromHttpApiData (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseUrlPiece ∷ Text → Either Text (Key SnapShot) Source #

parseHeader ∷ ByteString → Either Text (Key SnapShot) Source #

parseQueryParam ∷ Text → Either Text (Key SnapShot) Source #

ToHttpApiData (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShot → Text Source #

toEncodedUrlPiece ∷ Key SnapShot → Builder Source #

toHeader ∷ Key SnapShot → ByteString Source #

toQueryParam ∷ Key SnapShot → Text Source #

toEncodedQueryParam ∷ Key SnapShot → Builder Source #

PathPiece (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShot) Source #

toPathPiece ∷ Key SnapShot → Text Source #

PersistField (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShot → PersistValue Source #

fromPersistValue ∷ PersistValue → Either Text (Key SnapShot) Source #

PersistFieldSql (Key SnapShot) Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShot) → SqlType Source #

data EntityField SnapShot typ Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShot typ

= typ ~ SnapShotId ⇒ SnapShotId
| typ ~ SnapShotType ⇒ SnapShotType
| typ ~ EpochStateId ⇒ SnapShotEpochStateId

newtype Key SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShot = SnapShotKey {

unSnapShotKey ∷ BackendKey SqlBackend

}

type PersistEntityBackend SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend SnapShot = SqlBackend

data Unique SnapShot Source #

Instance details

Defined in Cardano.Ledger.State.Schema

data Unique SnapShot

type EpochStateId = Key EpochState Source #

data EpochState Source #

Constructors

EpochState
Fields epochStateTreasury ∷ !Coin epochStateReserves ∷ !Coin epochStatePrevPp ∷ !(PParams CurrentEra) epochStatePp ∷ !(PParams CurrentEra) epochStateNonMyopic ∷ !NonMyopic epochStateSnapShotsFee ∷ !Coin

Instances

Instances details

PersistEntity EpochState Source #

Instance details

Defined in Cardano.Ledger.State.Schema

Associated Types

type PersistEntityBackend EpochState
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend EpochState = SqlBackend
newtype Key EpochState
Instance details Defined in Cardano.Ledger.State.Schema newtype Key EpochState = EpochStateKey { unEpochStateKey ∷ BackendKey SqlBackend }
data EntityField EpochState typ
Instance details Defined in Cardano.Ledger.State.Schema data EntityField EpochState typ = typ ~ EpochStateId ⇒ EpochStateId \| typ ~ Coin ⇒ EpochStateTreasury \| typ ~ Coin ⇒ EpochStateReserves \| typ ~ PParams CurrentEra ⇒ EpochStatePrevPp \| typ ~ PParams CurrentEra ⇒ EpochStatePp \| typ ~ NonMyopic ⇒ EpochStateNonMyopic \| typ ~ Coin ⇒ EpochStateSnapShotsFee
data Unique EpochState
Instance details Defined in Cardano.Ledger.State.Schema data Unique EpochState