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. UnboundedIntegerScalar :: MaxInputSize -> Signed -> NumeralSystem -> Scalar

   yaml-unscrambler	YamlUnscrambler.Expectations

   No documentation available.

2. wordBounded :: String -> String

   Agda	Agda.Interaction.Highlighting.Vim

   No documentation available.

3. productOfEdgesInBoundedWalk :: (SemiRing e, Ord n) => (e -> Occurrence) -> Graph n e -> n -> n -> Occurrence -> Maybe e

   Agda	Agda.TypeChecking.Positivity.Occurrence

   productOfEdgesInBoundedWalk occ g u v bound returns a value distinct from Nothing iff there is a walk c (a list of edges) in g, from u to v, for which the product foldr1 otimes (map occ c) <= bound. In this case the returned value is Just (foldr1 otimes c) for one such walk c. Preconditions: u and v must belong to g, and bound must belong to the domain of boundToEverySome.

4. isBounded :: PureTCM m => Nat -> m BoundedSize

   Agda	Agda.TypeChecking.SizedTypes

   Check whether a variable in the context is bounded by a size expression. If x : Size< a, then a is returned.

5. isBoundedProjVar :: (MonadCheckInternal m, PureTCM m) => ProjectedVar -> m BoundedSize

   Agda	Agda.TypeChecking.SizedTypes

   No documentation available.

6. isBoundedSizeType :: PureTCM m => Type -> m BoundedSize

   Agda	Agda.TypeChecking.SizedTypes

   No documentation available.

7. newBoundedChan :: Int -> IO (BoundedChan a)

   BoundedChan	Control.Concurrent.BoundedChan

   newBoundedChan n returns a channel than can contain no more than n elements.

8. sRGBBounded :: (Ord b, Floating b, Integral a, Bounded a) => a -> a -> a -> Colour b

   ansi-terminal-game	Terminal.Game

   Construct a colour from an sRGB specification. Input components are expected to be in the range [0..maxBound].

9. blockBounded :: Nat w => Size w -> Position -> T w -> T w

   battleship-combinatorics	Combinatorics.Battleship.Count.Frontier

   Inserts at positions outside of the bounds are ignored. You may overwrite Free or Blocked fields, but not Vertical ones.

10. countBounded :: Nat w => (Size w, Int) -> T -> Count

    battleship-combinatorics	Combinatorics.Battleship.Count.ShortenShip

    No documentation available.

Page 40 of many | Previous | Next