ledger-state-9.9.9.9
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.State.Schema

Documentation

type FGenDelegs = Enc (Map FutureGenDeleg GenDelegPair) Source #

type CredentialWitness = Credential 'Witness Source #

type KeyHashWitness = KeyHash 'Witness Source #

data EpochState Source #

Constructors

EpochState 

Fields

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 "nonMyopic" EpochState NonMyopic Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField EpochState NonMyopic 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 "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) #

readList ∷ ReadS [Key EpochState] #

readPrec ∷ ReadPrec (Key EpochState) #

readListPrec ∷ ReadPrec [Key EpochState] #

Show (Key EpochState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key EpochState → ShowS #

show ∷ Key EpochState → String #

showList ∷ [Key EpochState] → ShowS #

Eq (Key EpochState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key EpochState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key EpochState → Key EpochState → Ordering #

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

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

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

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

max ∷ Key EpochState → Key EpochState → Key EpochState #

min ∷ Key EpochState → Key EpochState → Key EpochState #

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
newtype Key EpochState Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key EpochState = EpochStateKey {}
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

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

readList ∷ ReadS [Key SnapShot] #

readPrec ∷ ReadPrec (Key SnapShot) #

readListPrec ∷ ReadPrec [Key SnapShot] #

Show (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShot → ShowS #

show ∷ Key SnapShot → String #

showList ∷ [Key SnapShot] → ShowS #

Eq (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShot → Key SnapShot → Ordering #

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

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

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

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

max ∷ Key SnapShot → Key SnapShot → Key SnapShot #

min ∷ Key SnapShot → Key SnapShot → Key SnapShot #

FromHttpApiData (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShot → Text Source #

toEncodedUrlPiece ∷ Key SnapShot → Builder Source #

toHeader ∷ Key SnapShot → ByteString Source #

toQueryParam ∷ Key SnapShot → Text Source #

toEncodedQueryParam ∷ Key SnapShot → Builder Source #

PathPiece (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShot) Source #

toPathPiece ∷ Key SnapShot → Text Source #

PersistField (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShot → PersistValue Source #

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

PersistFieldSql (Key SnapShot) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShot) → SqlType Source #

data EntityField SnapShot typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShot typ
newtype Key SnapShot Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShot = SnapShotKey {}
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

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 "govState" UtxoState (ConwayGovState CurrentEra) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoState (ConwayGovState CurrentEra) Source #

SymbolToField "id" UtxoState (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoState (Key UtxoState) Source #

FromJSON (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key UtxoState) Source #

parseJSONList ∷ Value → Parser [Key UtxoState] Source #

omittedField ∷ Maybe (Key UtxoState) Source #

ToJSON (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key UtxoState → Value Source #

toEncoding ∷ Key UtxoState → Encoding Source #

toJSONList ∷ [Key UtxoState] → Value Source #

toEncodingList ∷ [Key UtxoState] → Encoding Source #

omitField ∷ Key UtxoState → Bool Source #

Read (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key UtxoState) #

readList ∷ ReadS [Key UtxoState] #

readPrec ∷ ReadPrec (Key UtxoState) #

readListPrec ∷ ReadPrec [Key UtxoState] #

Show (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key UtxoState → ShowS #

show ∷ Key UtxoState → String #

showList ∷ [Key UtxoState] → ShowS #

Eq (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key UtxoState → Key UtxoState → Ordering #

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

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

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

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

max ∷ Key UtxoState → Key UtxoState → Key UtxoState #

min ∷ Key UtxoState → Key UtxoState → Key UtxoState #

FromHttpApiData (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key UtxoState → Text Source #

toEncodedUrlPiece ∷ Key UtxoState → Builder Source #

toHeader ∷ Key UtxoState → ByteString Source #

toQueryParam ∷ Key UtxoState → Text Source #

toEncodedQueryParam ∷ Key UtxoState → Builder Source #

PathPiece (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key UtxoState) Source #

toPathPiece ∷ Key UtxoState → Text Source #

PersistField (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key UtxoState → PersistValue Source #

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

PersistFieldSql (Key UtxoState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key UtxoState) → SqlType Source #

data EntityField UtxoState typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField UtxoState typ
newtype Key UtxoState Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key UtxoState = UtxoStateKey {}
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

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 "genDelegs" DState GenDelegs Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState GenDelegs Source #

SymbolToField "irDeltaReserves" DState DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState DeltaCoin Source #

SymbolToField "irDeltaTreasury" DState DeltaCoin Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState DeltaCoin Source #

SymbolToField "id" DState (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField DState (Key DState) Source #

FromJSON (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key DState) Source #

parseJSONList ∷ Value → Parser [Key DState] Source #

omittedField ∷ Maybe (Key DState) Source #

ToJSON (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key DState → Value Source #

toEncoding ∷ Key DState → Encoding Source #

toJSONList ∷ [Key DState] → Value Source #

toEncodingList ∷ [Key DState] → Encoding Source #

omitField ∷ Key DState → Bool Source #

Read (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key DState) #

readList ∷ ReadS [Key DState] #

readPrec ∷ ReadPrec (Key DState) #

readListPrec ∷ ReadPrec [Key DState] #

Show (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key DState → ShowS #

show ∷ Key DState → String #

showList ∷ [Key DState] → ShowS #

Eq (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key DState → Key DState → Ordering #

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

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

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

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

max ∷ Key DState → Key DState → Key DState #

min ∷ Key DState → Key DState → Key DState #

FromHttpApiData (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key DState → Text Source #

toEncodedUrlPiece ∷ Key DState → Builder Source #

toHeader ∷ Key DState → ByteString Source #

toQueryParam ∷ Key DState → Text Source #

toEncodedQueryParam ∷ Key DState → Builder Source #

PathPiece (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key DState) Source #

toPathPiece ∷ Key DState → Text Source #

PersistField (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key DState → PersistValue Source #

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

PersistFieldSql (Key DState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key DState) → SqlType Source #

data EntityField DState typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField DState typ
newtype Key DState Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key DState = DStateKey {}
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

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

readList ∷ ReadS [Key LedgerState] #

readPrec ∷ ReadPrec (Key LedgerState) #

readListPrec ∷ ReadPrec [Key LedgerState] #

Show (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key LedgerState → ShowS #

show ∷ Key LedgerState → String #

showList ∷ [Key LedgerState] → ShowS #

Eq (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key LedgerState → Key LedgerState → Ordering #

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

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

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

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

max ∷ Key LedgerState → Key LedgerState → Key LedgerState #

min ∷ Key LedgerState → Key LedgerState → Key LedgerState #

FromHttpApiData (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key LedgerState → Text Source #

toEncodedUrlPiece ∷ Key LedgerState → Builder Source #

toHeader ∷ Key LedgerState → ByteString Source #

toQueryParam ∷ Key LedgerState → Text Source #

toEncodedQueryParam ∷ Key LedgerState → Builder Source #

PathPiece (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key LedgerState) Source #

toPathPiece ∷ Key LedgerState → Text Source #

PersistField (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key LedgerState → PersistValue Source #

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

PersistFieldSql (Key LedgerState) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key LedgerState) → SqlType Source #

data EntityField LedgerState typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField LedgerState typ
newtype Key LedgerState Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key LedgerState = LedgerStateKey {}
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

type LedgerStateId = Key LedgerState Source #

data Credential Source #

Constructors

Credential 

Fields

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

readList ∷ ReadS [Key Credential] #

readPrec ∷ ReadPrec (Key Credential) #

readListPrec ∷ ReadPrec [Key Credential] #

Show (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Credential → ShowS #

show ∷ Key Credential → String #

showList ∷ [Key Credential] → ShowS #

Eq (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Credential → Key Credential → Ordering #

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

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

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

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

max ∷ Key Credential → Key Credential → Key Credential #

min ∷ Key Credential → Key Credential → Key Credential #

FromHttpApiData (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key Credential → Text Source #

toEncodedUrlPiece ∷ Key Credential → Builder Source #

toHeader ∷ Key Credential → ByteString Source #

toQueryParam ∷ Key Credential → Text Source #

toEncodedQueryParam ∷ Key Credential → Builder Source #

PathPiece (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key Credential) Source #

toPathPiece ∷ Key Credential → Text Source #

PersistField (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key Credential → PersistValue Source #

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

PersistFieldSql (Key Credential) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key Credential) → SqlType Source #

data EntityField Credential typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField Credential typ
newtype Key Credential Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Credential = CredentialKey {}
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

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

readList ∷ ReadS [Key SnapShotStake] #

readPrec ∷ ReadPrec (Key SnapShotStake) #

readListPrec ∷ ReadPrec [Key SnapShotStake] #

Show (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShotStake → ShowS #

show ∷ Key SnapShotStake → String #

showList ∷ [Key SnapShotStake] → ShowS #

Eq (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShotStake → Key SnapShotStake → Ordering #

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

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

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

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

max ∷ Key SnapShotStake → Key SnapShotStake → Key SnapShotStake #

min ∷ Key SnapShotStake → Key SnapShotStake → Key SnapShotStake #

FromHttpApiData (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShotStake → Text Source #

toEncodedUrlPiece ∷ Key SnapShotStake → Builder Source #

toHeader ∷ Key SnapShotStake → ByteString Source #

toQueryParam ∷ Key SnapShotStake → Text Source #

toEncodedQueryParam ∷ Key SnapShotStake → Builder Source #

PathPiece (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShotStake) Source #

toPathPiece ∷ Key SnapShotStake → Text Source #

PersistField (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShotStake → PersistValue Source #

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

PersistFieldSql (Key SnapShotStake) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShotStake) → SqlType Source #

data EntityField SnapShotStake typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShotStake typ
newtype Key SnapShotStake Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShotStake = SnapShotStakeKey {}
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

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

readList ∷ ReadS [Key KeyHash] #

readPrec ∷ ReadPrec (Key KeyHash) #

readListPrec ∷ ReadPrec [Key KeyHash] #

Show (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key KeyHash → ShowS #

show ∷ Key KeyHash → String #

showList ∷ [Key KeyHash] → ShowS #

Eq (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key KeyHash → Key KeyHash → Ordering #

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

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

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

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

max ∷ Key KeyHash → Key KeyHash → Key KeyHash #

min ∷ Key KeyHash → Key KeyHash → Key KeyHash #

FromHttpApiData (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key KeyHash → Text Source #

toEncodedUrlPiece ∷ Key KeyHash → Builder Source #

toHeader ∷ Key KeyHash → ByteString Source #

toQueryParam ∷ Key KeyHash → Text Source #

toEncodedQueryParam ∷ Key KeyHash → Builder Source #

PathPiece (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key KeyHash) Source #

toPathPiece ∷ Key KeyHash → Text Source #

PersistField (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key KeyHash → PersistValue Source #

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

PersistFieldSql (Key KeyHash) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key KeyHash) → SqlType Source #

data EntityField KeyHash typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField KeyHash typ
newtype Key KeyHash Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key KeyHash = KeyHashKey {}
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

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 "params" SnapShotPool PoolParams Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool PoolParams Source #

SymbolToField "snapShotId" SnapShotPool SnapShotId Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool SnapShotId Source #

SymbolToField "id" SnapShotPool (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField SnapShotPool (Key SnapShotPool) Source #

FromJSON (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key SnapShotPool) Source #

parseJSONList ∷ Value → Parser [Key SnapShotPool] Source #

omittedField ∷ Maybe (Key SnapShotPool) Source #

ToJSON (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key SnapShotPool → Value Source #

toEncoding ∷ Key SnapShotPool → Encoding Source #

toJSONList ∷ [Key SnapShotPool] → Value Source #

toEncodingList ∷ [Key SnapShotPool] → Encoding Source #

omitField ∷ Key SnapShotPool → Bool Source #

Read (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key SnapShotPool) #

readList ∷ ReadS [Key SnapShotPool] #

readPrec ∷ ReadPrec (Key SnapShotPool) #

readListPrec ∷ ReadPrec [Key SnapShotPool] #

Show (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShotPool → ShowS #

show ∷ Key SnapShotPool → String #

showList ∷ [Key SnapShotPool] → ShowS #

Eq (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShotPool → Key SnapShotPool → Ordering #

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

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

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

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

max ∷ Key SnapShotPool → Key SnapShotPool → Key SnapShotPool #

min ∷ Key SnapShotPool → Key SnapShotPool → Key SnapShotPool #

FromHttpApiData (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShotPool → Text Source #

toEncodedUrlPiece ∷ Key SnapShotPool → Builder Source #

toHeader ∷ Key SnapShotPool → ByteString Source #

toQueryParam ∷ Key SnapShotPool → Text Source #

toEncodedQueryParam ∷ Key SnapShotPool → Builder Source #

PathPiece (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShotPool) Source #

toPathPiece ∷ Key SnapShotPool → Text Source #

PersistField (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShotPool → PersistValue Source #

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

PersistFieldSql (Key SnapShotPool) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShotPool) → SqlType Source #

data EntityField SnapShotPool typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShotPool typ
newtype Key SnapShotPool Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShotPool = SnapShotPoolKey {}
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

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

readList ∷ ReadS [Key SnapShotDelegation] #

readPrec ∷ ReadPrec (Key SnapShotDelegation) #

readListPrec ∷ ReadPrec [Key SnapShotDelegation] #

Show (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key SnapShotDelegation → ShowS #

show ∷ Key SnapShotDelegation → String #

showList ∷ [Key SnapShotDelegation] → ShowS #

Eq (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key SnapShotDelegation → Key SnapShotDelegation → Ordering #

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

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

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

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

max ∷ Key SnapShotDelegation → Key SnapShotDelegation → Key SnapShotDelegation #

min ∷ Key SnapShotDelegation → Key SnapShotDelegation → Key SnapShotDelegation #

FromHttpApiData (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key SnapShotDelegation → Text Source #

toEncodedUrlPiece ∷ Key SnapShotDelegation → Builder Source #

toHeader ∷ Key SnapShotDelegation → ByteString Source #

toQueryParam ∷ Key SnapShotDelegation → Text Source #

toEncodedQueryParam ∷ Key SnapShotDelegation → Builder Source #

PathPiece (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key SnapShotDelegation) Source #

toPathPiece ∷ Key SnapShotDelegation → Text Source #

PersistField (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key SnapShotDelegation → PersistValue Source #

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

PersistFieldSql (Key SnapShotDelegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key SnapShotDelegation) → SqlType Source #

data EntityField SnapShotDelegation typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField SnapShotDelegation typ
newtype Key SnapShotDelegation Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key SnapShotDelegation = SnapShotDelegationKey {}
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

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 "inId" Tx TxId Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx TxId Source #

SymbolToField "inIx" Tx TxIx Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx TxIx Source #

SymbolToField "txId" UtxoEntry TxId Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry TxId Source #

SymbolToField "id" Tx (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx (Key Tx) Source #

SymbolToField "out" Tx (BabbageTxOut CurrentEra) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Tx (BabbageTxOut CurrentEra) Source #

FromJSON (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key Tx) Source #

parseJSONList ∷ Value → Parser [Key Tx] Source #

omittedField ∷ Maybe (Key Tx) Source #

ToJSON (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key Tx → Value Source #

toEncoding ∷ Key Tx → Encoding Source #

toJSONList ∷ [Key Tx] → Value Source #

toEncodingList ∷ [Key Tx] → Encoding Source #

omitField ∷ Key Tx → Bool Source #

Read (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key Tx) #

readList ∷ ReadS [Key Tx] #

readPrec ∷ ReadPrec (Key Tx) #

readListPrec ∷ ReadPrec [Key Tx] #

Show (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Tx → ShowS #

show ∷ Key Tx → String #

showList ∷ [Key Tx] → ShowS #

Eq (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Tx → Key Tx → Ordering #

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

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

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

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

max ∷ Key Tx → Key Tx → Key Tx #

min ∷ Key Tx → Key Tx → Key Tx #

FromHttpApiData (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key Tx → Text Source #

toEncodedUrlPiece ∷ Key Tx → Builder Source #

toHeader ∷ Key Tx → ByteString Source #

toQueryParam ∷ Key Tx → Text Source #

toEncodedQueryParam ∷ Key Tx → Builder Source #

PathPiece (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key Tx) Source #

toPathPiece ∷ Key Tx → Text Source #

PersistField (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key Tx → PersistValue Source #

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

PersistFieldSql (Key Tx) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key Tx) → SqlType Source #

data EntityField Tx typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField Tx typ
newtype Key Tx Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Tx = TxKey {}
type PersistEntityBackend Tx Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend Tx = SqlBackend
data Unique Tx Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data Unique Tx = UniqueTx TxIx TxId

type TxId = Key Tx Source #

data Txs Source #

Constructors

Txs 

Fields

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 "inId" Txs TxId Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs TxId Source #

SymbolToField "inIx" Txs TxIx Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs TxIx Source #

SymbolToField "txsId" UtxoEntry TxsId Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField UtxoEntry TxsId Source #

SymbolToField "id" Txs (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs (Key Txs) Source #

SymbolToField "out" Txs (BabbageTxOut CurrentEra) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs (BabbageTxOut CurrentEra) Source #

SymbolToField "stakeCredential" Txs (Maybe CredentialId) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

symbolToField ∷ EntityField Txs (Maybe CredentialId) Source #

FromJSON (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

parseJSON ∷ Value → Parser (Key Txs) Source #

parseJSONList ∷ Value → Parser [Key Txs] Source #

omittedField ∷ Maybe (Key Txs) Source #

ToJSON (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toJSON ∷ Key Txs → Value Source #

toEncoding ∷ Key Txs → Encoding Source #

toJSONList ∷ [Key Txs] → Value Source #

toEncodingList ∷ [Key Txs] → Encoding Source #

omitField ∷ Key Txs → Bool Source #

Read (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

readsPrec ∷ Int → ReadS (Key Txs) #

readList ∷ ReadS [Key Txs] #

readPrec ∷ ReadPrec (Key Txs) #

readListPrec ∷ ReadPrec [Key Txs] #

Show (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Txs → ShowS #

show ∷ Key Txs → String #

showList ∷ [Key Txs] → ShowS #

Eq (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Txs → Key Txs → Ordering #

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

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

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

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

max ∷ Key Txs → Key Txs → Key Txs #

min ∷ Key Txs → Key Txs → Key Txs #

FromHttpApiData (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key Txs → Text Source #

toEncodedUrlPiece ∷ Key Txs → Builder Source #

toHeader ∷ Key Txs → ByteString Source #

toQueryParam ∷ Key Txs → Text Source #

toEncodedQueryParam ∷ Key Txs → Builder Source #

PathPiece (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key Txs) Source #

toPathPiece ∷ Key Txs → Text Source #

PersistField (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key Txs → PersistValue Source #

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

PersistFieldSql (Key Txs) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key Txs) → SqlType Source #

data EntityField Txs typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField Txs typ
newtype Key Txs Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Txs = TxsKey {}
type PersistEntityBackend Txs Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

type PersistEntityBackend Txs = SqlBackend
data Unique Txs Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data Unique Txs = UniqueTxs TxIx TxId

type TxsId = Key Txs Source #

data UtxoEntry Source #

Constructors

UtxoEntry 

Fields

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

readList ∷ ReadS [Key UtxoEntry] #

readPrec ∷ ReadPrec (Key UtxoEntry) #

readListPrec ∷ ReadPrec [Key UtxoEntry] #

Show (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key UtxoEntry → ShowS #

show ∷ Key UtxoEntry → String #

showList ∷ [Key UtxoEntry] → ShowS #

Eq (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key UtxoEntry → Key UtxoEntry → Ordering #

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

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

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

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

max ∷ Key UtxoEntry → Key UtxoEntry → Key UtxoEntry #

min ∷ Key UtxoEntry → Key UtxoEntry → Key UtxoEntry #

FromHttpApiData (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key UtxoEntry → Text Source #

toEncodedUrlPiece ∷ Key UtxoEntry → Builder Source #

toHeader ∷ Key UtxoEntry → ByteString Source #

toQueryParam ∷ Key UtxoEntry → Text Source #

toEncodedQueryParam ∷ Key UtxoEntry → Builder Source #

PathPiece (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key UtxoEntry) Source #

toPathPiece ∷ Key UtxoEntry → Text Source #

PersistField (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key UtxoEntry → PersistValue Source #

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

PersistFieldSql (Key UtxoEntry) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key UtxoEntry) → SqlType Source #

data EntityField UtxoEntry typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField UtxoEntry typ
newtype Key UtxoEntry Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key UtxoEntry = UtxoEntryKey {}
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

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

readList ∷ ReadS [Key Reward] #

readPrec ∷ ReadPrec (Key Reward) #

readListPrec ∷ ReadPrec [Key Reward] #

Show (Key Reward) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Reward → ShowS #

show ∷ Key Reward → String #

showList ∷ [Key Reward] → ShowS #

Eq (Key Reward) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key Reward) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Reward → Key Reward → Ordering #

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

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

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

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

max ∷ Key Reward → Key Reward → Key Reward #

min ∷ Key Reward → Key Reward → Key Reward #

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
newtype Key Reward Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Reward = RewardKey {}
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

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

readList ∷ ReadS [Key Delegation] #

readPrec ∷ ReadPrec (Key Delegation) #

readListPrec ∷ ReadPrec [Key Delegation] #

Show (Key Delegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Delegation → ShowS #

show ∷ Key Delegation → String #

showList ∷ [Key Delegation] → ShowS #

Eq (Key Delegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key Delegation) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Delegation → Key Delegation → Ordering #

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

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

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

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

max ∷ Key Delegation → Key Delegation → Key Delegation #

min ∷ Key Delegation → Key Delegation → Key Delegation #

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
newtype Key Delegation Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Delegation = DelegationKey {}
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

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

readList ∷ ReadS [Key DRep] #

readPrec ∷ ReadPrec (Key DRep) #

readListPrec ∷ ReadPrec [Key DRep] #

Show (Key DRep) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key DRep → ShowS #

show ∷ Key DRep → String #

showList ∷ [Key DRep] → ShowS #

Eq (Key DRep) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key DRep) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key DRep → Key DRep → Ordering #

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

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

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

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

max ∷ Key DRep → Key DRep → Key DRep #

min ∷ Key DRep → Key DRep → Key DRep #

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
newtype Key DRep Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key DRep = DRepKey {}
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

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

readList ∷ ReadS [Key Ptr] #

readPrec ∷ ReadPrec (Key Ptr) #

readListPrec ∷ ReadPrec [Key Ptr] #

Show (Key Ptr) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key Ptr → ShowS #

show ∷ Key Ptr → String #

showList ∷ [Key Ptr] → ShowS #

Eq (Key Ptr) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key Ptr) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key Ptr → Key Ptr → Ordering #

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

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

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

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

max ∷ Key Ptr → Key Ptr → Key Ptr #

min ∷ Key Ptr → Key Ptr → Key Ptr #

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
newtype Key Ptr Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key Ptr = PtrKey {}
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

type PtrId = Key Ptr Source #

data IRReserves Source #

Constructors

IRReserves 

Fields

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

readList ∷ ReadS [Key IRReserves] #

readPrec ∷ ReadPrec (Key IRReserves) #

readListPrec ∷ ReadPrec [Key IRReserves] #

Show (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key IRReserves → ShowS #

show ∷ Key IRReserves → String #

showList ∷ [Key IRReserves] → ShowS #

Eq (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key IRReserves → Key IRReserves → Ordering #

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

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

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

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

max ∷ Key IRReserves → Key IRReserves → Key IRReserves #

min ∷ Key IRReserves → Key IRReserves → Key IRReserves #

FromHttpApiData (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key IRReserves → Text Source #

toEncodedUrlPiece ∷ Key IRReserves → Builder Source #

toHeader ∷ Key IRReserves → ByteString Source #

toQueryParam ∷ Key IRReserves → Text Source #

toEncodedQueryParam ∷ Key IRReserves → Builder Source #

PathPiece (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key IRReserves) Source #

toPathPiece ∷ Key IRReserves → Text Source #

PersistField (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key IRReserves → PersistValue Source #

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

PersistFieldSql (Key IRReserves) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key IRReserves) → SqlType Source #

data EntityField IRReserves typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField IRReserves typ
newtype Key IRReserves Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key IRReserves = IRReservesKey {}
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

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

readList ∷ ReadS [Key IRTreasury] #

readPrec ∷ ReadPrec (Key IRTreasury) #

readListPrec ∷ ReadPrec [Key IRTreasury] #

Show (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

showsPrec ∷ Int → Key IRTreasury → ShowS #

show ∷ Key IRTreasury → String #

showList ∷ [Key IRTreasury] → ShowS #

Eq (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

Ord (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

compare ∷ Key IRTreasury → Key IRTreasury → Ordering #

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

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

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

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

max ∷ Key IRTreasury → Key IRTreasury → Key IRTreasury #

min ∷ Key IRTreasury → Key IRTreasury → Key IRTreasury #

FromHttpApiData (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

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

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

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

ToHttpApiData (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toUrlPiece ∷ Key IRTreasury → Text Source #

toEncodedUrlPiece ∷ Key IRTreasury → Builder Source #

toHeader ∷ Key IRTreasury → ByteString Source #

toQueryParam ∷ Key IRTreasury → Text Source #

toEncodedQueryParam ∷ Key IRTreasury → Builder Source #

PathPiece (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

fromPathPiece ∷ Text → Maybe (Key IRTreasury) Source #

toPathPiece ∷ Key IRTreasury → Text Source #

PersistField (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

toPersistValue ∷ Key IRTreasury → PersistValue Source #

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

PersistFieldSql (Key IRTreasury) Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

Methods

sqlType ∷ Proxy (Key IRTreasury) → SqlType Source #

data EntityField IRTreasury typ Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

data EntityField IRTreasury typ
newtype Key IRTreasury Source # 
Instance details

Defined in Cardano.Ledger.State.Schema

newtype Key IRTreasury = IRTreasuryKey {}
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 #