cardano-ledger-shelley-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Shelley.EpochBoundary

Description

This modules implements the necessary functions for the changes that can happen at epoch boundaries.

Synopsis

Documentation

newtype Stake crypto Source #

Type of stake as map from hash key to coins associated.

Constructors

Stake

Fields

Instances

Instances details
Eq ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

(==) :: Stake crypto -> Stake crypto -> Bool Source #

(/=) :: Stake crypto -> Stake crypto -> Bool Source #

Show ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

showsPrec :: Int -> Stake crypto -> ShowS Source #

show :: Stake crypto -> String Source #

showList :: [ Stake crypto] -> ShowS Source #

Generic ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Rep ( Stake crypto) :: Type -> Type Source #

Methods

from :: Stake crypto -> Rep ( Stake crypto) x Source #

to :: Rep ( Stake crypto) x -> Stake crypto Source #

NFData ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

rnf :: Stake crypto -> () Source #

Crypto crypto => ToCBOR ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

toCBOR :: Stake crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Stake crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Stake crypto] -> Size Source #

Crypto crypto => FromSharedCBOR ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Share ( Stake crypto) Source #

Methods

getShare :: Stake crypto -> Share ( Stake crypto) Source #

fromSharedCBOR :: Share ( Stake crypto) -> Decoder s ( Stake crypto) Source #

fromSharedPlusCBOR :: StateT ( Share ( Stake crypto)) ( Decoder s) ( Stake crypto) Source #

Typeable crypto => NoThunks ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

noThunks :: Context -> Stake crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Stake crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( Stake crypto) -> String Source #

type Rep ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Rep ( Stake crypto) = D1 (' MetaData "Stake" "Cardano.Ledger.Shelley.EpochBoundary" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "Stake" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unStake") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( VMap VB VP ( Credential ' Staking crypto) ( CompactForm Coin )))))
type Share ( Stake crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Share ( Stake crypto) = Share ( VMap VB VP ( Credential ' Staking crypto) ( CompactForm Coin ))

sumAllStake :: Stake crypto -> Coin Source #

sumStakePerPool :: VMap VB VB ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) -> Stake crypto -> Map ( KeyHash ' StakePool crypto) Coin Source #

data SnapShot crypto Source #

Snapshot of the stake distribution.

Constructors

SnapShot

Fields

Instances

Instances details
Eq ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

(==) :: SnapShot crypto -> SnapShot crypto -> Bool Source #

(/=) :: SnapShot crypto -> SnapShot crypto -> Bool Source #

Show ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

showsPrec :: Int -> SnapShot crypto -> ShowS Source #

show :: SnapShot crypto -> String Source #

showList :: [ SnapShot crypto] -> ShowS Source #

Generic ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Rep ( SnapShot crypto) :: Type -> Type Source #

Methods

from :: SnapShot crypto -> Rep ( SnapShot crypto) x Source #

to :: Rep ( SnapShot crypto) x -> SnapShot crypto Source #

NFData ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

rnf :: SnapShot crypto -> () Source #

Crypto crypto => ToCBOR ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

toCBOR :: SnapShot crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SnapShot crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SnapShot crypto] -> Size Source #

Crypto crypto => FromSharedCBOR ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Share ( SnapShot crypto) Source #

Methods

getShare :: SnapShot crypto -> Share ( SnapShot crypto) Source #

fromSharedCBOR :: Share ( SnapShot crypto) -> Decoder s ( SnapShot crypto) Source #

fromSharedPlusCBOR :: StateT ( Share ( SnapShot crypto)) ( Decoder s) ( SnapShot crypto) Source #

Typeable crypto => NoThunks ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

noThunks :: Context -> SnapShot crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> SnapShot crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( SnapShot crypto) -> String Source #

type Rep ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Rep ( SnapShot crypto) = D1 (' MetaData "SnapShot" "Cardano.Ledger.Shelley.EpochBoundary" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "SnapShot" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_stake") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Stake crypto)) :*: ( S1 (' MetaSel (' Just "_delegations") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VMap VB VB ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto))) :*: S1 (' MetaSel (' Just "_poolParams") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( VMap VB VB ( KeyHash ' StakePool crypto) ( PoolParams crypto))))))
type Share ( SnapShot crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Share ( SnapShot crypto) = ( Interns ( Credential ' Staking crypto), Interns ( KeyHash ' StakePool crypto))

data SnapShots crypto Source #

Snapshots of the stake distribution.

Constructors

SnapShots

Fields

Instances

Instances details
Eq ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

(==) :: SnapShots crypto -> SnapShots crypto -> Bool Source #

(/=) :: SnapShots crypto -> SnapShots crypto -> Bool Source #

Show ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

showsPrec :: Int -> SnapShots crypto -> ShowS Source #

show :: SnapShots crypto -> String Source #

showList :: [ SnapShots crypto] -> ShowS Source #

Generic ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Rep ( SnapShots crypto) :: Type -> Type Source #

Methods

from :: SnapShots crypto -> Rep ( SnapShots crypto) x Source #

to :: Rep ( SnapShots crypto) x -> SnapShots crypto Source #

NFData ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

rnf :: SnapShots crypto -> () Source #

Crypto crypto => ToCBOR ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

toCBOR :: SnapShots crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( SnapShots crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SnapShots crypto] -> Size Source #

Crypto crypto => FromSharedCBOR ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Associated Types

type Share ( SnapShots crypto) Source #

Methods

getShare :: SnapShots crypto -> Share ( SnapShots crypto) Source #

fromSharedCBOR :: Share ( SnapShots crypto) -> Decoder s ( SnapShots crypto) Source #

fromSharedPlusCBOR :: StateT ( Share ( SnapShots crypto)) ( Decoder s) ( SnapShots crypto) Source #

Default ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

def :: SnapShots crypto Source #

Typeable crypto => NoThunks ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

Methods

noThunks :: Context -> SnapShots crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> SnapShots crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( SnapShots crypto) -> String Source #

type Rep ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Rep ( SnapShots crypto) = D1 (' MetaData "SnapShots" "Cardano.Ledger.Shelley.EpochBoundary" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "SnapShots" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "_pstakeMark") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SnapShot crypto)) :*: S1 (' MetaSel (' Just "_pstakeSet") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SnapShot crypto))) :*: ( S1 (' MetaSel (' Just "_pstakeGo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SnapShot crypto)) :*: S1 (' MetaSel (' Just "_feeSS") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Coin ))))
type Share ( SnapShots crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.EpochBoundary

type Share ( SnapShots crypto) = Share ( SnapShot crypto)

emptySnapShot :: SnapShot crypto Source #

emptySnapShots :: SnapShots crypto Source #

poolStake :: KeyHash ' StakePool crypto -> VMap VB VB ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) -> Stake crypto -> Stake crypto Source #

Get stake of one pool

obligation :: forall crypto pp anymap. ( HasField "_keyDeposit" pp Coin , HasField "_poolDeposit" pp Coin , Foldable (anymap ( Credential ' Staking crypto))) => pp -> anymap ( Credential ' Staking crypto) Coin -> Map ( KeyHash ' StakePool crypto) ( PoolParams crypto) -> Coin Source #

Calculate total possible refunds.

maxPool :: ( HasField "_a0" pp NonNegativeInterval , HasField "_nOpt" pp Natural ) => pp -> Coin -> Rational -> Rational -> Coin Source #

Version of maxPool' that extracts a0 and nOpt from a PParam with the right HasField instances

maxPool' :: NonNegativeInterval -> Natural -> Coin -> Rational -> Rational -> Coin Source #

Calculate maximal pool reward