Safe Haskell	None
Language	Haskell2010

Ledger.Slot

Contents

Orphan instances

Description

Slots and slot ranges.

Synopsis

newtype Slot = Slot {
- getSlot :: Integer
}
type SlotRange = Interval Slot
width :: SlotRange -> Maybe Integer

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 getSlot :: Integer

Instances

Instances details

Enum Slot Source #
Instance details Defined in Ledger.Slot Methods succ :: Slot -> Slot Source # pred :: Slot -> Slot Source # toEnum :: Int -> Slot Source # fromEnum :: Slot -> Int Source # enumFrom :: Slot -> [Slot] Source # enumFromThen :: Slot -> Slot -> [Slot] Source # enumFromTo :: Slot -> Slot -> [Slot] Source # enumFromThenTo :: Slot -> Slot -> Slot -> [Slot] Source #
Eq Slot Source #
Instance details Defined in Ledger.Slot Methods (==) :: Slot -> Slot -> Bool Source # (/=) :: Slot -> Slot -> Bool Source #
Integral Slot Source #
Instance details Defined in Ledger.Slot Methods quot :: Slot -> Slot -> Slot Source # rem :: Slot -> Slot -> Slot Source # div :: Slot -> Slot -> Slot Source # mod :: Slot -> Slot -> Slot Source # quotRem :: Slot -> Slot -> (Slot, Slot) Source # divMod :: Slot -> Slot -> (Slot, Slot) Source # toInteger :: Slot -> Integer Source #
Data Slot Source #
Instance details Defined in 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 Ledger.Slot Methods (+) :: Slot -> Slot -> Slot Source # (-) :: Slot -> Slot -> Slot Source # (*) :: Slot -> Slot -> Slot Source # negate :: Slot -> Slot Source # abs :: Slot -> Slot Source # signum :: Slot -> Slot Source # fromInteger :: Integer -> Slot Source #
Ord Slot Source #
Instance details Defined in Ledger.Slot Methods compare :: Slot -> Slot -> Ordering Source # (<) :: Slot -> Slot -> Bool Source # (<=) :: Slot -> Slot -> Bool Source # (>) :: Slot -> Slot -> Bool Source # (>=) :: Slot -> Slot -> Bool Source # max :: Slot -> Slot -> Slot Source # min :: Slot -> Slot -> Slot Source #
Real Slot Source #
Instance details Defined in Ledger.Slot Methods toRational :: Slot -> Rational Source #
Show Slot Source #
Instance details Defined in Ledger.Slot Methods showsPrec :: Int -> Slot -> ShowS Source # show :: Slot -> String Source # showList :: [Slot] -> ShowS Source #
Generic Slot Source #
Instance details Defined in Ledger.Slot Associated Types type Rep Slot :: Type -> Type Source # Methods from :: Slot -> Rep Slot x Source # to :: Rep Slot x -> Slot Source #
NFData Slot Source #
Instance details Defined in Ledger.Slot Methods rnf :: Slot -> () Source #
Hashable Slot Source #
Instance details Defined in Ledger.Slot Methods hashWithSalt :: Int -> Slot -> Int Source # hash :: Slot -> Int Source #
ToJSON Slot Source #
Instance details Defined in Ledger.Slot Methods toJSON :: Slot -> Value Source # toEncoding :: Slot -> Encoding Source # toJSONList :: [Slot] -> Value Source # toEncodingList :: [Slot] -> Encoding Source #
ToJSONKey Slot Source #
Instance details Defined in Ledger.Slot Methods toJSONKey :: ToJSONKeyFunction Slot Source # toJSONKeyList :: ToJSONKeyFunction [Slot] Source #
FromJSON Slot Source #
Instance details Defined in Ledger.Slot Methods parseJSON :: Value -> Parser Slot Source # parseJSONList :: Value -> Parser [Slot] Source #
FromJSONKey Slot Source #
Instance details Defined in Ledger.Slot Methods fromJSONKey :: FromJSONKeyFunction Slot Source # fromJSONKeyList :: FromJSONKeyFunction [Slot] Source #
ToSchema Slot Source #
Instance details Defined in Ledger.Orphans Methods declareNamedSchema :: Proxy Slot -> Declare (Definitions Schema) NamedSchema Source #
Pretty Slot Source #
Instance details Defined in Ledger.Slot Methods pretty :: Slot -> Doc ann Source # prettyList :: [Slot] -> Doc ann Source #
Serialise Slot Source #
Instance details Defined in Ledger.Slot Methods encode :: Slot -> Encoding Source # decode :: Decoder s Slot Source # encodeList :: [Slot] -> Encoding Source # decodeList :: Decoder s [Slot] Source #
UnsafeFromData Slot Source #
Instance details Defined in Ledger.Slot Methods unsafeFromBuiltinData :: BuiltinData -> Slot Source #
FromData Slot Source #
Instance details Defined in Ledger.Slot Methods fromBuiltinData :: BuiltinData -> Maybe Slot Source #
ToData Slot Source #
Instance details Defined in Ledger.Slot Methods toBuiltinData :: Slot -> BuiltinData Source #
Enum Slot Source #
Instance details Defined in Ledger.Slot Methods succ :: Slot -> Slot Source # pred :: Slot -> Slot Source # toEnum :: Integer -> Slot Source # fromEnum :: Slot -> Integer Source #
AdditiveSemigroup Slot Source #
Instance details Defined in Ledger.Slot Methods (+) :: Slot -> Slot -> Slot Source #
AdditiveMonoid Slot Source #
Instance details Defined in Ledger.Slot Methods zero :: Slot Source #
AdditiveGroup Slot Source #
Instance details Defined in Ledger.Slot Methods (-) :: Slot -> Slot -> Slot Source #
Ord Slot Source #
Instance details Defined in Ledger.Slot Methods compare :: Slot -> Slot -> Ordering Source # (<) :: Slot -> Slot -> Bool Source # (<=) :: Slot -> Slot -> Bool Source # (>) :: Slot -> Slot -> Bool Source # (>=) :: Slot -> Slot -> Bool Source # max :: Slot -> Slot -> Slot Source # min :: Slot -> Slot -> Slot Source #
Eq Slot Source #
Instance details Defined in Ledger.Slot Methods (==) :: Slot -> Slot -> Bool Source #
Lift DefaultUni Slot Source #
Instance details Defined in Ledger.Slot Methods lift :: Slot -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Slot Source #
Instance details Defined in Ledger.Slot Methods typeRep :: Proxy Slot -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Slot Source #
Instance details Defined in Ledger.Slot type Rep Slot = D1 ('MetaData "Slot" "Ledger.Slot" "plutus-ledger-1.1.0.0-JskZbcPMCdRJVHaAZ0to82" 'True) (C1 ('MetaCons "Slot" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

type SlotRange = Interval Slot Source #

An Interval of Slots.

width :: SlotRange -> Maybe Integer Source #

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

Orphan instances

Hashable a => Hashable (Interval a) Source #
Instance details Methods hashWithSalt :: Int -> Interval a -> Int Source # hash :: Interval a -> Int Source #
Hashable a => Hashable (Extended a) Source #
Instance details Methods hashWithSalt :: Int -> Extended a -> Int Source # hash :: Extended a -> Int Source #
Hashable a => Hashable (UpperBound a) Source #
Instance details Methods hashWithSalt :: Int -> UpperBound a -> Int Source # hash :: UpperBound a -> Int Source #
Hashable a => Hashable (LowerBound a) Source #
Instance details Methods hashWithSalt :: Int -> LowerBound a -> Int Source # hash :: LowerBound a -> Int Source #
ToJSON a => ToJSON (Interval a) Source #
Instance details Methods toJSON :: Interval a -> Value Source # toEncoding :: Interval a -> Encoding Source # toJSONList :: [Interval a] -> Value Source # toEncodingList :: [Interval a] -> Encoding Source #
ToJSON a => ToJSON (Extended a) Source #
Instance details Methods toJSON :: Extended a -> Value Source # toEncoding :: Extended a -> Encoding Source # toJSONList :: [Extended a] -> Value Source # toEncodingList :: [Extended a] -> Encoding Source #
ToJSON a => ToJSON (UpperBound a) Source #
Instance details Methods toJSON :: UpperBound a -> Value Source # toEncoding :: UpperBound a -> Encoding Source # toJSONList :: [UpperBound a] -> Value Source # toEncodingList :: [UpperBound a] -> Encoding Source #
ToJSON a => ToJSON (LowerBound a) Source #
Instance details Methods toJSON :: LowerBound a -> Value Source # toEncoding :: LowerBound a -> Encoding Source # toJSONList :: [LowerBound a] -> Value Source # toEncodingList :: [LowerBound a] -> Encoding Source #
FromJSON a => FromJSON (Interval a) Source #
Instance details Methods parseJSON :: Value -> Parser (Interval a) Source # parseJSONList :: Value -> Parser [Interval a] Source #
FromJSON a => FromJSON (Extended a) Source #
Instance details Methods parseJSON :: Value -> Parser (Extended a) Source # parseJSONList :: Value -> Parser [Extended a] Source #
FromJSON a => FromJSON (UpperBound a) Source #
Instance details Methods parseJSON :: Value -> Parser (UpperBound a) Source # parseJSONList :: Value -> Parser [UpperBound a] Source #
FromJSON a => FromJSON (LowerBound a) Source #
Instance details Methods parseJSON :: Value -> Parser (LowerBound a) Source # parseJSONList :: Value -> Parser [LowerBound a] Source #
Serialise a => Serialise (Interval a) Source #
Instance details Methods encode :: Interval a -> Encoding Source # decode :: Decoder s (Interval a) Source # encodeList :: [Interval a] -> Encoding Source # decodeList :: Decoder s [Interval a] Source #
Serialise a => Serialise (Extended a) Source #
Instance details Methods encode :: Extended a -> Encoding Source # decode :: Decoder s (Extended a) Source # encodeList :: [Extended a] -> Encoding Source # decodeList :: Decoder s [Extended a] Source #
Serialise a => Serialise (UpperBound a) Source #
Instance details Methods encode :: UpperBound a -> Encoding Source # decode :: Decoder s (UpperBound a) Source # encodeList :: [UpperBound a] -> Encoding Source # decodeList :: Decoder s [UpperBound a] Source #
Serialise a => Serialise (LowerBound a) Source #
Instance details Methods encode :: LowerBound a -> Encoding Source # decode :: Decoder s (LowerBound a) Source # encodeList :: [LowerBound a] -> Encoding Source # decodeList :: Decoder s [LowerBound a] Source #