Safe Haskell	None
Language	Haskell2010

Cardano.Slotting.Slot

Synopsis

newtype SlotNo = SlotNo {
- unSlotNo :: Word64
}
data WithOrigin t
- = Origin
- | At !t
at :: t -> WithOrigin t
origin :: WithOrigin t
fromWithOrigin :: t -> WithOrigin t -> t
withOrigin :: b -> (t -> b) -> WithOrigin t -> b
withOriginToMaybe :: WithOrigin t -> Maybe t
withOriginFromMaybe :: Maybe t -> WithOrigin t
newtype EpochNo = EpochNo {
- unEpochNo :: Word64
}
newtype EpochSize = EpochSize {
- unEpochSize :: Word64
}

Documentation

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo :: Word64

Instances

Instances details

Bounded SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods minBound :: SlotNo # maxBound :: SlotNo #
Enum SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods succ :: SlotNo -> SlotNo # pred :: SlotNo -> SlotNo # toEnum :: Int -> SlotNo # fromEnum :: SlotNo -> Int # enumFrom :: SlotNo -> [SlotNo] # enumFromThen :: SlotNo -> SlotNo -> [SlotNo] # enumFromTo :: SlotNo -> SlotNo -> [SlotNo] # enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [SlotNo] #
Eq SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: SlotNo -> SlotNo -> Bool # (/=) :: SlotNo -> SlotNo -> Bool #
Num SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: SlotNo -> SlotNo -> SlotNo # (-) :: SlotNo -> SlotNo -> SlotNo # (*) :: SlotNo -> SlotNo -> SlotNo # negate :: SlotNo -> SlotNo # abs :: SlotNo -> SlotNo # signum :: SlotNo -> SlotNo # fromInteger :: Integer -> SlotNo #
Ord SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare :: SlotNo -> SlotNo -> Ordering # (<) :: SlotNo -> SlotNo -> Bool # (<=) :: SlotNo -> SlotNo -> Bool # (>) :: SlotNo -> SlotNo -> Bool # (>=) :: SlotNo -> SlotNo -> Bool # max :: SlotNo -> SlotNo -> SlotNo # min :: SlotNo -> SlotNo -> SlotNo #
Show SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> SlotNo -> ShowS # show :: SlotNo -> String # showList :: [SlotNo] -> ShowS #
Generic SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo :: Type -> Type # Methods from :: SlotNo -> Rep SlotNo x # to :: Rep SlotNo x -> SlotNo #
ToJSON SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: SlotNo -> Value Source # toEncoding :: SlotNo -> Encoding Source # toJSONList :: [SlotNo] -> Value Source # toEncodingList :: [SlotNo] -> Encoding Source #
FromJSON SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser SlotNo Source # parseJSONList :: Value -> Parser [SlotNo] Source #
ToCBOR SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: SlotNo -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotNo -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SlotNo] -> Size Source #
FromCBOR SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s SlotNo Source # label :: Proxy SlotNo -> Text Source #
NFData SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: SlotNo -> () #
NoThunks SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> SlotNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy SlotNo -> String Source #
Serialise SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods encode :: SlotNo -> Encoding Source # decode :: Decoder s SlotNo Source # encodeList :: [SlotNo] -> Encoding Source # decodeList :: Decoder s [SlotNo] Source #
type Rep SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-FF4Y2O1UhukGzkqFYkcZSv" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data WithOrigin t Source #

Constructors

Origin
At !t

Instances

Instances details

