Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

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

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

   No documentation available.

2. data RTVar tv s

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

   No documentation available.

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

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

   No documentation available.

4. type SpecRTVar = RTVar RTyVar RSort

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

   No documentation available.

5. makeRTVar :: tv -> RTVar tv s

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

   No documentation available.

6. rTVarToBind :: RTVar RTyVar s -> Maybe (Symbol, s)

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

   No documentation available.

7. rTVarInfo :: Monoid r => TyVar -> RTVInfo (RRType r)

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

   No documentation available.

8. updateRTVar :: Monoid r => RTVar RTyVar i -> RTVar RTyVar (RType RTyCon RTyVar r)

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

   No documentation available.

9. gsTgtVars :: GhcSpecVars -> ![Var]

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

   Top-level Binders To Verify (empty means ALL binders)

10. rtVArgs :: RTAlias x a -> [Symbol]

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

    value parameters

Page 48 of many | Previous | Next