Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. setSub :: IsString a => a

   liquid-fixpoint	Language.Fixpoint.Smt.Theories

   No documentation available.

2. setApplyName :: Int -> Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

3. setConName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

4. setToIntName :: Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

5. setFTyCon :: FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

6. setSort :: Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. seTheory :: SymEnv -> !SEnv TheorySymbol

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   Information about theory-specific Symbols

8. setBind :: CGEnv -> Var -> CGEnv

   liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Env

   No documentation available.

9. setLocation :: CGEnv -> Span -> CGEnv

   liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Env

   No documentation available.

10. setRecs :: CGEnv -> [Var] -> CGEnv

    liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Env

    No documentation available.

Page 724 of many | Previous | Next