Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

Exact lookup

1. supportsUnboundedInts :: SolverCapabilities -> Bool

   sbv	Data.SBV.Internals

   Supports unbounded integers?

2. Unbounded :: Boundary a

   sbv	Data.SBV.Tools.Range

   Unbounded

3. KBounded :: Bool -> Int -> Kind

   sbv	Data.SBV.Trans

   No documentation available.

4. KUnbounded :: Kind

   sbv	Data.SBV.Trans

   No documentation available.

5. isBounded :: HasKind a => a -> Bool

   sbv	Data.SBV.Trans

   No documentation available.

6. isUnbounded :: HasKind a => a -> Bool

   sbv	Data.SBV.Trans

   No documentation available.

7. pokeBoundedPtr :: Unbox a => a -> BoundedPtr -> IO BoundedPtr

   streamly-core	Streamly.Internal.Data.MutByteArray

   No documentation available.

8. pokeBoundedPtrUnsafe :: Unbox a => a -> BoundedPtr -> IO BoundedPtr

   streamly-core	Streamly.Internal.Data.MutByteArray

   No documentation available.

9. enumerateFromBounded :: forall (m :: Type -> Type) a . (Monad m, Enumerable a, Bounded a) => a -> Stream m a

   streamly-core	Streamly.Internal.Data.Stream

   >>> enumerateFromBounded from = Stream.enumerateFromTo from maxBound
   

   enumerateFrom for Bounded Enum types.

10. enumerateFromThenSmallBounded :: forall (m :: Type -> Type) a . (Monad m, Enumerable a, Bounded a) => a -> a -> Stream m a

    streamly-core	Streamly.Internal.Data.Stream

    enumerateFromThen for Enum types not larger than Int. Note: We convert the Enum to Int and enumerate the Int. If a type is bounded but does not have a Bounded instance then we can go on enumerating it beyond the legal values of the type, resulting in the failure of toEnum when converting back to Enum. Therefore we require a Bounded instance for this function to be safely used.

Page 37 of many | Previous | Next