Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

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

   liquid-fixpoint	Language.Fixpoint.Types.Visitor

   No documentation available.

2. 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

3. varRSort :: Var -> RSort

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

   No documentation available.

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

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

   Converting Var to Sort

5. 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.

6. unsorted :: CGInfo -> !Templates

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

   Potentially unsorted expressions

7. pappSort :: Int -> Sort

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

   No documentation available.

8. type BSort = BRType ()

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

   No documentation available.

9. type BSortV v = BRTypeV v ()

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

   No documentation available.

10. type RSort = RRType ()

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

    No documentation available.

Page 156 of many | Previous | Next