cardano-slotting-0.1.0.0: Key slotting types for cardano libraries
Safe HaskellNone
LanguageHaskell2010

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

Enum SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

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

Ord SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Show SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

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

FromJSON SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

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

NFData SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Methods

rnf :: SlotNo -> () #

NoThunks SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Serialise SlotNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

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

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

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

Defined in Cardano.Slotting.Slot

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

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

Defined in Cardano.Slotting.Slot

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

Defined in Cardano.Slotting.Slot

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 #

withOrigin :: b -> (t -> b) -> WithOrigin t -> b 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

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

Ord EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Show EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

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

FromJSON EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

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

NoThunks EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

Serialise EpochNo Source # 
Instance details

Defined in Cardano.Slotting.Slot

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

Instances

Instances details
Enum EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Eq EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Integral EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Num EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Ord EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Real EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Show EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Generic EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

Associated Types

type Rep EpochSize :: Type -> Type #

ToJSON EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

FromJSON EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

NoThunks EpochSize Source # 
Instance details

Defined in Cardano.Slotting.Slot

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)))