Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. ParamTypeListVar :: ParamList -> ParamTypeList

   language-c99	Language.C99.AST

   No documentation available.

2. sortVars :: Sort -> [Symbol]

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

3. substVars :: [(Symbol, Int)] -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

4. importVars :: CoreProgram -> [Id]

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

   No documentation available.

5. isEmbeddedDictVar :: Var -> Bool

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

   No documentation available.

6. meetVarTypes :: TCEmb TyCon -> Doc -> (SrcSpan, SpecType) -> (SrcSpan, SpecType) -> SpecType

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

   No documentation available.

7. data RTVar tv s

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

   No documentation available.

8. RTVar :: tv -> RTVInfo s -> RTVar tv s

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

   No documentation available.

9. type SpecRTVar = RTVar RTyVar RSort

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

   No documentation available.

10. makeRTVar :: tv -> RTVar tv s

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

    No documentation available.

Page 48 of many | Previous | Next