Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
minNum :: RealFloat a => a -> a -> aieee754 Numeric.IEEE Return the minimum of two values; if one value is NaN, return the other. Prefer the first if both values are NaN.
module Data.Singletons.Base.
Enum Defines the promoted and singleton version of the Bounded and Enum type classes. While Prelude.Singletons re-exports the promoted and singled versions of Enum, it deliberately avoids re-exporting Succ and Pred, as these are names are likely to clash with code that deals with unary natural numbers. As a result, this module exists to provide Succ and Pred for those who want them.
data
EnumFromThenToSym0 (a1 :: TyFun a a ~> a ~> [a])singletons-base Data.Singletons.Base.Enum No documentation available.
data
EnumFromThenToSym1 (a6989586621679621663 :: a) (b :: TyFun a a ~> [a])singletons-base Data.Singletons.Base.Enum No documentation available.
data
EnumFromThenToSym2 (a6989586621679621663 :: a) (a6989586621679621664 :: a) (c :: TyFun a [a])singletons-base Data.Singletons.Base.Enum No documentation available.
-
singletons-base Data.Singletons.Base.Enum No documentation available.
data
EnumFromToSym0 (a1 :: TyFun a a ~> [a])singletons-base Data.Singletons.Base.Enum No documentation available.
data
EnumFromToSym1 (a6989586621679621657 :: a) (b :: TyFun a [a])singletons-base Data.Singletons.Base.Enum No documentation available.
type family
EnumFromToSym2 (a6989586621679621657 :: a) (a6989586621679621658 :: a) :: [a]singletons-base Data.Singletons.Base.Enum No documentation available.
data
FromEnumSym0 (a1 :: TyFun a Natural)singletons-base Data.Singletons.Base.Enum No documentation available.