Hoogle Search
Within LTS Haskell 24.66 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
binary-search Numeric.Search evidence = Evidence undefined. We can use this combinator to look up for some Evidence, since all Evidences are equal.
evidenceForLargest :: [Range (Evidence b1 b2) a] -> Maybe b2binary-search Numeric.Search Get the content of the evidence for the largest a which satisfies pred a.
evidenceForSmallest :: [Range (Evidence b1 b2) a] -> Maybe b2binary-search Numeric.Search Get the content of the evidence for the smallest a which satisfies pred a.
mulWide :: forall (w :: Nat) (w' :: Nat) . NatRepr w -> NatRepr w' -> BV w -> BV w' -> BV (w + w')bv-sized Data.BitVector.Sized Wide multiply of two bitvectors.
width :: forall (w :: Nat) . NatRepr w -> BV wbv-sized Data.BitVector.Sized The bitvector whose value is its own width, of any width.
cairoImageMutStride :: CairoImageMut s -> CIntcairo-image Data.CairoImage.Internal No documentation available.
cairoImageMutWidth :: CairoImageMut s -> CIntcairo-image Data.CairoImage.Internal No documentation available.
cairoImageStride :: CairoImage -> CIntcairo-image Data.CairoImage.Internal No documentation available.
cairoImageWidth :: CairoImage -> CIntcairo-image Data.CairoImage.Internal No documentation available.
mid :: (Space s, Field (Element s)) => s -> Element schart-svg Chart.Data middle element of the space