plutus-ledger-api-0.1.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellNone
LanguageHaskell2010

Plutus.V1.Ledger.Slot

Description

Slots and slot ranges.

Synopsis

Documentation

newtype Slot Source #

The slot number. This is a good proxy for time, since on the Cardano blockchain slots pass at a constant rate.

Constructors

Slot 

Fields

Instances

Instances details
Enum Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Eq Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

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

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

Integral Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Data Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Slot -> c Slot Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Slot Source #

toConstr :: Slot -> Constr Source #

dataTypeOf :: Slot -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Slot) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Slot) Source #

gmapT :: (forall b. Data b => b -> b) -> Slot -> Slot Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Slot -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Slot -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Slot -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Slot -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Slot -> m Slot Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Slot -> m Slot Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Slot -> m Slot Source #

Num Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Ord Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Real Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Show Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Generic Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Associated Types

type Rep Slot :: Type -> Type Source #

Methods

from :: Slot -> Rep Slot x Source #

to :: Rep Slot x -> Slot Source #

Hashable Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

ToJSON Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

ToJSONKey Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

FromJSON Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

FromJSONKey Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

NFData Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

rnf :: Slot -> () Source #

Pretty Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

pretty :: Slot -> Doc ann Source #

prettyList :: [Slot] -> Doc ann Source #

Enum Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

ToData Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

FromData Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

UnsafeFromData Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

AdditiveSemigroup Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

(+) :: Slot -> Slot -> Slot Source #

AdditiveMonoid Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

zero :: Slot Source #

AdditiveGroup Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

(-) :: Slot -> Slot -> Slot Source #

Ord Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Eq Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Methods

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

Serialise Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Lift DefaultUni Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

Typeable DefaultUni Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

type Rep Slot Source # 
Instance details

Defined in Plutus.V1.Ledger.Slot

type Rep Slot = D1 ('MetaData "Slot" "Plutus.V1.Ledger.Slot" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "Slot" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

width :: SlotRange -> Maybe Integer Source #

Number of Slots covered by the interval, if finite. width (from x) == Nothing.