Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. allowHOquals :: forall (c :: Type -> Type) a . GInfo c a -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

2. allowHO :: CGInfo -> !Bool

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

5. allErrors :: Diagnostics -> [Error]

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

   No documentation available.

6. allWarnings :: Diagnostics -> [Warning]

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

   No documentation available.

7. allowGlobalPLE :: Config -> Bool

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

   No documentation available.

8. allowLocalPLE :: Config -> Bool

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

   No documentation available.

9. allowPLE :: Config -> Bool

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

   No documentation available.

10. allowUnsafeConstructors :: Config -> Bool

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

    Allow refining constructors with unsafe refinements

Page 113 of many | Previous | Next