Hoogle Search
Within LTS Haskell 24.10 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
No documentation available.
-
No documentation available.
-
No documentation available.
-
grisette Grisette.Core Specification for numbers with lower bound (inclusive) and upper bound (exclusive)
>>> runFresh (fresh (EnumGenBound @Integer 0 4)) "c" :: Union Integer {If c@0 0 (If c@1 1 (If c@2 2 3))}
EnumGenBound :: a -> a -> EnumGenBound agrisette Grisette.Core No documentation available.
-
grisette Grisette.Core Specification for enum values with upper bound (exclusive). The result would chosen from [0 .. upperbound].
>>> runFresh (fresh (EnumGenUpperBound @Integer 4)) "c" :: Union Integer {If c@0 0 (If c@1 1 (If c@2 2 3))}
EnumGenUpperBound :: a -> EnumGenUpperBound agrisette Grisette.Core No documentation available.
-
grisette Grisette.Internal.Core.Data.Class.GenSym Specification for numbers with lower bound (inclusive) and upper bound (exclusive)
>>> runFresh (fresh (EnumGenBound @Integer 0 4)) "c" :: Union Integer {If c@0 0 (If c@1 1 (If c@2 2 3))}
EnumGenBound :: a -> a -> EnumGenBound agrisette Grisette.Internal.Core.Data.Class.GenSym No documentation available.
-
grisette Grisette.Internal.Core.Data.Class.GenSym Specification for enum values with upper bound (exclusive). The result would chosen from [0 .. upperbound].
>>> runFresh (fresh (EnumGenUpperBound @Integer 4)) "c" :: Union Integer {If c@0 0 (If c@1 1 (If c@2 2 3))}