Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. symbolNumInfoFTyCon :: LocSymbol -> Bool -> Bool -> FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

2. isNumericPred :: Type -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.GHC.Misc

   No documentation available.

3. isNumCls :: TyConable c => c -> Bool

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

   No documentation available.

4. isNumeric :: TCEmb TyCon -> RTyCon -> Bool

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

   No documentation available.

5. makeNumEnv :: (Foldable t, TyConable c) => t (RType c b t1) -> [b]

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

   Termination Predicates ----------------------------------------------------

6. isNumCls :: TyConable c => c -> Bool

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

   No documentation available.

7. LitNumInt :: LitNumType

   liquidhaskell-boot	Liquid.GHC.API

   Int# - according to target machine

8. data LitNumType

   liquidhaskell-boot	Liquid.GHC.API

   Numeric literal type

9. LitNumber :: LitNumType -> Integer -> Literal

   liquidhaskell-boot	Liquid.GHC.API

   Any numeric literal that can be internally represented with an Integer.

10. Opt_NumConstantFolding :: GeneralFlag

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 415 of many | Previous | Next