Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. idouble :: Interval Double -> Interval Double

    intervals Numeric.Interval

    id function. Useful for type specification 

    >>> :t idouble (1 ... 3)
idouble (1 ... 3) :: Interval Double

  2. idiv :: Integral a => Interval a -> Interval a -> Interval a

    intervals Numeric.Interval.Internal

    an interval containing all x div y >>> (5 div 3) member ((4...6) idiv (2...4)) True >>> (1...10) idiv ((-5)...4) *** Exception: divide by zero

  3. idouble :: Interval Double -> Interval Double

    intervals Numeric.Interval.Internal

    id function. Useful for type specification 

    >>> :t idouble (1 ... 3)
idouble (1 ... 3) :: Interval Double

  4. idiv :: Integral a => Interval a -> Interval a -> Interval a

    intervals Numeric.Interval.Kaucher

    an interval containing all x div y >>> (5 div 3) member ((4...6) idiv (2...4)) True >>> (1...10) idiv ((-5)...4) *** Exception: divide by zero

  5. idouble :: Interval Double -> Interval Double

    intervals Numeric.Interval.Kaucher

    id function. Useful for type specification 

    >>> :t idouble (1 ... 3)
idouble (1 ... 3) :: Interval Double

  6. idiv :: Integral a => Interval a -> Interval a -> Interval a

    intervals Numeric.Interval.NonEmpty

    an interval containing all x div y prop> forAll (memberOf xs) $ x -> forAll (memberOf ys) $ y -> 0 notMember ys ==> (x div y) member (xs idiv ys) prop> 0 member ys ==> ioProperty $ do z <- try (evaluate (xs idiv ys)); return $ z === Left DivideByZero

  7. idouble :: Interval Double -> Interval Double

    intervals Numeric.Interval.NonEmpty

    id function. Useful for type specification 

    >>> :t idouble (1 ... 3)
idouble (1 ... 3) :: Interval Double

  8. idiv :: Integral a => Interval a -> Interval a -> Interval a

    intervals Numeric.Interval.NonEmpty.Internal

    an interval containing all x div y prop> forAll (memberOf xs) $ x -> forAll (memberOf ys) $ y -> 0 notMember ys ==> (x div y) member (xs idiv ys) prop> 0 member ys ==> ioProperty $ do z <- try (evaluate (xs idiv ys)); return $ z === Left DivideByZero

  9. idouble :: Interval Double -> Interval Double

    intervals Numeric.Interval.NonEmpty.Internal

    id function. Useful for type specification 

    >>> :t idouble (1 ... 3)
idouble (1 ... 3) :: Interval Double

  10. identity :: a <-> Identity a

    invertible Data.Invertible.Functor

    Convert the Identity functor.

Page 321 of many | Previous | Next