Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
isBounded :: HasKind a => a -> Boolsbv Data.SBV.Internals No documentation available.
isUnbounded :: HasKind a => a -> Boolsbv Data.SBV.Internals No documentation available.
supportsUnboundedInts :: SolverCapabilities -> Boolsbv Data.SBV.Internals Supports unbounded integers?
supportsUnboundedInts :: SolverCapabilities -> Boolsbv Data.SBV.Internals Supports unbounded integers?
-
sbv Data.SBV.Tools.Range Unbounded
KBounded :: Bool -> Int -> Kindsbv Data.SBV.Trans No documentation available.
-
sbv Data.SBV.Trans No documentation available.
isBounded :: HasKind a => a -> Boolsbv Data.SBV.Trans No documentation available.
isUnbounded :: HasKind a => a -> Boolsbv Data.SBV.Trans No documentation available.
pokeBoundedPtr :: Unbox a => a -> BoundedPtr -> IO BoundedPtrstreamly-core Streamly.Internal.Data.MutByteArray No documentation available.