Safe Haskell	None
Language	GHC2021

Shrun.Configuration.Data.Core.Timeout

Description

Provides the Timeout type.

Synopsis

newtype Timeout = MkTimeout {
- unTimeout :: Natural
}
parseTimeout :: (Alternative f, MonadFail f) => f Natural -> f Text -> f Timeout
parseTimeoutStr :: MonadFail f => Text -> f Timeout
timeoutMeta :: IsString a => (Bool, [a])

Documentation

newtype Timeout Source #

Represents a timeout, which is a non-negative integer.

Constructors

MkTimeout
Fields unTimeout :: Natural

Instances

Instances details

FromInteger Timeout Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods fromZ :: Integer -> Timeout Source #
Num Timeout Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods (+) :: Timeout -> Timeout -> Timeout # (-) :: Timeout -> Timeout -> Timeout # (*) :: Timeout -> Timeout -> Timeout # negate :: Timeout -> Timeout # abs :: Timeout -> Timeout # signum :: Timeout -> Timeout # fromInteger :: Integer -> Timeout #
Show Timeout Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods showsPrec :: Int -> Timeout -> ShowS # show :: Timeout -> String # showList :: [Timeout] -> ShowS #
Eq Timeout Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods (==) :: Timeout -> Timeout -> Bool # (/=) :: Timeout -> Timeout -> Bool #
Ord Timeout Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods compare :: Timeout -> Timeout -> Ordering # (<) :: Timeout -> Timeout -> Bool # (<=) :: Timeout -> Timeout -> Bool # (>) :: Timeout -> Timeout -> Bool # (>=) :: Timeout -> Timeout -> Bool # max :: Timeout -> Timeout -> Timeout # min :: Timeout -> Timeout -> Timeout #
Pretty Timeout Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods pretty :: Timeout -> Doc ann Source # prettyList :: [Timeout] -> Doc ann Source #
DecodeTOML Timeout Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods tomlDecoder :: Decoder Timeout Source #
(k ~ An_Iso, a ~ Natural, b ~ Natural) => LabelOptic "unTimeout" k Timeout Timeout a b Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods labelOptic :: Optic k NoIx Timeout Timeout a b Source #
Default (WithDisabled Timeout) Source #
Instance details Defined in Shrun.Configuration.Data.Core.Timeout Methods def :: WithDisabled Timeout Source #

parseTimeout :: (Alternative f, MonadFail f) => f Natural -> f Text -> f Timeout Source #

parseTimeoutStr :: MonadFail f => Text -> f Timeout Source #

timeoutMeta :: IsString a => (Bool, [a]) Source #