Safe Haskell	Safe-Inferred
Language	GHC2021

Navi.Data.PollInterval

Description

Provides the PollInterval type.

Since: 0.1

Synopsis

newtype PollInterval = MkPollInterval {
- unPollInterval :: Natural
}
pollIntervalOptDecoder :: Decoder (Maybe PollInterval)
toSleepTime :: PollInterval -> Int

Documentation

newtype PollInterval Source #

Represents how often to poll for service changes, in seconds.

Since: 0.1

Constructors

MkPollInterval
Fields unPollInterval :: Natural

Instances

Instances details

Bounded PollInterval Source #	Since: 0.1
Instance details Defined in Navi.Data.PollInterval Methods minBound :: PollInterval Source # maxBound :: PollInterval Source #
Num PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods (+) :: PollInterval -> PollInterval -> PollInterval Source # (-) :: PollInterval -> PollInterval -> PollInterval Source # (*) :: PollInterval -> PollInterval -> PollInterval Source # negate :: PollInterval -> PollInterval Source # abs :: PollInterval -> PollInterval Source # signum :: PollInterval -> PollInterval Source # fromInteger :: Integer -> PollInterval Source #
Show PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods showsPrec :: Int -> PollInterval -> ShowS Source # show :: PollInterval -> String Source # showList :: [PollInterval] -> ShowS Source #
Eq PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods (==) :: PollInterval -> PollInterval -> Bool Source # (/=) :: PollInterval -> PollInterval -> Bool Source #
Ord PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods compare :: PollInterval -> PollInterval -> Ordering Source # (<) :: PollInterval -> PollInterval -> Bool Source # (<=) :: PollInterval -> PollInterval -> Bool Source # (>) :: PollInterval -> PollInterval -> Bool Source # (>=) :: PollInterval -> PollInterval -> Bool Source # max :: PollInterval -> PollInterval -> PollInterval Source # min :: PollInterval -> PollInterval -> PollInterval Source #
DecodeTOML PollInterval Source #	Since: 0.1
Instance details Defined in Navi.Data.PollInterval Methods tomlDecoder :: Decoder PollInterval Source #
(k ~ An_Iso, a ~ Natural, b ~ Natural) => LabelOptic "unPollInterval" k PollInterval PollInterval a b Source #	Since: 0.1
Instance details Defined in Navi.Data.PollInterval Methods labelOptic :: Optic k NoIx PollInterval PollInterval a b Source #

pollIntervalOptDecoder :: Decoder (Maybe PollInterval) Source #

TOML decoder for optional PollInterval with field name 'poll-interval'.

Since: 0.1

toSleepTime :: PollInterval -> Int Source #

Converts a PollInterval into an Int suitable to be used with threadDelay.

Since: 0.1