Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. makeRTVar :: tv -> RTVar tv s

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

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

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

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

   value parameters

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

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

   No documentation available.

8. setVarName :: Var -> Name -> Var

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. setVarType :: Var -> Type -> Var

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

10. setVarUnique :: Var -> Unique -> Var

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 49 of many | Previous | Next