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.

Exact lookup

1. data TyConMap

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

   Information about Type Constructors

2. type TyThingMap = HashMap Symbol [(Symbol, TyThing)]

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

   A TyThingMap is used to resolve symbols into GHC TyThing and, from there into Var, TyCon, DataCon, etc.

3. reLMap :: Env -> LogicMap

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

   No documentation available.

4. sigTyRTyMap :: SigEnv -> !TyConMap

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

   No documentation available.

5. tcDataConMap :: TycEnv -> !DataConMap

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

   No documentation available.

6. tcTyConMap :: TycEnv -> !TyConMap

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

   No documentation available.

7. annotMap :: CGInfo -> !AnnInfo (Annot SpecType)

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

   source-position annotation map

8. listLMap :: LogicMap

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

   No documentation available.

9. type OccurrenceMap = HashMap TyCon [(DataCon, TyConOccurrence)]

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

   No documentation available.

10. cmeasMap :: MSpec ty ctor -> HashMap (Located LHName) (Measure ty ())

    liquidhaskell-boot	Language.Haskell.Liquid.Measure

    No documentation available.

Page 1068 of many | Previous | Next