Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. symEnvSort :: Symbol -> SymEnv -> Maybe Sort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

2. tsSort :: TheorySymbol -> !Sort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   sort

3. foldSort :: (a -> Sort -> a) -> a -> Sort -> a

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   Visitors over Sort

4. mapSort :: (Sort -> Sort) -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

5. txRefSort :: TyConMap -> TCEmb TyCon -> LocSpecType -> LocSpecType

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Resolve

   Is this the SAME as addTyConInfo? No. txRefSort (1) adds the _real_ sorts to RProp, (2) gathers _extra_ RProp at turns them into refinements, e.g. testsposmulti-pred-app-00.hs

6. varRSort :: Var -> RSort

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

   No documentation available.

7. varSortedReft :: TCEmb TyCon -> Var -> SortedReft

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

   Converting Var to Sort

8. rTypeSortedReft' :: (PPrint r, Reftable r, SubsTy RTyVar RSort r, Reftable (RTProp RTyCon RTyVar r)) => CGEnv -> Templates -> RRType r -> SortedReft

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

   No documentation available.

9. unsorted :: CGInfo -> !Templates

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

   Potentially unsorted expressions

10. pappSort :: Int -> Sort

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

    No documentation available.

Page 156 of many | Previous | Next