Safe Haskell	None
Language	GHC2021

Navi.Data.PollInterval

Description

Provides the PollInterval type.

Since: 0.1

Synopsis

newtype PollInterval = MkPollInterval {
- unPollInterval :: Natural
}
parsePollInterval :: MonadFail m => Text -> m PollInterval
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 # maxBound :: PollInterval #
Num PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods (+) :: PollInterval -> PollInterval -> PollInterval # (-) :: PollInterval -> PollInterval -> PollInterval # (*) :: PollInterval -> PollInterval -> PollInterval # negate :: PollInterval -> PollInterval # abs :: PollInterval -> PollInterval # signum :: PollInterval -> PollInterval # fromInteger :: Integer -> PollInterval #
Show PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods showsPrec :: Int -> PollInterval -> ShowS # show :: PollInterval -> String # showList :: [PollInterval] -> ShowS #
Eq PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods (==) :: PollInterval -> PollInterval -> Bool # (/=) :: PollInterval -> PollInterval -> Bool #
Ord PollInterval Source #
Instance details Defined in Navi.Data.PollInterval Methods compare :: PollInterval -> PollInterval -> Ordering # (<) :: PollInterval -> PollInterval -> Bool # (<=) :: PollInterval -> PollInterval -> Bool # (>) :: PollInterval -> PollInterval -> Bool # (>=) :: PollInterval -> PollInterval -> Bool # max :: PollInterval -> PollInterval -> PollInterval # min :: PollInterval -> PollInterval -> PollInterval #
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 #

parsePollInterval :: MonadFail m => Text -> m PollInterval 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