Safe Haskell	None
Language	Haskell2010

Cardano.Node.Emulator.TimeSlot

Synopsis

data SlotConfig = SlotConfig {
- scSlotLength :: Integer
- scSlotZeroTime :: POSIXTime
}
data SlotConversionError = SlotOutOfRange {
- requestedSlot :: Slot
- horizon :: (Slot, POSIXTime )
}
slotRangeToPOSIXTimeRange :: SlotConfig -> SlotRange -> POSIXTimeRange
slotToPOSIXTimeRange :: SlotConfig -> Slot -> POSIXTimeRange
slotToBeginPOSIXTime :: SlotConfig -> Slot -> POSIXTime
slotToEndPOSIXTime :: SlotConfig -> Slot -> POSIXTime
posixTimeRangeToContainedSlotRange :: SlotConfig -> POSIXTimeRange -> SlotRange
posixTimeToEnclosingSlot :: SlotConfig -> POSIXTime -> Slot
currentSlot :: SlotConfig -> IO Slot
utcTimeToPOSIXTime :: UTCTime -> POSIXTime
posixTimeToUTCTime :: POSIXTime -> UTCTime
nominalDiffTimeToPOSIXTime :: NominalDiffTime -> POSIXTime
posixTimeToNominalDiffTime :: POSIXTime -> NominalDiffTime

Documentation

data SlotConfig Source #

Datatype to configure the length (ms) of one slot and the beginning of the first slot.

Constructors

SlotConfig
Fields scSlotLength :: Integer Length (number of milliseconds) of one slot scSlotZeroTime :: POSIXTime Beginning of slot 0 (in milliseconds)

Instances

Instances details

Eq SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods (==) :: SlotConfig -> SlotConfig -> Bool Source # (/=) :: SlotConfig -> SlotConfig -> Bool Source #
Show SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods showsPrec :: Int -> SlotConfig -> ShowS Source # show :: SlotConfig -> String Source # showList :: [ SlotConfig ] -> ShowS Source #
Generic SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Associated Types type Rep SlotConfig :: Type -> Type Source # Methods from :: SlotConfig -> Rep SlotConfig x Source # to :: Rep SlotConfig x -> SlotConfig Source #
ToJSON SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods toJSON :: SlotConfig -> Value Source # toEncoding :: SlotConfig -> Encoding Source # toJSONList :: [ SlotConfig ] -> Value Source # toEncodingList :: [ SlotConfig ] -> Encoding Source #
FromJSON SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods parseJSON :: Value -> Parser SlotConfig Source # parseJSONList :: Value -> Parser [ SlotConfig ] Source #
Default SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods def :: SlotConfig Source #
Pretty SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods pretty :: SlotConfig -> Doc ann Source # prettyList :: [ SlotConfig ] -> Doc ann Source #
Serialise SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods encode :: SlotConfig -> Encoding Source # decode :: Decoder s SlotConfig Source # encodeList :: [ SlotConfig ] -> Encoding Source # decodeList :: Decoder s [ SlotConfig ] Source #
Lift DefaultUni SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods lift :: SlotConfig -> RTCompile DefaultUni fun ( Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods typeRep :: Proxy SlotConfig -> RTCompile DefaultUni fun ( Type TyName DefaultUni ()) Source #
type Rep SlotConfig Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot type Rep SlotConfig = D1 (' MetaData "SlotConfig" "Cardano.Node.Emulator.TimeSlot" "cardano-node-emulator-1.2.0.0-AoNv3krP7ndKjYjVelWOdO" ' False ) ( C1 (' MetaCons "SlotConfig" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "scSlotLength") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Integer ) :*: S1 (' MetaSel (' Just "scSlotZeroTime") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 POSIXTime )))

data SlotConversionError Source #

Constructors

SlotOutOfRange
Fields requestedSlot :: Slot horizon :: (Slot, POSIXTime )

Instances

Instances details

Eq SlotConversionError Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods (==) :: SlotConversionError -> SlotConversionError -> Bool Source # (/=) :: SlotConversionError -> SlotConversionError -> Bool Source #
Show SlotConversionError Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods showsPrec :: Int -> SlotConversionError -> ShowS Source # show :: SlotConversionError -> String Source # showList :: [ SlotConversionError ] -> ShowS Source #
Generic SlotConversionError Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Associated Types type Rep SlotConversionError :: Type -> Type Source # Methods from :: SlotConversionError -> Rep SlotConversionError x Source # to :: Rep SlotConversionError x -> SlotConversionError Source #
ToJSON SlotConversionError Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods toJSON :: SlotConversionError -> Value Source # toEncoding :: SlotConversionError -> Encoding Source # toJSONList :: [ SlotConversionError ] -> Value Source # toEncodingList :: [ SlotConversionError ] -> Encoding Source #
FromJSON SlotConversionError Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods parseJSON :: Value -> Parser SlotConversionError Source # parseJSONList :: Value -> Parser [ SlotConversionError ] Source #
Pretty SlotConversionError Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot Methods pretty :: SlotConversionError -> Doc ann Source # prettyList :: [ SlotConversionError ] -> Doc ann Source #
type Rep SlotConversionError Source #
Instance details Defined in Cardano.Node.Emulator.TimeSlot type Rep SlotConversionError = D1 (' MetaData "SlotConversionError" "Cardano.Node.Emulator.TimeSlot" "cardano-node-emulator-1.2.0.0-AoNv3krP7ndKjYjVelWOdO" ' False ) ( C1 (' MetaCons "SlotOutOfRange" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "requestedSlot") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Slot) :*: S1 (' MetaSel (' Just "horizon") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 (Slot, POSIXTime ))))

slotRangeToPOSIXTimeRange :: SlotConfig -> SlotRange -> POSIXTimeRange Source #

Convert a SlotRange to a POSIXTimeRange given a SlotConfig . The resulting POSIXTimeRange refers to the starting time of the lower bound of the SlotRange and the ending time of the upper bound of the SlotRange .

slotToPOSIXTimeRange :: SlotConfig -> Slot -> POSIXTimeRange Source #

Convert a Slot to a POSIXTimeRange given a SlotConfig . Each Slot can be represented by an interval of time.

slotToBeginPOSIXTime :: SlotConfig -> Slot -> POSIXTime Source #

Get the starting POSIXTime of a Slot given a SlotConfig .

slotToEndPOSIXTime :: SlotConfig -> Slot -> POSIXTime Source #

Get the ending POSIXTime of a Slot given a SlotConfig .

posixTimeRangeToContainedSlotRange :: SlotConfig -> POSIXTimeRange -> SlotRange Source #

Convert a POSIXTimeRange to SlotRange given a SlotConfig . This gives the biggest slot range that is entirely contained by the given time range.

posixTimeToEnclosingSlot :: SlotConfig -> POSIXTime -> Slot Source #

Convert a POSIXTime to Slot given a SlotConfig .

currentSlot :: SlotConfig -> IO Slot Source #

Get the current slot number

utcTimeToPOSIXTime :: UTCTime -> POSIXTime Source #

posixTimeToUTCTime :: POSIXTime -> UTCTime Source #

nominalDiffTimeToPOSIXTime :: NominalDiffTime -> POSIXTime Source #

posixTimeToNominalDiffTime :: POSIXTime -> NominalDiffTime Source #