Hoogle Search

Within LTS Haskell 24.21 (ghc-9.10.3)

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

Exact lookup

1. ceiling :: (C a, C b) => a -> b

   numeric-prelude	NumericPrelude.Numeric

   \x -> ceiling (-x) == negate (floor (x::Double) :: Integer)
   

   \x -> ceiling (-x) == negate (floor (x::Rational) :: Integer)
   

2. floor :: (C a, C b) => a -> b

   numeric-prelude	NumericPrelude.Numeric

   \x -> ceiling (-x) == negate (floor (x::Double) :: Integer)
   

   \x -> ceiling (-x) == negate (floor (x::Rational) :: Integer)
   

3. fromIntegral :: (C a, C b) => a -> b

   numeric-prelude	NumericPrelude.Numeric

   No documentation available.

4. intCast :: (Integral a, Integral b, IsIntSubType a b ~ 'True) => a -> b

   int-cast	Data.IntCast

   Statically checked integer conversion which satisfies the property

   • toInteger ≡ toInteger . intCast

   Note: This is just a type-restricted alias of fromIntegral and should therefore lead to the same compiled code as if fromIntegral had been used instead of intCast.

5. intCastIso :: (Integral a, Integral b, IsIntTypeIso a b ~ 'True) => a -> b

   int-cast	Data.IntCast

   Statically checked integer conversion which satisfies the properties

   • ∀β . intCastIso (intCastIso a ∷ β) ==
     a

   • toInteger (intCastIso a) == toInteger b
     (if toInteger a == toInteger b)

   Note: This is just a type-restricted alias of fromIntegral and should therefore lead to the same compiled code as if fromIntegral had been used instead of intCastIso.

6. intCastEq :: (Integral a, Integral b, IsIntTypeEq a b ~ 'True) => a -> b

   int-cast	Data.IntCast

   Version of intCast restricted to casts between types with same value domain. intCastEq is the most constrained of the three conversions: The existence of a intCastEq conversion implies the existence of the other two, i.e. intCastIso and intCast. Note: This is just a type-restricted alias of fromIntegral and should therefore lead to the same compiled code as if fromIntegral had been used instead of intCastIso.

7. fromIntegral :: (Integral a, Num b) => a -> b

   base	Prelude

   General coercion from Integral types. WARNING: This function performs silent truncation if the result type is not at least as big as the argument's type.

8. fromIntegral :: (Integral a, Num b) => a -> b

   base	GHC.Real

   General coercion from Integral types. WARNING: This function performs silent truncation if the result type is not at least as big as the argument's type.

9. fromIntegral :: (Integral a, Num b) => a -> b

   hedgehog	Hedgehog.Internal.Prelude

   General coercion from Integral types. WARNING: This function performs silent truncation if the result type is not at least as big as the argument's type.

10. fromIntegral :: (Integral a, Num b) => a -> b

    ghc	GHC.Prelude.Basic

    No documentation available.

Page 8 of many | Previous | Next