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. rTVarToBind :: RTVar RTyVar s -> Maybe (Symbol, s)

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

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

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

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

   value parameters

6. letVars :: CBVisitable a => a -> [Var]

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

   No documentation available.

7. setVarName :: Var -> Name -> Var

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. setVarType :: Var -> Type -> Var

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. setVarUnique :: Var -> Unique -> Var

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

10. unitVarSet :: Var -> VarSet

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 49 of many | Previous | Next