Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. type Prec128 = FloatingPointPrecision 15 113

   what4	What4.BaseTypes

   No documentation available.

2. type Prec16 = FloatingPointPrecision 5 11

   what4	What4.BaseTypes

   Floating-point precision aliases

3. type Prec32 = FloatingPointPrecision 8 24

   what4	What4.BaseTypes

   No documentation available.

4. type Prec64 = FloatingPointPrecision 11 53

   what4	What4.BaseTypes

   No documentation available.

5. type Prec80 = FloatingPointPrecision 15 65

   what4	What4.BaseTypes

   No documentation available.

6. data PPExpr ann

   what4	What4.Expr.App

   No documentation available.

7. data PPExprOpts

   what4	What4.Expr.App

   No documentation available.

8. PPExprOpts :: Int -> Bool -> PPExprOpts

   what4	What4.Expr.App

   No documentation available.

9. data PPIndex

   what4	What4.Expr.App

   No documentation available.

10. type PrettyApp (e :: BaseType -> Type) = (Text, [PrettyArg e])

    what4	What4.Expr.App

    No documentation available.

Page 1088 of many | Previous | Next