Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

Exact lookup

1. allTyVars :: Ord tv => RType c tv r -> [tv]

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RefType

   No documentation available.

2. allTyVars' :: Eq tv => RType c tv r -> [tv]

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RefType

   No documentation available.

3. allErrors :: Diagnostics -> [Error]

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

4. allWarnings :: Diagnostics -> [Warning]

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

5. allowGlobalPLE :: Config -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.UX.Config

   No documentation available.

6. allowLocalPLE :: Config -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.UX.Config

   No documentation available.

7. allowPLE :: Config -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.UX.Config

   No documentation available.

8. allowUnsafeConstructors :: Config -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.UX.Config

   Allow refining constructors with unsafe refinements

9. allowInterrupt :: IO ()

   monad-peel	Control.Exception.Peel

   When invoked inside mask, this function allows a masked asynchronous exception to be raised, if one exists. It is equivalent to performing an interruptible operation (see #interruptible), but does not involve any actual blocking. When called outside mask, or inside uninterruptibleMask, this function has no effect.

10. alloca :: Storable a => FortranIO r (Ptr a)

    netlib-carray	Numeric.Netlib.CArray.Utility

    No documentation available.

Page 113 of many | Previous | Next