cardano-slotting-0.1.0.2: Key slotting types for cardano libraries
Safe Haskell None
Language Haskell2010

Cardano.Slotting.Slot

Synopsis

Documentation

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo

Fields

Instances

Instances details
Bounded SlotNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

minBound :: SlotNo Source #

maxBound :: SlotNo Source #

Enum SlotNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

succ :: SlotNo -> SlotNo Source #

pred :: SlotNo -> SlotNo Source #

toEnum :: Int -> SlotNo Source #

fromEnum :: SlotNo -> Int Source #

enumFrom :: SlotNo -> [ SlotNo ] Source #

enumFromThen :: SlotNo -> SlotNo -> [ SlotNo ] Source #

enumFromTo :: SlotNo -> SlotNo -> [ SlotNo ] Source #

enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [ SlotNo ] Source #

Eq SlotNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

Num SlotNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

(-) :: SlotNo -> SlotNo -> SlotNo Source #

(*) :: SlotNo -> SlotNo -> SlotNo Source #

negate :: SlotNo -> SlotNo Source #

abs :: SlotNo -> SlotNo Source #

signum :: SlotNo -> SlotNo Source #

fromInteger :: Integer -> SlotNo Source #

Ord SlotNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare :: SlotNo -> SlotNo -> Ordering Source #

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

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

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

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

max :: SlotNo -> SlotNo -> SlotNo Source #

min :: SlotNo -> SlotNo -> SlotNo Source #

Show SlotNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

show :: SlotNo -> String Source #

showList :: [ SlotNo ] -> ShowS Source #

Generic SlotNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep SlotNo :: Type -> Type Source #

Methods

from :: SlotNo -> Rep SlotNo x Source #

to :: Rep SlotNo x -> SlotNo Source #

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 -> () Source #

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.2-j5NuF73p5IFfcfvmth6tS" ' 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 Source #

(<$) :: a -> WithOrigin b -> WithOrigin a Source #

Foldable WithOrigin Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

fold :: Monoid m => WithOrigin m -> m Source #

foldMap :: Monoid m => (a -> m) -> WithOrigin a -> m Source #

foldMap' :: Monoid m => (a -> m) -> WithOrigin a -> m Source #

foldr :: (a -> b -> b) -> b -> WithOrigin a -> b Source #

foldr' :: (a -> b -> b) -> b -> WithOrigin a -> b Source #

foldl :: (b -> a -> b) -> b -> WithOrigin a -> b Source #

foldl' :: (b -> a -> b) -> b -> WithOrigin a -> b Source #

foldr1 :: (a -> a -> a) -> WithOrigin a -> a Source #

foldl1 :: (a -> a -> a) -> WithOrigin a -> a Source #

toList :: WithOrigin a -> [a] Source #

null :: WithOrigin a -> Bool Source #

length :: WithOrigin a -> Int Source #

elem :: Eq a => a -> WithOrigin a -> Bool Source #

maximum :: Ord a => WithOrigin a -> a Source #

minimum :: Ord a => WithOrigin a -> a Source #

sum :: Num a => WithOrigin a -> a Source #

product :: Num a => WithOrigin a -> a Source #

Traversable WithOrigin Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

traverse :: Applicative f => (a -> f b) -> WithOrigin a -> f ( WithOrigin b) Source #

sequenceA :: Applicative f => WithOrigin (f a) -> f ( WithOrigin a) Source #

mapM :: Monad m => (a -> m b) -> WithOrigin a -> m ( WithOrigin b) Source #

sequence :: Monad m => WithOrigin (m a) -> m ( WithOrigin a) Source #

Bounded t => Bounded ( WithOrigin t) Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

minBound :: WithOrigin t Source #

maxBound :: WithOrigin t Source #

Eq t => Eq ( WithOrigin t) Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

(==) :: WithOrigin t -> WithOrigin t -> Bool Source #

(/=) :: WithOrigin t -> WithOrigin t -> Bool Source #

Ord t => Ord ( WithOrigin t) Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare :: WithOrigin t -> WithOrigin t -> Ordering Source #

(<) :: WithOrigin t -> WithOrigin t -> Bool Source #

(<=) :: WithOrigin t -> WithOrigin t -> Bool Source #

(>) :: WithOrigin t -> WithOrigin t -> Bool Source #

(>=) :: WithOrigin t -> WithOrigin t -> Bool Source #

max :: WithOrigin t -> WithOrigin t -> WithOrigin t Source #

min :: WithOrigin t -> WithOrigin t -> WithOrigin t Source #

Show t => Show ( WithOrigin t) Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

showsPrec :: Int -> WithOrigin t -> ShowS Source #

