Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.State.Schema

Documentation

type FGenDelegs = Enc (Map (FutureGenDeleg C) (GenDelegPair C)) Source #

type CredentialWitness = Credential 'Witness C Source #

type KeyHashWitness = KeyHash 'Witness C Source #

data EpochState Source #

Constructors

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

Instances

Instances details

PersistEntity EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend EpochState Source # data Key EpochState Source # data EntityField EpochState ∷ Type → Type Source # data Unique EpochState Source # Methods keyToValues ∷ Key EpochState → [PersistValue] Source # keyFromValues ∷ [PersistValue] → Either Text (Key EpochState) Source # persistIdField ∷ EntityField EpochState (Key EpochState) Source # entityDef ∷ proxy EpochState → EntityDef Source # persistFieldDef ∷ EntityField EpochState typ → FieldDef Source # toPersistFields ∷ EpochState → [PersistValue] Source # fromPersistValues ∷ [PersistValue] → Either Text EpochState Source # tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField EpochState a → f a) → f (Entity EpochState) Source # persistUniqueKeys ∷ EpochState → [Unique EpochState] Source # persistUniqueToFieldNames ∷ Unique EpochState → NonEmpty (FieldNameHS, FieldNameDB) Source # persistUniqueToValues ∷ Unique EpochState → [PersistValue] Source # fieldLens ∷ EntityField EpochState field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity EpochState → f (Entity EpochState) Source # keyFromRecordM ∷ Maybe (EpochState → Key EpochState) Source #
SafeToInsert EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema
PersistField EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ EpochState → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text EpochState Source #
(TypeError (NoUniqueKeysError EpochState) ∷ Constraint) ⇒ AtLeastOneUniqueKey EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods requireUniquesP ∷ EpochState → NonEmpty (Unique EpochState) Source #
(TypeError (NoUniqueKeysError EpochState) ∷ Constraint) ⇒ OnlyOneUniqueKey EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods onlyUniqueP ∷ EpochState → Unique EpochState Source #
PersistFieldSql EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy EpochState → SqlType Source #
ToBackendKey SqlBackend EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toBackendKey ∷ Key EpochState → BackendKey SqlBackend Source # fromBackendKey ∷ BackendKey SqlBackend → Key EpochState Source #
SymbolToField "epochStateId" LedgerState EpochStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField LedgerState EpochStateId Source #
SymbolToField "epochStateId" SnapShot EpochStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField SnapShot EpochStateId Source #
SymbolToField "reserves" EpochState Coin Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField EpochState Coin Source #
SymbolToField "snapShotsFee" EpochState Coin Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField EpochState Coin Source #
SymbolToField "treasury" EpochState Coin Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField EpochState Coin Source #
SymbolToField "id" EpochState (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField EpochState (Key EpochState) Source #
SymbolToField "nonMyopic" EpochState (NonMyopic C) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField EpochState (NonMyopic C) Source #
SymbolToField "pp" EpochState (PParams CurrentEra) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField EpochState (PParams CurrentEra) Source #
SymbolToField "prevPp" EpochState (PParams CurrentEra) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField EpochState (PParams CurrentEra) Source #
FromJSON (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseJSON ∷ Value → Parser (Key EpochState) Source # parseJSONList ∷ Value → Parser [Key EpochState] Source # omittedField ∷ Maybe (Key EpochState) Source #
ToJSON (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toJSON ∷ Key EpochState → Value Source # toEncoding ∷ Key EpochState → Encoding Source # toJSONList ∷ [Key EpochState] → Value Source # toEncodingList ∷ [Key EpochState] → Encoding Source # omitField ∷ Key EpochState → Bool Source #
Read (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods readsPrec ∷ Int → ReadS (Key EpochState) Source # readList ∷ ReadS [Key EpochState] Source # readPrec ∷ ReadPrec (Key EpochState) Source # readListPrec ∷ ReadPrec [Key EpochState] Source #
Show (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key EpochState → ShowS Source # show ∷ Key EpochState → String Source # showList ∷ [Key EpochState] → ShowS Source #
Eq (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key EpochState → Key EpochState → Bool Source # (/=) ∷ Key EpochState → Key EpochState → Bool Source #
Ord (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key EpochState → Key EpochState → Ordering Source # (<) ∷ Key EpochState → Key EpochState → Bool Source # (<=) ∷ Key EpochState → Key EpochState → Bool Source # (>) ∷ Key EpochState → Key EpochState → Bool Source # (>=) ∷ Key EpochState → Key EpochState → Bool Source # max ∷ Key EpochState → Key EpochState → Key EpochState Source # min ∷ Key EpochState → Key EpochState → Key EpochState Source #
FromHttpApiData (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseUrlPiece ∷ Text → Either Text (Key EpochState) Source # parseHeader ∷ ByteString → Either Text (Key EpochState) Source # parseQueryParam ∷ Text → Either Text (Key EpochState) Source #
ToHttpApiData (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toUrlPiece ∷ Key EpochState → Text Source # toEncodedUrlPiece ∷ Key EpochState → Builder Source # toHeader ∷ Key EpochState → ByteString Source # toQueryParam ∷ Key EpochState → Text Source # toEncodedQueryParam ∷ Key EpochState → Builder Source #
PathPiece (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods fromPathPiece ∷ Text → Maybe (Key EpochState) Source # toPathPiece ∷ Key EpochState → Text Source #
PersistField (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Key EpochState → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text (Key EpochState) Source #
PersistFieldSql (Key EpochState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy (Key EpochState) → SqlType Source #
data EntityField EpochState typ Source #
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 C ⇒ EpochStateNonMyopic \| typ ~ Coin ⇒ EpochStateSnapShotsFee
newtype Key EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema newtype Key EpochState = EpochStateKey { unEpochStateKey ∷ BackendKey SqlBackend }
type PersistEntityBackend EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend EpochState = SqlBackend
data Unique EpochState Source #
Instance details Defined in Cardano.Ledger.State.Schema data Unique EpochState

type EpochStateId = Key EpochState 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 Source # data Key SnapShot Source # data EntityField SnapShot ∷ Type → Type Source # data Unique SnapShot Source # 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) Source # readList ∷ ReadS [Key SnapShot] Source # readPrec ∷ ReadPrec (Key SnapShot) Source # readListPrec ∷ ReadPrec [Key SnapShot] Source #
Show (Key SnapShot) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key SnapShot → ShowS Source # show ∷ Key SnapShot → String Source # showList ∷ [Key SnapShot] → ShowS Source #
Eq (Key SnapShot) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key SnapShot → Key SnapShot → Bool Source # (/=) ∷ Key SnapShot → Key SnapShot → Bool Source #
Ord (Key SnapShot) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key SnapShot → Key SnapShot → Ordering Source # (<) ∷ Key SnapShot → Key SnapShot → Bool Source # (<=) ∷ Key SnapShot → Key SnapShot → Bool Source # (>) ∷ Key SnapShot → Key SnapShot → Bool Source # (>=) ∷ Key SnapShot → Key SnapShot → Bool Source # max ∷ Key SnapShot → Key SnapShot → Key SnapShot Source # min ∷ Key SnapShot → Key SnapShot → Key SnapShot Source #
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 SnapShotId = Key SnapShot Source #

data UtxoState Source #

Constructors

UtxoState
Fields utxoStateDeposited ∷ !Coin utxoStateFees ∷ !Coin utxoStatePpups ∷ !(ShelleyGovState CurrentEra) utxoStateDonation ∷ !Coin

Instances

Instances details

PersistEntity UtxoState Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend UtxoState Source # data Key UtxoState Source # data EntityField UtxoState ∷ Type → Type Source # data Unique UtxoState Source # 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 "id" UtxoState (Key UtxoState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField UtxoState (Key UtxoState) Source #
SymbolToField "ppups" UtxoState (ShelleyGovState CurrentEra) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField UtxoState (ShelleyGovState CurrentEra) 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) Source # readList ∷ ReadS [Key UtxoState] Source # readPrec ∷ ReadPrec (Key UtxoState) Source # readListPrec ∷ ReadPrec [Key UtxoState] Source #
Show (Key UtxoState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key UtxoState → ShowS Source # show ∷ Key UtxoState → String Source # showList ∷ [Key UtxoState] → ShowS Source #
Eq (Key UtxoState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key UtxoState → Key UtxoState → Bool Source # (/=) ∷ Key UtxoState → Key UtxoState → Bool Source #
Ord (Key UtxoState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key UtxoState → Key UtxoState → Ordering Source # (<) ∷ Key UtxoState → Key UtxoState → Bool Source # (<=) ∷ Key UtxoState → Key UtxoState → Bool Source # (>) ∷ Key UtxoState → Key UtxoState → Bool Source # (>=) ∷ Key UtxoState → Key UtxoState → Bool Source # max ∷ Key UtxoState → Key UtxoState → Key UtxoState Source # min ∷ Key UtxoState → Key UtxoState → Key UtxoState Source #
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 ~ ShelleyGovState CurrentEra ⇒ UtxoStatePpups \| 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 UtxoStateId = Key UtxoState Source #

data DState Source #

Constructors

DState
Fields dStateFGenDelegs ∷ !FGenDelegs dStateGenDelegs ∷ !(GenDelegs C) dStateIrDeltaReserves ∷ !DeltaCoin dStateIrDeltaTreasury ∷ !DeltaCoin

Instances

Instances details

PersistEntity DState Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend DState Source # data Key DState Source # data EntityField DState ∷ Type → Type Source # data Unique DState Source # 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" DRep DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DRep DStateId Source #
SymbolToField "dstateId" Delegation DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Delegation 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 "dstateId" Ptr DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Ptr DStateId Source #
SymbolToField "dstateId" Reward DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Reward DStateId Source #
SymbolToField "fGenDelegs" DState FGenDelegs Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DState FGenDelegs 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 "genDelegs" DState (GenDelegs C) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DState (GenDelegs C) 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) Source # readList ∷ ReadS [Key DState] Source # readPrec ∷ ReadPrec (Key DState) Source # readListPrec ∷ ReadPrec [Key DState] Source #
Show (Key DState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key DState → ShowS Source # show ∷ Key DState → String Source # showList ∷ [Key DState] → ShowS Source #
Eq (Key DState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key DState → Key DState → Bool Source # (/=) ∷ Key DState → Key DState → Bool Source #
Ord (Key DState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key DState → Key DState → Ordering Source # (<) ∷ Key DState → Key DState → Bool Source # (<=) ∷ Key DState → Key DState → Bool Source # (>) ∷ Key DState → Key DState → Bool Source # (>=) ∷ Key DState → Key DState → Bool Source # max ∷ Key DState → Key DState → Key DState Source # min ∷ Key DState → Key DState → Key DState Source #
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 C ⇒ 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 DStateId = Key DState 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 Source # data Key LedgerState Source # data EntityField LedgerState ∷ Type → Type Source # data Unique LedgerState Source # 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) Source # readList ∷ ReadS [Key LedgerState] Source # readPrec ∷ ReadPrec (Key LedgerState) Source # readListPrec ∷ ReadPrec [Key LedgerState] Source #
Show (Key LedgerState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key LedgerState → ShowS Source # show ∷ Key LedgerState → String Source # showList ∷ [Key LedgerState] → ShowS Source #
Eq (Key LedgerState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key LedgerState → Key LedgerState → Bool Source # (/=) ∷ Key LedgerState → Key LedgerState → Bool Source #
Ord (Key LedgerState) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key LedgerState → Key LedgerState → Ordering Source # (<) ∷ Key LedgerState → Key LedgerState → Bool Source # (<=) ∷ Key LedgerState → Key LedgerState → Bool Source # (>) ∷ Key LedgerState → Key LedgerState → Bool Source # (>=) ∷ Key LedgerState → Key LedgerState → Bool Source # max ∷ Key LedgerState → Key LedgerState → Key LedgerState Source # min ∷ Key LedgerState → Key LedgerState → Key LedgerState Source #
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 LedgerStateId = Key LedgerState 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 Source # data Key Credential Source # data EntityField Credential ∷ Type → Type Source # data Unique Credential Source # 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" DRep CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DRep CredentialId Source #
SymbolToField "credentialId" Delegation CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Delegation 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" Ptr CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Ptr CredentialId Source #
SymbolToField "credentialId" Reward CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Reward 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 "dRepCredentialId" DRep CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DRep CredentialId Source #
SymbolToField "witness" Credential CredentialWitness Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Credential CredentialWitness 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) Source # readList ∷ ReadS [Key Credential] Source # readPrec ∷ ReadPrec (Key Credential) Source # readListPrec ∷ ReadPrec [Key Credential] Source #
Show (Key Credential) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key Credential → ShowS Source # show ∷ Key Credential → String Source # showList ∷ [Key Credential] → ShowS Source #
Eq (Key Credential) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key Credential → Key Credential → Bool Source # (/=) ∷ Key Credential → Key Credential → Bool Source #
Ord (Key Credential) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key Credential → Key Credential → Ordering Source # (<) ∷ Key Credential → Key Credential → Bool Source # (<=) ∷ Key Credential → Key Credential → Bool Source # (>) ∷ Key Credential → Key Credential → Bool Source # (>=) ∷ Key Credential → Key Credential → Bool Source # max ∷ Key Credential → Key Credential → Key Credential Source # min ∷ Key Credential → Key Credential → Key Credential Source #
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 CredentialId = Key Credential 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 Source # data Key SnapShotStake Source # data EntityField SnapShotStake ∷ Type → Type Source # data Unique SnapShotStake Source # 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) Source # readList ∷ ReadS [Key SnapShotStake] Source # readPrec ∷ ReadPrec (Key SnapShotStake) Source # readListPrec ∷ ReadPrec [Key SnapShotStake] Source #
Show (Key SnapShotStake) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key SnapShotStake → ShowS Source # show ∷ Key SnapShotStake → String Source # showList ∷ [Key SnapShotStake] → ShowS Source #
Eq (Key SnapShotStake) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key SnapShotStake → Key SnapShotStake → Bool Source # (/=) ∷ Key SnapShotStake → Key SnapShotStake → Bool Source #
Ord (Key SnapShotStake) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key SnapShotStake → Key SnapShotStake → Ordering Source # (<) ∷ Key SnapShotStake → Key SnapShotStake → Bool Source # (<=) ∷ Key SnapShotStake → Key SnapShotStake → Bool Source # (>) ∷ Key SnapShotStake → Key SnapShotStake → Bool Source # (>=) ∷ Key SnapShotStake → Key SnapShotStake → Bool Source # max ∷ Key SnapShotStake → Key SnapShotStake → Key SnapShotStake Source # min ∷ Key SnapShotStake → Key SnapShotStake → Key SnapShotStake Source #
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 SnapShotStakeId = Key SnapShotStake 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 Source # data Key KeyHash Source # data EntityField KeyHash ∷ Type → Type Source # data Unique KeyHash Source # 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 "stakePoolId" Delegation KeyHashId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Delegation 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 #
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) Source # readList ∷ ReadS [Key KeyHash] Source # readPrec ∷ ReadPrec (Key KeyHash) Source # readListPrec ∷ ReadPrec [Key KeyHash] Source #
Show (Key KeyHash) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key KeyHash → ShowS Source # show ∷ Key KeyHash → String Source # showList ∷ [Key KeyHash] → ShowS Source #
Eq (Key KeyHash) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key KeyHash → Key KeyHash → Bool Source # (/=) ∷ Key KeyHash → Key KeyHash → Bool Source #
Ord (Key KeyHash) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key KeyHash → Key KeyHash → Ordering Source # (<) ∷ Key KeyHash → Key KeyHash → Bool Source # (<=) ∷ Key KeyHash → Key KeyHash → Bool Source # (>) ∷ Key KeyHash → Key KeyHash → Bool Source # (>=) ∷ Key KeyHash → Key KeyHash → Bool Source # max ∷ Key KeyHash → Key KeyHash → Key KeyHash Source # min ∷ Key KeyHash → Key KeyHash → Key KeyHash Source #
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 KeyHashId = Key KeyHash Source #

data SnapShotPool Source #

Constructors

SnapShotPool
Fields snapShotPoolSnapShotId ∷ !SnapShotId snapShotPoolKeyHashId ∷ !KeyHashId snapShotPoolParams ∷ !(PoolParams C)

Instances

Instances details

PersistEntity SnapShotPool Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend SnapShotPool Source # data Key SnapShotPool Source # data EntityField SnapShotPool ∷ Type → Type Source # data Unique SnapShotPool Source # 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 "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 #
SymbolToField "params" SnapShotPool (PoolParams C) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField SnapShotPool (PoolParams C) 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) Source # readList ∷ ReadS [Key SnapShotPool] Source # readPrec ∷ ReadPrec (Key SnapShotPool) Source # readListPrec ∷ ReadPrec [Key SnapShotPool] Source #
Show (Key SnapShotPool) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key SnapShotPool → ShowS Source # show ∷ Key SnapShotPool → String Source # showList ∷ [Key SnapShotPool] → ShowS Source #
Eq (Key SnapShotPool) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key SnapShotPool → Key SnapShotPool → Bool Source # (/=) ∷ Key SnapShotPool → Key SnapShotPool → Bool Source #
Ord (Key SnapShotPool) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key SnapShotPool → Key SnapShotPool → Ordering Source # (<) ∷ Key SnapShotPool → Key SnapShotPool → Bool Source # (<=) ∷ Key SnapShotPool → Key SnapShotPool → Bool Source # (>) ∷ Key SnapShotPool → Key SnapShotPool → Bool Source # (>=) ∷ Key SnapShotPool → Key SnapShotPool → Bool Source # max ∷ Key SnapShotPool → Key SnapShotPool → Key SnapShotPool Source # min ∷ Key SnapShotPool → Key SnapShotPool → Key SnapShotPool Source #
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 ~ PoolParams C ⇒ 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 SnapShotPoolId = Key SnapShotPool 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 Source # data Key SnapShotDelegation Source # data EntityField SnapShotDelegation ∷ Type → Type Source # data Unique SnapShotDelegation Source # 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) Source # readList ∷ ReadS [Key SnapShotDelegation] Source # readPrec ∷ ReadPrec (Key SnapShotDelegation) Source # readListPrec ∷ ReadPrec [Key SnapShotDelegation] Source #
Show (Key SnapShotDelegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key SnapShotDelegation → ShowS Source # show ∷ Key SnapShotDelegation → String Source # showList ∷ [Key SnapShotDelegation] → ShowS Source #
Eq (Key SnapShotDelegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool Source # (/=) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool Source #
Ord (Key SnapShotDelegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key SnapShotDelegation → Key SnapShotDelegation → Ordering Source # (<) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool Source # (<=) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool Source # (>) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool Source # (>=) ∷ Key SnapShotDelegation → Key SnapShotDelegation → Bool Source # max ∷ Key SnapShotDelegation → Key SnapShotDelegation → Key SnapShotDelegation Source # min ∷ Key SnapShotDelegation → Key SnapShotDelegation → Key SnapShotDelegation Source #
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 SnapShotDelegationId = Key SnapShotDelegation Source #

data Tx Source #

Constructors

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

Instances

Instances details

PersistEntity Tx Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend Tx Source # data Key Tx Source # data EntityField Tx ∷ Type → Type Source # data Unique Tx Source # 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 "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 "inId" Tx (TxId C) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Tx (TxId C) 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) Source # readList ∷ ReadS [Key Tx] Source # readPrec ∷ ReadPrec (Key Tx) Source # readListPrec ∷ ReadPrec [Key Tx] Source #
Show (Key Tx) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key Tx → ShowS Source # show ∷ Key Tx → String Source # showList ∷ [Key Tx] → ShowS Source #
Eq (Key Tx) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key Tx → Key Tx → Bool Source # (/=) ∷ Key Tx → Key Tx → Bool Source #
Ord (Key Tx) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key Tx → Key Tx → Ordering Source # (<) ∷ Key Tx → Key Tx → Bool Source # (<=) ∷ Key Tx → Key Tx → Bool Source # (>) ∷ Key Tx → Key Tx → Bool Source # (>=) ∷ Key Tx → Key Tx → Bool Source # max ∷ Key Tx → Key Tx → Key Tx Source # min ∷ Key Tx → Key Tx → Key Tx Source #
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 C ⇒ 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 C)

type TxId = Key Tx Source #

data Txs Source #

Constructors

Txs
Fields txsInIx ∷ !TxIx txsInId ∷ !(TxId C) 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 Source # data Key Txs Source # data EntityField Txs ∷ Type → Type Source # data Unique Txs Source # 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 "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 "inId" Txs (TxId C) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Txs (TxId C) 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) Source # readList ∷ ReadS [Key Txs] Source # readPrec ∷ ReadPrec (Key Txs) Source # readListPrec ∷ ReadPrec [Key Txs] Source #
Show (Key Txs) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key Txs → ShowS Source # show ∷ Key Txs → String Source # showList ∷ [Key Txs] → ShowS Source #
Eq (Key Txs) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key Txs → Key Txs → Bool Source # (/=) ∷ Key Txs → Key Txs → Bool Source #
Ord (Key Txs) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key Txs → Key Txs → Ordering Source # (<) ∷ Key Txs → Key Txs → Bool Source # (<=) ∷ Key Txs → Key Txs → Bool Source # (>) ∷ Key Txs → Key Txs → Bool Source # (>=) ∷ Key Txs → Key Txs → Bool Source # max ∷ Key Txs → Key Txs → Key Txs Source # min ∷ Key Txs → Key Txs → Key Txs Source #
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 C ⇒ 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 C)

type TxsId = Key Txs 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 Source # data Key UtxoEntry Source # data EntityField UtxoEntry ∷ Type → Type Source # data Unique UtxoEntry Source # 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) Source # readList ∷ ReadS [Key UtxoEntry] Source # readPrec ∷ ReadPrec (Key UtxoEntry) Source # readListPrec ∷ ReadPrec [Key UtxoEntry] Source #
Show (Key UtxoEntry) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key UtxoEntry → ShowS Source # show ∷ Key UtxoEntry → String Source # showList ∷ [Key UtxoEntry] → ShowS Source #
Eq (Key UtxoEntry) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key UtxoEntry → Key UtxoEntry → Bool Source # (/=) ∷ Key UtxoEntry → Key UtxoEntry → Bool Source #
Ord (Key UtxoEntry) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key UtxoEntry → Key UtxoEntry → Ordering Source # (<) ∷ Key UtxoEntry → Key UtxoEntry → Bool Source # (<=) ∷ Key UtxoEntry → Key UtxoEntry → Bool Source # (>) ∷ Key UtxoEntry → Key UtxoEntry → Bool Source # (>=) ∷ Key UtxoEntry → Key UtxoEntry → Bool Source # max ∷ Key UtxoEntry → Key UtxoEntry → Key UtxoEntry Source # min ∷ Key UtxoEntry → Key UtxoEntry → Key UtxoEntry Source #
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 UtxoEntryId = Key UtxoEntry Source #

data Reward Source #

Constructors

Reward
Fields rewardDstateId ∷ !DStateId rewardCredentialId ∷ !CredentialId rewardCoin ∷ !Coin

Instances

Instances details

PersistEntity Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend Reward Source # data Key Reward Source # data EntityField Reward ∷ Type → Type Source # data Unique Reward Source # Methods keyToValues ∷ Key Reward → [PersistValue] Source # keyFromValues ∷ [PersistValue] → Either Text (Key Reward) Source # persistIdField ∷ EntityField Reward (Key Reward) Source # entityDef ∷ proxy Reward → EntityDef Source # persistFieldDef ∷ EntityField Reward typ → FieldDef Source # toPersistFields ∷ Reward → [PersistValue] Source # fromPersistValues ∷ [PersistValue] → Either Text Reward Source # tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField Reward a → f a) → f (Entity Reward) Source # persistUniqueKeys ∷ Reward → [Unique Reward] Source # persistUniqueToFieldNames ∷ Unique Reward → NonEmpty (FieldNameHS, FieldNameDB) Source # persistUniqueToValues ∷ Unique Reward → [PersistValue] Source # fieldLens ∷ EntityField Reward field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity Reward → f (Entity Reward) Source # keyFromRecordM ∷ Maybe (Reward → Key Reward) Source #
SafeToInsert Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema
PersistField Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Reward → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text Reward Source #
AtLeastOneUniqueKey Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods requireUniquesP ∷ Reward → NonEmpty (Unique Reward) Source #
OnlyOneUniqueKey Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods onlyUniqueP ∷ Reward → Unique Reward Source #
PersistFieldSql Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy Reward → SqlType Source #
ToBackendKey SqlBackend Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toBackendKey ∷ Key Reward → BackendKey SqlBackend Source # fromBackendKey ∷ BackendKey SqlBackend → Key Reward Source #
SymbolToField "coin" Reward Coin Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Reward Coin Source #
SymbolToField "credentialId" Reward CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Reward CredentialId Source #
SymbolToField "dstateId" Reward DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Reward DStateId Source #
SymbolToField "id" Reward (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Reward (Key Reward) Source #
FromJSON (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseJSON ∷ Value → Parser (Key Reward) Source # parseJSONList ∷ Value → Parser [Key Reward] Source # omittedField ∷ Maybe (Key Reward) Source #
ToJSON (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toJSON ∷ Key Reward → Value Source # toEncoding ∷ Key Reward → Encoding Source # toJSONList ∷ [Key Reward] → Value Source # toEncodingList ∷ [Key Reward] → Encoding Source # omitField ∷ Key Reward → Bool Source #
Read (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods readsPrec ∷ Int → ReadS (Key Reward) Source # readList ∷ ReadS [Key Reward] Source # readPrec ∷ ReadPrec (Key Reward) Source # readListPrec ∷ ReadPrec [Key Reward] Source #
Show (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key Reward → ShowS Source # show ∷ Key Reward → String Source # showList ∷ [Key Reward] → ShowS Source #
Eq (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key Reward → Key Reward → Bool Source # (/=) ∷ Key Reward → Key Reward → Bool Source #
Ord (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key Reward → Key Reward → Ordering Source # (<) ∷ Key Reward → Key Reward → Bool Source # (<=) ∷ Key Reward → Key Reward → Bool Source # (>) ∷ Key Reward → Key Reward → Bool Source # (>=) ∷ Key Reward → Key Reward → Bool Source # max ∷ Key Reward → Key Reward → Key Reward Source # min ∷ Key Reward → Key Reward → Key Reward Source #
FromHttpApiData (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseUrlPiece ∷ Text → Either Text (Key Reward) Source # parseHeader ∷ ByteString → Either Text (Key Reward) Source # parseQueryParam ∷ Text → Either Text (Key Reward) Source #
ToHttpApiData (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toUrlPiece ∷ Key Reward → Text Source # toEncodedUrlPiece ∷ Key Reward → Builder Source # toHeader ∷ Key Reward → ByteString Source # toQueryParam ∷ Key Reward → Text Source # toEncodedQueryParam ∷ Key Reward → Builder Source #
PathPiece (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods fromPathPiece ∷ Text → Maybe (Key Reward) Source # toPathPiece ∷ Key Reward → Text Source #
PersistField (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Key Reward → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text (Key Reward) Source #
PersistFieldSql (Key Reward) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy (Key Reward) → SqlType Source #
data EntityField Reward typ Source #
Instance details Defined in Cardano.Ledger.State.Schema data EntityField Reward typ = typ ~ RewardId ⇒ RewardId \| typ ~ DStateId ⇒ RewardDstateId \| typ ~ CredentialId ⇒ RewardCredentialId \| typ ~ Coin ⇒ RewardCoin
newtype Key Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema newtype Key Reward = RewardKey { unRewardKey ∷ BackendKey SqlBackend }
type PersistEntityBackend Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend Reward = SqlBackend
data Unique Reward Source #
Instance details Defined in Cardano.Ledger.State.Schema data Unique Reward = UniqueReward DStateId CredentialId Coin

type RewardId = Key Reward Source #

data Delegation Source #

Constructors

Delegation
Fields delegationDstateId ∷ !DStateId delegationCredentialId ∷ !CredentialId delegationStakePoolId ∷ !KeyHashId

Instances

Instances details

PersistEntity Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend Delegation Source # data Key Delegation Source # data EntityField Delegation ∷ Type → Type Source # data Unique Delegation Source # Methods keyToValues ∷ Key Delegation → [PersistValue] Source # keyFromValues ∷ [PersistValue] → Either Text (Key Delegation) Source # persistIdField ∷ EntityField Delegation (Key Delegation) Source # entityDef ∷ proxy Delegation → EntityDef Source # persistFieldDef ∷ EntityField Delegation typ → FieldDef Source # toPersistFields ∷ Delegation → [PersistValue] Source # fromPersistValues ∷ [PersistValue] → Either Text Delegation Source # tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField Delegation a → f a) → f (Entity Delegation) Source # persistUniqueKeys ∷ Delegation → [Unique Delegation] Source # persistUniqueToFieldNames ∷ Unique Delegation → NonEmpty (FieldNameHS, FieldNameDB) Source # persistUniqueToValues ∷ Unique Delegation → [PersistValue] Source # fieldLens ∷ EntityField Delegation field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity Delegation → f (Entity Delegation) Source # keyFromRecordM ∷ Maybe (Delegation → Key Delegation) Source #
SafeToInsert Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema
PersistField Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Delegation → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text Delegation Source #
AtLeastOneUniqueKey Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods requireUniquesP ∷ Delegation → NonEmpty (Unique Delegation) Source #
OnlyOneUniqueKey Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods onlyUniqueP ∷ Delegation → Unique Delegation Source #
PersistFieldSql Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy Delegation → SqlType Source #
ToBackendKey SqlBackend Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toBackendKey ∷ Key Delegation → BackendKey SqlBackend Source # fromBackendKey ∷ BackendKey SqlBackend → Key Delegation Source #
SymbolToField "credentialId" Delegation CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Delegation CredentialId Source #
SymbolToField "dstateId" Delegation DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Delegation DStateId Source #
SymbolToField "stakePoolId" Delegation KeyHashId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Delegation KeyHashId Source #
SymbolToField "id" Delegation (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Delegation (Key Delegation) Source #
FromJSON (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseJSON ∷ Value → Parser (Key Delegation) Source # parseJSONList ∷ Value → Parser [Key Delegation] Source # omittedField ∷ Maybe (Key Delegation) Source #
ToJSON (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toJSON ∷ Key Delegation → Value Source # toEncoding ∷ Key Delegation → Encoding Source # toJSONList ∷ [Key Delegation] → Value Source # toEncodingList ∷ [Key Delegation] → Encoding Source # omitField ∷ Key Delegation → Bool Source #
Read (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods readsPrec ∷ Int → ReadS (Key Delegation) Source # readList ∷ ReadS [Key Delegation] Source # readPrec ∷ ReadPrec (Key Delegation) Source # readListPrec ∷ ReadPrec [Key Delegation] Source #
Show (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key Delegation → ShowS Source # show ∷ Key Delegation → String Source # showList ∷ [Key Delegation] → ShowS Source #
Eq (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key Delegation → Key Delegation → Bool Source # (/=) ∷ Key Delegation → Key Delegation → Bool Source #
Ord (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key Delegation → Key Delegation → Ordering Source # (<) ∷ Key Delegation → Key Delegation → Bool Source # (<=) ∷ Key Delegation → Key Delegation → Bool Source # (>) ∷ Key Delegation → Key Delegation → Bool Source # (>=) ∷ Key Delegation → Key Delegation → Bool Source # max ∷ Key Delegation → Key Delegation → Key Delegation Source # min ∷ Key Delegation → Key Delegation → Key Delegation Source #
FromHttpApiData (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseUrlPiece ∷ Text → Either Text (Key Delegation) Source # parseHeader ∷ ByteString → Either Text (Key Delegation) Source # parseQueryParam ∷ Text → Either Text (Key Delegation) Source #
ToHttpApiData (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toUrlPiece ∷ Key Delegation → Text Source # toEncodedUrlPiece ∷ Key Delegation → Builder Source # toHeader ∷ Key Delegation → ByteString Source # toQueryParam ∷ Key Delegation → Text Source # toEncodedQueryParam ∷ Key Delegation → Builder Source #
PathPiece (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods fromPathPiece ∷ Text → Maybe (Key Delegation) Source # toPathPiece ∷ Key Delegation → Text Source #
PersistField (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Key Delegation → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text (Key Delegation) Source #
PersistFieldSql (Key Delegation) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy (Key Delegation) → SqlType Source #
data EntityField Delegation typ Source #
Instance details Defined in Cardano.Ledger.State.Schema data EntityField Delegation typ = typ ~ DelegationId ⇒ DelegationId \| typ ~ DStateId ⇒ DelegationDstateId \| typ ~ CredentialId ⇒ DelegationCredentialId \| typ ~ KeyHashId ⇒ DelegationStakePoolId
newtype Key Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema newtype Key Delegation = DelegationKey { unDelegationKey ∷ BackendKey SqlBackend }
type PersistEntityBackend Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend Delegation = SqlBackend
data Unique Delegation Source #
Instance details Defined in Cardano.Ledger.State.Schema data Unique Delegation = UniqueDelegation DStateId CredentialId

type DelegationId = Key Delegation Source #

data DRep Source #

Constructors

DRep
Fields dRepDstateId ∷ !DStateId dRepCredentialId ∷ !CredentialId dRepDRepCredentialId ∷ !CredentialId

Instances

Instances details

PersistEntity DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend DRep Source # data Key DRep Source # data EntityField DRep ∷ Type → Type Source # data Unique DRep Source # Methods keyToValues ∷ Key DRep → [PersistValue] Source # keyFromValues ∷ [PersistValue] → Either Text (Key DRep) Source # persistIdField ∷ EntityField DRep (Key DRep) Source # entityDef ∷ proxy DRep → EntityDef Source # persistFieldDef ∷ EntityField DRep typ → FieldDef Source # toPersistFields ∷ DRep → [PersistValue] Source # fromPersistValues ∷ [PersistValue] → Either Text DRep Source # tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField DRep a → f a) → f (Entity DRep) Source # persistUniqueKeys ∷ DRep → [Unique DRep] Source # persistUniqueToFieldNames ∷ Unique DRep → NonEmpty (FieldNameHS, FieldNameDB) Source # persistUniqueToValues ∷ Unique DRep → [PersistValue] Source # fieldLens ∷ EntityField DRep field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity DRep → f (Entity DRep) Source # keyFromRecordM ∷ Maybe (DRep → Key DRep) Source #
SafeToInsert DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema
PersistField DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ DRep → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text DRep Source #
AtLeastOneUniqueKey DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods requireUniquesP ∷ DRep → NonEmpty (Unique DRep) Source #
OnlyOneUniqueKey DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods onlyUniqueP ∷ DRep → Unique DRep Source #
PersistFieldSql DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy DRep → SqlType Source #
ToBackendKey SqlBackend DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toBackendKey ∷ Key DRep → BackendKey SqlBackend Source # fromBackendKey ∷ BackendKey SqlBackend → Key DRep Source #
SymbolToField "credentialId" DRep CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DRep CredentialId Source #
SymbolToField "dRepCredentialId" DRep CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DRep CredentialId Source #
SymbolToField "dstateId" DRep DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DRep DStateId Source #
SymbolToField "id" DRep (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField DRep (Key DRep) Source #
FromJSON (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseJSON ∷ Value → Parser (Key DRep) Source # parseJSONList ∷ Value → Parser [Key DRep] Source # omittedField ∷ Maybe (Key DRep) Source #
ToJSON (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toJSON ∷ Key DRep → Value Source # toEncoding ∷ Key DRep → Encoding Source # toJSONList ∷ [Key DRep] → Value Source # toEncodingList ∷ [Key DRep] → Encoding Source # omitField ∷ Key DRep → Bool Source #
Read (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods readsPrec ∷ Int → ReadS (Key DRep) Source # readList ∷ ReadS [Key DRep] Source # readPrec ∷ ReadPrec (Key DRep) Source # readListPrec ∷ ReadPrec [Key DRep] Source #
Show (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key DRep → ShowS Source # show ∷ Key DRep → String Source # showList ∷ [Key DRep] → ShowS Source #
Eq (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key DRep → Key DRep → Bool Source # (/=) ∷ Key DRep → Key DRep → Bool Source #
Ord (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key DRep → Key DRep → Ordering Source # (<) ∷ Key DRep → Key DRep → Bool Source # (<=) ∷ Key DRep → Key DRep → Bool Source # (>) ∷ Key DRep → Key DRep → Bool Source # (>=) ∷ Key DRep → Key DRep → Bool Source # max ∷ Key DRep → Key DRep → Key DRep Source # min ∷ Key DRep → Key DRep → Key DRep Source #
FromHttpApiData (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseUrlPiece ∷ Text → Either Text (Key DRep) Source # parseHeader ∷ ByteString → Either Text (Key DRep) Source # parseQueryParam ∷ Text → Either Text (Key DRep) Source #
ToHttpApiData (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toUrlPiece ∷ Key DRep → Text Source # toEncodedUrlPiece ∷ Key DRep → Builder Source # toHeader ∷ Key DRep → ByteString Source # toQueryParam ∷ Key DRep → Text Source # toEncodedQueryParam ∷ Key DRep → Builder Source #
PathPiece (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods fromPathPiece ∷ Text → Maybe (Key DRep) Source # toPathPiece ∷ Key DRep → Text Source #
PersistField (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Key DRep → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text (Key DRep) Source #
PersistFieldSql (Key DRep) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy (Key DRep) → SqlType Source #
data EntityField DRep typ Source #
Instance details Defined in Cardano.Ledger.State.Schema data EntityField DRep typ = typ ~ DRepId ⇒ DRepId \| typ ~ DStateId ⇒ DRepDstateId \| typ ~ CredentialId ⇒ DRepCredentialId \| typ ~ CredentialId ⇒ DRepDRepCredentialId
newtype Key DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema newtype Key DRep = DRepKey { unDRepKey ∷ BackendKey SqlBackend }
type PersistEntityBackend DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend DRep = SqlBackend
data Unique DRep Source #
Instance details Defined in Cardano.Ledger.State.Schema data Unique DRep = UniqueDRep DStateId CredentialId

type DRepId = Key DRep Source #

data Ptr Source #

Constructors

Ptr
Fields ptrDstateId ∷ !DStateId ptrCredentialId ∷ !CredentialId ptrPtr ∷ !Ptr

Instances

Instances details

PersistEntity Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema Associated Types type PersistEntityBackend Ptr Source # data Key Ptr Source # data EntityField Ptr ∷ Type → Type Source # data Unique Ptr Source # Methods keyToValues ∷ Key Ptr → [PersistValue] Source # keyFromValues ∷ [PersistValue] → Either Text (Key Ptr) Source # persistIdField ∷ EntityField Ptr (Key Ptr) Source # entityDef ∷ proxy Ptr → EntityDef Source # persistFieldDef ∷ EntityField Ptr typ → FieldDef Source # toPersistFields ∷ Ptr → [PersistValue] Source # fromPersistValues ∷ [PersistValue] → Either Text Ptr Source # tabulateEntityA ∷ Applicative f ⇒ (∀ a. EntityField Ptr a → f a) → f (Entity Ptr) Source # persistUniqueKeys ∷ Ptr → [Unique Ptr] Source # persistUniqueToFieldNames ∷ Unique Ptr → NonEmpty (FieldNameHS, FieldNameDB) Source # persistUniqueToValues ∷ Unique Ptr → [PersistValue] Source # fieldLens ∷ EntityField Ptr field → ∀ (f ∷ Type → Type). Functor f ⇒ (field → f field) → Entity Ptr → f (Entity Ptr) Source # keyFromRecordM ∷ Maybe (Ptr → Key Ptr) Source #
SafeToInsert Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema
PersistField Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Ptr → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text Ptr Source #
AtLeastOneUniqueKey Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods requireUniquesP ∷ Ptr → NonEmpty (Unique Ptr) Source #
(TypeError (MultipleUniqueKeysError Ptr) ∷ Constraint) ⇒ OnlyOneUniqueKey Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods onlyUniqueP ∷ Ptr → Unique Ptr Source #
PersistFieldSql Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy Ptr → SqlType Source #
ToBackendKey SqlBackend Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toBackendKey ∷ Key Ptr → BackendKey SqlBackend Source # fromBackendKey ∷ BackendKey SqlBackend → Key Ptr Source #
SymbolToField "credentialId" Ptr CredentialId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Ptr CredentialId Source #
SymbolToField "dstateId" Ptr DStateId Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Ptr DStateId Source #
SymbolToField "ptr" Ptr Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Ptr Ptr0 Source #
SymbolToField "id" Ptr (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods symbolToField ∷ EntityField Ptr (Key Ptr) Source #
FromJSON (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseJSON ∷ Value → Parser (Key Ptr) Source # parseJSONList ∷ Value → Parser [Key Ptr] Source # omittedField ∷ Maybe (Key Ptr) Source #
ToJSON (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toJSON ∷ Key Ptr → Value Source # toEncoding ∷ Key Ptr → Encoding Source # toJSONList ∷ [Key Ptr] → Value Source # toEncodingList ∷ [Key Ptr] → Encoding Source # omitField ∷ Key Ptr → Bool Source #
Read (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods readsPrec ∷ Int → ReadS (Key Ptr) Source # readList ∷ ReadS [Key Ptr] Source # readPrec ∷ ReadPrec (Key Ptr) Source # readListPrec ∷ ReadPrec [Key Ptr] Source #
Show (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key Ptr → ShowS Source # show ∷ Key Ptr → String Source # showList ∷ [Key Ptr] → ShowS Source #
Eq (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key Ptr → Key Ptr → Bool Source # (/=) ∷ Key Ptr → Key Ptr → Bool Source #
Ord (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key Ptr → Key Ptr → Ordering Source # (<) ∷ Key Ptr → Key Ptr → Bool Source # (<=) ∷ Key Ptr → Key Ptr → Bool Source # (>) ∷ Key Ptr → Key Ptr → Bool Source # (>=) ∷ Key Ptr → Key Ptr → Bool Source # max ∷ Key Ptr → Key Ptr → Key Ptr Source # min ∷ Key Ptr → Key Ptr → Key Ptr Source #
FromHttpApiData (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods parseUrlPiece ∷ Text → Either Text (Key Ptr) Source # parseHeader ∷ ByteString → Either Text (Key Ptr) Source # parseQueryParam ∷ Text → Either Text (Key Ptr) Source #
ToHttpApiData (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toUrlPiece ∷ Key Ptr → Text Source # toEncodedUrlPiece ∷ Key Ptr → Builder Source # toHeader ∷ Key Ptr → ByteString Source # toQueryParam ∷ Key Ptr → Text Source # toEncodedQueryParam ∷ Key Ptr → Builder Source #
PathPiece (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods fromPathPiece ∷ Text → Maybe (Key Ptr) Source # toPathPiece ∷ Key Ptr → Text Source #
PersistField (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods toPersistValue ∷ Key Ptr → PersistValue Source # fromPersistValue ∷ PersistValue → Either Text (Key Ptr) Source #
PersistFieldSql (Key Ptr) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods sqlType ∷ Proxy (Key Ptr) → SqlType Source #
data EntityField Ptr typ Source #
Instance details Defined in Cardano.Ledger.State.Schema data EntityField Ptr typ = typ ~ PtrId ⇒ PtrId \| typ ~ DStateId ⇒ PtrDstateId \| typ ~ CredentialId ⇒ PtrCredentialId \| typ ~ Ptr ⇒ PtrPtr
newtype Key Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema newtype Key Ptr = PtrKey { unPtrKey ∷ BackendKey SqlBackend }
type PersistEntityBackend Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema type PersistEntityBackend Ptr = SqlBackend
data Unique Ptr Source #
Instance details Defined in Cardano.Ledger.State.Schema data Unique Ptr = UniquePtrPtr DStateId Ptr \| UniquePtrCredential DStateId CredentialId

type PtrId = Key Ptr 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 Source # data Key IRReserves Source # data EntityField IRReserves ∷ Type → Type Source # data Unique IRReserves Source # 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) Source # readList ∷ ReadS [Key IRReserves] Source # readPrec ∷ ReadPrec (Key IRReserves) Source # readListPrec ∷ ReadPrec [Key IRReserves] Source #
Show (Key IRReserves) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key IRReserves → ShowS Source # show ∷ Key IRReserves → String Source # showList ∷ [Key IRReserves] → ShowS Source #
Eq (Key IRReserves) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key IRReserves → Key IRReserves → Bool Source # (/=) ∷ Key IRReserves → Key IRReserves → Bool Source #
Ord (Key IRReserves) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key IRReserves → Key IRReserves → Ordering Source # (<) ∷ Key IRReserves → Key IRReserves → Bool Source # (<=) ∷ Key IRReserves → Key IRReserves → Bool Source # (>) ∷ Key IRReserves → Key IRReserves → Bool Source # (>=) ∷ Key IRReserves → Key IRReserves → Bool Source # max ∷ Key IRReserves → Key IRReserves → Key IRReserves Source # min ∷ Key IRReserves → Key IRReserves → Key IRReserves Source #
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 IRReservesId = Key IRReserves 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 Source # data Key IRTreasury Source # data EntityField IRTreasury ∷ Type → Type Source # data Unique IRTreasury Source # 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) Source # readList ∷ ReadS [Key IRTreasury] Source # readPrec ∷ ReadPrec (Key IRTreasury) Source # readListPrec ∷ ReadPrec [Key IRTreasury] Source #
Show (Key IRTreasury) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods showsPrec ∷ Int → Key IRTreasury → ShowS Source # show ∷ Key IRTreasury → String Source # showList ∷ [Key IRTreasury] → ShowS Source #
Eq (Key IRTreasury) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods (==) ∷ Key IRTreasury → Key IRTreasury → Bool Source # (/=) ∷ Key IRTreasury → Key IRTreasury → Bool Source #
Ord (Key IRTreasury) Source #
Instance details Defined in Cardano.Ledger.State.Schema Methods compare ∷ Key IRTreasury → Key IRTreasury → Ordering Source # (<) ∷ Key IRTreasury → Key IRTreasury → Bool Source # (<=) ∷ Key IRTreasury → Key IRTreasury → Bool Source # (>) ∷ Key IRTreasury → Key IRTreasury → Bool Source # (>=) ∷ Key IRTreasury → Key IRTreasury → Bool Source # max ∷ Key IRTreasury → Key IRTreasury → Key IRTreasury Source # min ∷ Key IRTreasury → Key IRTreasury → Key IRTreasury Source #
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 IRTreasuryId = Key IRTreasury Source #

migrateAll ∷ Migration Source #

entityDefListFormigrateAll ∷ [EntityDef] Source #