ouroboros-consensus-shelley-0.1.0.0: Shelley ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Ledger.Query

Synopsis

Documentation

data family Query blk :: Type -> Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details
SameDepIndex (Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

sameDepIndex :: Query (ShelleyBlock era) a -> Query (ShelleyBlock era) b -> Maybe (a :~: b) Source #

ShelleyBasedEra era => ShowQuery (Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showResult :: Query (ShelleyBlock era) result -> result -> String #

ShelleyBasedEra era => SerialiseResult (ShelleyBlock era) (Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

ShelleyBasedEra era => SerialiseNodeToClient (ShelleyBlock era) (SomeSecond Query (ShelleyBlock era)) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Node.Serialisation

Eq (Query (ShelleyBlock era) result) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

(==) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool #

(/=) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool #

SameDepIndex (Query blk) => Eq (SomeSecond Query blk) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Query

Methods

(==) :: SomeSecond Query blk -> SomeSecond Query blk -> Bool #

(/=) :: SomeSecond Query blk -> SomeSecond Query blk -> Bool #

Show (Query (ShelleyBlock era) result) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

Methods

showsPrec :: Int -> Query (ShelleyBlock era) result -> ShowS #

show :: Query (ShelleyBlock era) result -> String #

showList :: [Query (ShelleyBlock era) result] -> ShowS #

(forall result. Show (Query blk result)) => Show (SomeSecond Query blk) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Query

Typeable era => ShowProxy (Query (ShelleyBlock era) :: Type -> Type) Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

data Query (ShelleyBlock era) a Source # 
Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query

data Query (ShelleyBlock era) a where

querySupportedVersion :: Query (ShelleyBlock era) result -> ShelleyNodeToClientVersion -> Bool Source #

Is the given query supported by the given ShelleyNodeToClientVersion?

Serialisation

decodeShelleyResult :: ShelleyBasedEra era => Query (ShelleyBlock era) result -> forall s. Decoder s result Source #

Orphan instances

ShelleyBasedEra era => QueryLedger (ShelleyBlock era) Source # 
Instance details

Methods

answerQuery :: ExtLedgerCfg (ShelleyBlock era) -> Query (ShelleyBlock era) result -> ExtLedgerState (ShelleyBlock era) -> result Source #

SameDepIndex (Query (ShelleyBlock era)) Source # 
Instance details

Methods

sameDepIndex :: Query (ShelleyBlock era) a -> Query (ShelleyBlock era) b -> Maybe (a :~: b) Source #

ShelleyBasedEra era => ShowQuery (Query (ShelleyBlock era)) Source # 
Instance details

Methods

showResult :: Query (ShelleyBlock era) result -> result -> String #

Eq (Query (ShelleyBlock era) result) Source # 
Instance details

Methods

(==) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool #

(/=) :: Query (ShelleyBlock era) result -> Query (ShelleyBlock era) result -> Bool #

Show (Query (ShelleyBlock era) result) Source # 
Instance details

Methods

showsPrec :: Int -> Query (ShelleyBlock era) result -> ShowS #

show :: Query (ShelleyBlock era) result -> String #

showList :: [Query (ShelleyBlock era) result] -> ShowS #

Typeable era => ShowProxy (Query (ShelleyBlock era) :: Type -> Type) Source # 
Instance details