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. ofRSort :: Reftable r => RType c tv () -> RType c tv r

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

   No documentation available.

2. toRSort :: RTypeV v c tv r -> RTypeV v c tv ()

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

   No documentation available.

3. rTypeSort :: (PPrint r, Reftable r, SubsTy RTyVar (RType RTyCon RTyVar ()) r, Reftable (RTProp RTyCon RTyVar r)) => TCEmb TyCon -> RRType r -> Sort

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

   No documentation available.

4. rTypeSortedReft :: (PPrint r, Reftable r, SubsTy RTyVar (RType RTyCon RTyVar ()) r, Reftable (RTProp RTyCon RTyVar r)) => TCEmb TyCon -> RRType r -> SortedReft

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

   • NOTE:Hole-Lit
   We use toType to convert RType to GHC.Type to expand any GHC related type-aliases, e.g. in Bare.Resolve.expandRTypeSynonyms. If the RType has a RHole then what to do? We, encode RHole as `LitTy LH_HOLE` -- which is a bit of a *hack*. The only saving grace is it is used *temporarily* and then swiftly turned back into an RHole via ofType (after GHC has done its business of expansion). Of course, we hope this doesn't break any GHC invariants! See issue #1476 and #1477 The other option is to *not* use toType on things that have holes in them, but this seems worse, e.g. because you may define a plain GHC alias like: type ToNat a = a -> Nat and then you might write refinement types like: {- foo :: ToNat {v:_ | 0 <= v} -} and we'd want to expand the above to {- foo :: {v:_ | 0 v} - Nat -} and then resolve the hole using the (GHC) type of foo. Annotations and Solutions -------------------------------------------------

5. typeSort :: TCEmb TyCon -> Type -> Sort

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

   From Old Fixpoint ---------------------------------------------------------

6. gsUnsorted :: GhcSpecData -> ![UnSortedExpr]

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

   No documentation available.

7. type UnSortedExpr = ([Symbol], Expr)

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

   No documentation available.

8. type UnSortedExprs = [UnSortedExpr]

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

   No documentation available.

9. cSort :: CMeasure ty -> ty

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

   No documentation available.

10. dsort :: DefV v ty ctor -> Maybe ty

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

    No documentation available.

Page 157 of many | Previous | Next