crucible-0.7.2: Crucible is a library for language-agnostic symbolic simulation

Safe Haskell	Safe-Inferred
Language	Haskell2010

Lang.Crucible.Utils.Seconds

Synopsis

data Seconds
secondsToInt :: Seconds -> Int
secondsFromInt :: Int -> Seconds
secondsToMicroseconds :: Seconds -> Int

Documentation

data Seconds Source #

Instances

Instances details

Num Seconds Source #
Instance details Defined in Lang.Crucible.Utils.Seconds Methods (+) :: Seconds -> Seconds -> Seconds # (-) :: Seconds -> Seconds -> Seconds # (*) :: Seconds -> Seconds -> Seconds # negate :: Seconds -> Seconds # abs :: Seconds -> Seconds # signum :: Seconds -> Seconds # fromInteger :: Integer -> Seconds #
Show Seconds Source #
Instance details Defined in Lang.Crucible.Utils.Seconds Methods showsPrec :: Int -> Seconds -> ShowS # show :: Seconds -> String # showList :: [Seconds] -> ShowS #
Eq Seconds Source #
Instance details Defined in Lang.Crucible.Utils.Seconds Methods (==) :: Seconds -> Seconds -> Bool # (/=) :: Seconds -> Seconds -> Bool #
Ord Seconds Source #
Instance details Defined in Lang.Crucible.Utils.Seconds Methods compare :: Seconds -> Seconds -> Ordering # (<) :: Seconds -> Seconds -> Bool # (<=) :: Seconds -> Seconds -> Bool # (>) :: Seconds -> Seconds -> Bool # (>=) :: Seconds -> Seconds -> Bool # max :: Seconds -> Seconds -> Seconds # min :: Seconds -> Seconds -> Seconds #

secondsToInt :: Seconds -> Int Source #

secondsFromInt :: Int -> Seconds Source #

Inverse of secondsToInt

secondsToMicroseconds :: Seconds -> Int Source #