Functor WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods fmap :: (a -> b) -> WithOrigin a -> WithOrigin b # (<$) :: a -> WithOrigin b -> WithOrigin a #
Foldable WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods fold :: Monoid m => WithOrigin m -> m # foldMap :: Monoid m => (a -> m) -> WithOrigin a -> m # foldMap' :: Monoid m => (a -> m) -> WithOrigin a -> m # foldr :: (a -> b -> b) -> b -> WithOrigin a -> b # foldr' :: (a -> b -> b) -> b -> WithOrigin a -> b # foldl :: (b -> a -> b) -> b -> WithOrigin a -> b # foldl' :: (b -> a -> b) -> b -> WithOrigin a -> b # foldr1 :: (a -> a -> a) -> WithOrigin a -> a # foldl1 :: (a -> a -> a) -> WithOrigin a -> a # toList :: WithOrigin a -> [a] # null :: WithOrigin a -> Bool # length :: WithOrigin a -> Int # elem :: Eq a => a -> WithOrigin a -> Bool # maximum :: Ord a => WithOrigin a -> a # minimum :: Ord a => WithOrigin a -> a # sum :: Num a => WithOrigin a -> a # product :: Num a => WithOrigin a -> a #
Traversable WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods traverse :: Applicative f => (a -> f b) -> WithOrigin a -> f (WithOrigin b) # sequenceA :: Applicative f => WithOrigin (f a) -> f (WithOrigin a) # mapM :: Monad m => (a -> m b) -> WithOrigin a -> m (WithOrigin b) # sequence :: Monad m => WithOrigin (m a) -> m (WithOrigin a) #
Bounded t => Bounded (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods minBound :: WithOrigin t # maxBound :: WithOrigin t #
Eq t => Eq (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: WithOrigin t -> WithOrigin t -> Bool # (/=) :: WithOrigin t -> WithOrigin t -> Bool #
Ord t => Ord (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare :: WithOrigin t -> WithOrigin t -> Ordering # (<) :: WithOrigin t -> WithOrigin t -> Bool # (<=) :: WithOrigin t -> WithOrigin t -> Bool # (>) :: WithOrigin t -> WithOrigin t -> Bool # (>=) :: WithOrigin t -> WithOrigin t -> Bool # max :: WithOrigin t -> WithOrigin t -> WithOrigin t # min :: WithOrigin t -> WithOrigin t -> WithOrigin t #
Show t => Show (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> WithOrigin t -> ShowS # show :: WithOrigin t -> String # showList :: [WithOrigin t] -> ShowS #
Generic (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep (WithOrigin t) :: Type -> Type # Methods from :: WithOrigin t -> Rep (WithOrigin t) x # to :: Rep (WithOrigin t) x -> WithOrigin t #
(Serialise t, Typeable t) => ToCBOR (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: WithOrigin t -> Encoding Source # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (WithOrigin t) -> Size Source # encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [WithOrigin t] -> Size Source #
(Serialise t, Typeable t) => FromCBOR (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s (WithOrigin t) Source # label :: Proxy (WithOrigin t) -> Text Source #
NoThunks t => NoThunks (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> WithOrigin t -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WithOrigin t -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (WithOrigin t) -> String Source #
Serialise t => Serialise (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods encode :: WithOrigin t -> Encoding Source # decode :: Decoder s (WithOrigin t) Source # encodeList :: [WithOrigin t] -> Encoding Source # decodeList :: Decoder s [WithOrigin t] Source #
type Rep (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot type Rep (WithOrigin t) = D1 ('MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-FF4Y2O1UhukGzkqFYkcZSv" 'False) (C1 ('MetaCons "Origin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))

at :: t -> WithOrigin t Source #

origin :: WithOrigin t Source #

fromWithOrigin :: t -> WithOrigin t -> t Source #

withOrigin :: b -> (t -> b) -> WithOrigin t -> b Source #

withOriginToMaybe :: WithOrigin t -> Maybe t Source #

withOriginFromMaybe :: Maybe t -> WithOrigin t Source #

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo
Fields unEpochNo :: Word64

Instances

Instances details

Enum EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods succ :: EpochNo -> EpochNo # pred :: EpochNo -> EpochNo # toEnum :: Int -> EpochNo # fromEnum :: EpochNo -> Int # enumFrom :: EpochNo -> [EpochNo] # enumFromThen :: EpochNo -> EpochNo -> [EpochNo] # enumFromTo :: EpochNo -> EpochNo -> [EpochNo] # enumFromThenTo :: EpochNo -> EpochNo -> EpochNo -> [EpochNo] #
Eq EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: EpochNo -> EpochNo -> Bool # (/=) :: EpochNo -> EpochNo -> Bool #
Num EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: EpochNo -> EpochNo -> EpochNo # (-) :: EpochNo -> EpochNo -> EpochNo # (*) :: EpochNo -> EpochNo -> EpochNo # negate :: EpochNo -> EpochNo # abs :: EpochNo -> EpochNo # signum :: EpochNo -> EpochNo # fromInteger :: Integer -> EpochNo #
Ord EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare :: EpochNo -> EpochNo -> Ordering # (<) :: EpochNo -> EpochNo -> Bool # (<=) :: EpochNo -> EpochNo -> Bool # (>) :: EpochNo -> EpochNo -> Bool # (>=) :: EpochNo -> EpochNo -> Bool # max :: EpochNo -> EpochNo -> EpochNo # min :: EpochNo -> EpochNo -> EpochNo #
Show EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> EpochNo -> ShowS # show :: EpochNo -> String # showList :: [EpochNo] -> ShowS #
Generic EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo :: Type -> Type # Methods from :: EpochNo -> Rep EpochNo x # to :: Rep EpochNo x -> EpochNo #
ToJSON EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: EpochNo -> Value Source # toEncoding :: EpochNo -> Encoding Source # toJSONList :: [EpochNo] -> Value Source # toEncodingList :: [EpochNo] -> Encoding Source #
FromJSON EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochNo Source # parseJSONList :: Value -> Parser [EpochNo] Source #
ToCBOR EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: EpochNo -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochNo -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochNo] -> Size Source #
FromCBOR EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s EpochNo Source # label :: Proxy EpochNo -> Text Source #
NoThunks EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> EpochNo -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy EpochNo -> String Source #
Serialise EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods encode :: EpochNo -> Encoding Source # decode :: Decoder s EpochNo Source # encodeList :: [EpochNo] -> Encoding Source # decodeList :: Decoder s [EpochNo] Source #
type Rep EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-FF4Y2O1UhukGzkqFYkcZSv" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochSize Source #

Constructors

EpochSize
Fields unEpochSize :: Word64

Instances

Instances details

Enum EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods succ :: EpochSize -> EpochSize # pred :: EpochSize -> EpochSize # toEnum :: Int -> EpochSize # fromEnum :: EpochSize -> Int # enumFrom :: EpochSize -> [EpochSize] # enumFromThen :: EpochSize -> EpochSize -> [EpochSize] # enumFromTo :: EpochSize -> EpochSize -> [EpochSize] # enumFromThenTo :: EpochSize -> EpochSize -> EpochSize -> [EpochSize] #
Eq EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: EpochSize -> EpochSize -> Bool # (/=) :: EpochSize -> EpochSize -> Bool #
Integral EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods quot :: EpochSize -> EpochSize -> EpochSize # rem :: EpochSize -> EpochSize -> EpochSize # div :: EpochSize -> EpochSize -> EpochSize # mod :: EpochSize -> EpochSize -> EpochSize # quotRem :: EpochSize -> EpochSize -> (EpochSize, EpochSize) # divMod :: EpochSize -> EpochSize -> (EpochSize, EpochSize) # toInteger :: EpochSize -> Integer #
Num EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: EpochSize -> EpochSize -> EpochSize # (-) :: EpochSize -> EpochSize -> EpochSize # (*) :: EpochSize -> EpochSize -> EpochSize # negate :: EpochSize -> EpochSize # abs :: EpochSize -> EpochSize # signum :: EpochSize -> EpochSize # fromInteger :: Integer -> EpochSize #
Ord EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare :: EpochSize -> EpochSize -> Ordering # (<) :: EpochSize -> EpochSize -> Bool # (<=) :: EpochSize -> EpochSize -> Bool # (>) :: EpochSize -> EpochSize -> Bool # (>=) :: EpochSize -> EpochSize -> Bool # max :: EpochSize -> EpochSize -> EpochSize # min :: EpochSize -> EpochSize -> EpochSize #
Real EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods toRational :: EpochSize -> Rational #
Show EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> EpochSize -> ShowS # show :: EpochSize -> String # showList :: [EpochSize] -> ShowS #
Generic EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochSize :: Type -> Type # Methods from :: EpochSize -> Rep EpochSize x # to :: Rep EpochSize x -> EpochSize #
ToJSON EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: EpochSize -> Value Source # toEncoding :: EpochSize -> Encoding Source # toJSONList :: [EpochSize] -> Value Source # toEncodingList :: [EpochSize] -> Encoding Source #
FromJSON EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochSize Source # parseJSONList :: Value -> Parser [EpochSize] Source #
NoThunks EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochSize -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> EpochSize -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy EpochSize -> String Source #
type Rep EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.0-FF4Y2O1UhukGzkqFYkcZSv" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))