show :: WithOrigin t -> String Source #

showList :: [ WithOrigin t] -> ShowS Source #

Generic ( WithOrigin t) Source #
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep ( WithOrigin t) :: Type -> Type Source #

Methods

from :: WithOrigin t -> Rep ( WithOrigin t) x Source #

to :: Rep ( WithOrigin t) x -> WithOrigin t Source #

( 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 #

NFData a => NFData ( WithOrigin a) Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf :: WithOrigin a -> () 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.2-j5NuF73p5IFfcfvmth6tS" ' 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

Instances

Instances details
Enum EpochNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

succ :: EpochNo -> EpochNo Source #

pred :: EpochNo -> EpochNo Source #

toEnum :: Int -> EpochNo Source #

fromEnum :: EpochNo -> Int Source #

enumFrom :: EpochNo -> [ EpochNo ] Source #

enumFromThen :: EpochNo -> EpochNo -> [ EpochNo ] Source #

enumFromTo :: EpochNo -> EpochNo -> [ EpochNo ] Source #

enumFromThenTo :: EpochNo -> EpochNo -> EpochNo -> [ EpochNo ] Source #

Eq EpochNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

Num EpochNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

(-) :: EpochNo -> EpochNo -> EpochNo Source #

(*) :: EpochNo -> EpochNo -> EpochNo Source #

negate :: EpochNo -> EpochNo Source #

abs :: EpochNo -> EpochNo Source #

signum :: EpochNo -> EpochNo Source #

fromInteger :: Integer -> EpochNo Source #

Ord EpochNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare :: EpochNo -> EpochNo -> Ordering Source #

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

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

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

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

max :: EpochNo -> EpochNo -> EpochNo Source #

min :: EpochNo -> EpochNo -> EpochNo Source #

Show EpochNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

show :: EpochNo -> String Source #

showList :: [ EpochNo ] -> ShowS Source #

Generic EpochNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochNo :: Type -> Type Source #

Methods

from :: EpochNo -> Rep EpochNo x Source #

to :: Rep EpochNo x -> EpochNo Source #

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 #

NFData EpochNo Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf :: EpochNo -> () 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.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "EpochNo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unEpochNo") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

newtype EpochSize Source #

Constructors

EpochSize

Fields

Instances

Instances details
Enum EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

succ :: EpochSize -> EpochSize Source #

pred :: EpochSize -> EpochSize Source #

toEnum :: Int -> EpochSize Source #

fromEnum :: EpochSize -> Int Source #

enumFrom :: EpochSize -> [ EpochSize ] Source #

enumFromThen :: EpochSize -> EpochSize -> [ EpochSize ] Source #

enumFromTo :: EpochSize -> EpochSize -> [ EpochSize ] Source #

enumFromThenTo :: EpochSize -> EpochSize -> EpochSize -> [ EpochSize ] Source #

Eq EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

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

Integral EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

quot :: EpochSize -> EpochSize -> EpochSize Source #

rem :: EpochSize -> EpochSize -> EpochSize Source #

div :: EpochSize -> EpochSize -> EpochSize Source #

mod :: EpochSize -> EpochSize -> EpochSize Source #

quotRem :: EpochSize -> EpochSize -> ( EpochSize , EpochSize ) Source #

divMod :: EpochSize -> EpochSize -> ( EpochSize , EpochSize ) Source #

toInteger :: EpochSize -> Integer Source #

Num EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

(-) :: EpochSize -> EpochSize -> EpochSize Source #

(*) :: EpochSize -> EpochSize -> EpochSize Source #

negate :: EpochSize -> EpochSize Source #

abs :: EpochSize -> EpochSize Source #

signum :: EpochSize -> EpochSize Source #

fromInteger :: Integer -> EpochSize Source #

Ord EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

compare :: EpochSize -> EpochSize -> Ordering Source #

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

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

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

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

max :: EpochSize -> EpochSize -> EpochSize Source #

min :: EpochSize -> EpochSize -> EpochSize Source #

Real EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

toRational :: EpochSize -> Rational Source #

Show EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

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

show :: EpochSize -> String Source #

showList :: [ EpochSize ] -> ShowS Source #

Generic EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochSize :: Type -> Type Source #

Methods

from :: EpochSize -> Rep EpochSize x Source #

to :: Rep EpochSize x -> EpochSize Source #

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 #

ToCBOR EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

toCBOR :: EpochSize -> Encoding Source #

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

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

FromCBOR EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

fromCBOR :: Decoder s EpochSize Source #

label :: Proxy EpochSize -> Text Source #

NFData EpochSize Source #
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf :: 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.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "EpochSize" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unEpochSize") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))