Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. sknowMap :: ServerOptions -> Bool

   LambdaHack	Game.LambdaHack.Server.ServerOptions

   No documentation available.

2. concatMap :: List l => (a -> [b]) -> l a -> l b

   List	Data.List.Class

   Genereralized concatMap For List l => (a -> l b) -> l a -> l b use =<< (monadic bind)

3. data BitmapFont

   Vis	Vis

   The bitmap fonts available in GLUT. The exact bitmap to be used is defined by the standard X glyph bitmaps for the X font with the given name.

4. type MethodMap st = Map Tag MethodContainer st

   acid-state	Data.Acid.Core

   Collection of Methods indexed by a Tag.

5. mkMethodMap :: [MethodContainer st] -> MethodMap st

   acid-state	Data.Acid.Core

   Construct a MethodMap from a list of Methods using their associated tag.

6. fromApproxWithLipschitz :: (MPFloat -> BoundsCEDU MPFloat) -> MPFloat -> MPBall -> MPBall

   aern2-mp	AERN2.MP.Ball

   Computes a real function f from correctly rounded MPFR-approximations and a number lip which is a Lipschitz constant for f, i.e. |f(x) - f(y)| <= lip * |x - y| for all x,y.

7. fromApproxWithLipschitz :: (MPFloat -> BoundsCEDU MPFloat) -> MPFloat -> MPBall -> MPBall

   aern2-mp	AERN2.MP.Ball.Elementary

   Computes a real function f from correctly rounded MPFR-approximations and a number lip which is a Lipschitz constant for f, i.e. |f(x) - f(y)| <= lip * |x - y| for all x,y.

8. class CanMapInside dom e

   aern2-mp	AERN2.MP.Enclosure

   No documentation available.

9. specCanMapInside :: (CanMapInside d e, CanTestContains d e, Arbitrary d, Arbitrary e, Show d, Show e) => T d -> T e -> Spec

   aern2-mp	AERN2.MP.Enclosure

   No documentation available.

10. toMap :: forall (schema :: SchemaObjectMap' Symbol Type) . IsSchema ('Schema schema) => Object ('Schema schema) -> Object

    aeson-schemas	Data.Aeson.Schema

    Convert an Object into a Object, losing the type information in the schema.

Page 1011 of many | Previous | Next