cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe Haskell None
Language Haskell2010

Cardano.Ledger.ShelleyMA.Timelocks

Synopsis

Documentation

data Timelock crypto where Source #

Bundled Patterns

pattern RequireSignature :: Crypto crypto => KeyHash ' Witness crypto -> Timelock crypto
pattern RequireAllOf :: Crypto crypto => StrictSeq ( Timelock crypto) -> Timelock crypto
pattern RequireAnyOf :: Crypto crypto => StrictSeq ( Timelock crypto) -> Timelock crypto
pattern RequireMOf :: Crypto crypto => Int -> StrictSeq ( Timelock crypto) -> Timelock crypto
pattern RequireTimeExpire :: Crypto crypto => SlotNo -> Timelock crypto
pattern RequireTimeStart :: Crypto crypto => SlotNo -> Timelock crypto

Instances

Instances details
Eq ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

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

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

Ord ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

compare :: Timelock crypto -> Timelock crypto -> Ordering Source #

(<) :: Timelock crypto -> Timelock crypto -> Bool Source #

(<=) :: Timelock crypto -> Timelock crypto -> Bool Source #

(>) :: Timelock crypto -> Timelock crypto -> Bool Source #

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

max :: Timelock crypto -> Timelock crypto -> Timelock crypto Source #

min :: Timelock crypto -> Timelock crypto -> Timelock crypto Source #

Show ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

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

show :: Timelock crypto -> String Source #

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

Generic ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Associated Types

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

Methods

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

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

NFData ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

rnf :: Timelock crypto -> () Source #

Typeable crypto => ToCBOR ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

toCBOR :: Timelock crypto -> Encoding Source #

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

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

Crypto crypto => FromCBOR ( Annotator ( Timelock crypto)) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

fromCBOR :: Decoder s ( Annotator ( Timelock crypto)) Source #

label :: Proxy ( Annotator ( Timelock crypto)) -> Text Source #

SafeToHash ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

originalBytes :: Timelock crypto -> ByteString Source #

makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Timelock crypto -> SafeHash c index Source #

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

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

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

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

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

type Rep ( Timelock crypto) Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

type Rep ( Timelock crypto)

pattern TimelockConstr :: MemoBytes (TimelockRaw crypto) -> Timelock crypto Source #

inInterval :: SlotNo -> ValidityInterval -> Bool Source #

Test if a slot is in the Validity interval. Recall that a ValidityInterval is a half Open interval, that is why we use (slot < top)

showTimelock :: Crypto crypto => Timelock crypto -> String Source #

evalTimelock :: Crypto crypto => Set ( KeyHash ' Witness crypto) -> ValidityInterval -> Timelock crypto -> Bool Source #

validateTimelock :: forall era. ( UsesTxBody era, HasField "vldt" ( TxBody era) ValidityInterval , HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness ( Crypto era)))) => Timelock ( Crypto era) -> Tx era -> Bool Source #

data ValidityInterval Source #

ValidityInterval is a half open interval. Closed on the bottom, Open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity

Constructors

ValidityInterval

Fields

Instances

Instances details
Eq ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

(==) :: ValidityInterval -> ValidityInterval -> Bool Source #

(/=) :: ValidityInterval -> ValidityInterval -> Bool Source #

Ord ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

compare :: ValidityInterval -> ValidityInterval -> Ordering Source #

(<) :: ValidityInterval -> ValidityInterval -> Bool Source #

(<=) :: ValidityInterval -> ValidityInterval -> Bool Source #

(>) :: ValidityInterval -> ValidityInterval -> Bool Source #

(>=) :: ValidityInterval -> ValidityInterval -> Bool Source #

max :: ValidityInterval -> ValidityInterval -> ValidityInterval Source #

min :: ValidityInterval -> ValidityInterval -> ValidityInterval Source #

Show ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

showsPrec :: Int -> ValidityInterval -> ShowS Source #

show :: ValidityInterval -> String Source #

showList :: [ ValidityInterval ] -> ShowS Source #

Generic ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Associated Types

type Rep ValidityInterval :: Type -> Type Source #

Methods

from :: ValidityInterval -> Rep ValidityInterval x Source #

to :: Rep ValidityInterval x -> ValidityInterval Source #

NFData ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

rnf :: ValidityInterval -> () Source #

ToCBOR ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

toCBOR :: ValidityInterval -> Encoding Source #

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

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

FromCBOR ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

fromCBOR :: Decoder s ValidityInterval Source #

label :: Proxy ValidityInterval -> Text Source #

NoThunks ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

Methods

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

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

showTypeOf :: Proxy ValidityInterval -> String Source #

HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.TxBody

Methods

getField :: TxBody era -> ValidityInterval Source #

type Rep ValidityInterval Source #
Instance details

Defined in Cardano.Ledger.ShelleyMA.Timelocks

type Rep ValidityInterval = D1 (' MetaData "ValidityInterval" "Cardano.Ledger.ShelleyMA.Timelocks" "cardano-ledger-shelley-ma-0.1.0.0-IyXhkyY7R1xGIgXdNlolP6" ' False ) ( C1 (' MetaCons "ValidityInterval" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "invalidBefore") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe SlotNo )) :*: S1 (' MetaSel (' Just "invalidHereafter") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StrictMaybe SlotNo ))))

encodeVI :: ValidityInterval -> Encode (' Closed ' Dense ) ValidityInterval Source #

decodeVI :: Decode (' Closed ' Dense ) ValidityInterval Source #

translate :: Crypto crypto => MultiSig crypto -> Timelock crypto Source #