Safe Haskell	Safe-Inferred
Language	Haskell2010

Lattices.UnitInterval

Synopsis

newtype UnitInterval = UnitInterval Double
mkUnitInterval :: Double -> UnitInterval

Documentation

newtype UnitInterval Source #

unit interval on real numbers [0,1]

Constructors

UnitInterval Double

Instances

Instances details

Num UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods (+) :: UnitInterval -> UnitInterval -> UnitInterval (-) :: UnitInterval -> UnitInterval -> UnitInterval (*) :: UnitInterval -> UnitInterval -> UnitInterval negate :: UnitInterval -> UnitInterval abs :: UnitInterval -> UnitInterval signum :: UnitInterval -> UnitInterval fromInteger :: Integer -> UnitInterval
Fractional UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods (/) :: UnitInterval -> UnitInterval -> UnitInterval recip :: UnitInterval -> UnitInterval fromRational :: Rational -> UnitInterval
Real UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods toRational :: UnitInterval -> Rational
RealFrac UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods properFraction :: Integral b => UnitInterval -> (b, UnitInterval) truncate :: Integral b => UnitInterval -> b round :: Integral b => UnitInterval -> b ceiling :: Integral b => UnitInterval -> b floor :: Integral b => UnitInterval -> b
Show UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods showsPrec :: Int -> UnitInterval -> ShowS show :: UnitInterval -> String showList :: [UnitInterval] -> ShowS
BoundedLattice UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods (/\) :: UnitInterval -> UnitInterval -> UnitInterval Source # (\/) :: UnitInterval -> UnitInterval -> UnitInterval Source # top :: UnitInterval Source # bot :: UnitInterval Source # mkLattice :: Double -> UnitInterval Source #
Eq UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods (==) :: UnitInterval -> UnitInterval -> Bool (/=) :: UnitInterval -> UnitInterval -> Bool
Ord UnitInterval Source #
Instance details Defined in Lattices.UnitInterval Methods compare :: UnitInterval -> UnitInterval -> Ordering (<) :: UnitInterval -> UnitInterval -> Bool (<=) :: UnitInterval -> UnitInterval -> Bool (>) :: UnitInterval -> UnitInterval -> Bool (>=) :: UnitInterval -> UnitInterval -> Bool max :: UnitInterval -> UnitInterval -> UnitInterval min :: UnitInterval -> UnitInterval -> UnitInterval

mkUnitInterval :: Double -> UnitInterval Source #

Unit interval constructor. Ensures values are in bounds