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. atomicModifyMutVar_# :: MutVar# d a -> (a -> a) -> State# d -> (# State# d, a, a #)

   ihaskell	IHaskellPrelude

   Modify the contents of a MutVar#, returning the previous contents and the result of applying the given function to the previous contents.

2. ParamTypeListVar :: ParamList -> ParamTypeList

   language-c99	Language.C99.AST

   No documentation available.

3. sortVars :: Sort -> [Symbol]

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

5. importVars :: CoreProgram -> [Id]

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

   No documentation available.

6. isEmbeddedDictVar :: Var -> Bool

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

   No documentation available.

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

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

   No documentation available.

8. data RTVar tv s

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

   No documentation available.

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

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

   No documentation available.

10. type SpecRTVar = RTVar RTyVar RSort

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

    No documentation available.

Page 48 of many | Previous | Next