Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. 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.

  2. 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.

  3. class CanMapInside dom e

    aern2-mp AERN2.MP.Enclosure

    No documentation available.

  4. 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.

  5. 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.

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

    aeson-schemas Data.Aeson.Schema.Internal

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

  7. toValueMap :: forall (pairs :: SchemaObjectMap' Symbol Type) . All HasSchemaResultPair pairs => Object ('Schema pairs) -> Object

    aeson-schemas Data.Aeson.Schema.Internal

    No documentation available.

  8. type IsSchemaObjectMap (pairs :: SchemaObjectMap) = All IsSchemaObjectPair pairs

    aeson-schemas Data.Aeson.Schema.Type

    No documentation available.

  9. type SchemaObjectMapV = SchemaObjectMap' String NameLike

    aeson-schemas Data.Aeson.Schema.Type

    No documentation available.

  10. data KeyMap v

    aeson-schemas Data.Aeson.Schema.Utils.Compat

    A map from JSON key type Key to v.

Page 1013 of many | Previous | Next