Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. Opt_PrintExplicitForalls :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

2. Opt_StaticArgumentTransformation :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

3. Opt_UnoptimizedCoreForInterpreter :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

4. dropForAlls :: Type -> Type

   liquidhaskell-boot	Liquid.GHC.API

   Drops all ForAllTys

5. mkForAllTys :: [ForAllTyBinder] -> Type -> Type

   liquidhaskell-boot	Liquid.GHC.API

   Wraps foralls over the type using the provided TyCoVars from left to right

6. mkHsForAllInvisTele :: forall (p :: Pass) . EpAnnForallTy -> [LHsTyVarBndr Specificity (GhcPass p)] -> HsForAllTelescope (GhcPass p)

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. sdocPrintExplicitForalls :: SDocContext -> !Bool

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. sdocUnitIdForUser :: SDocContext -> !FastString -> SDoc

   liquidhaskell-boot	Liquid.GHC.API

   Used to map UnitIds to more friendly "package-version:component" strings while pretty-printing. Use pprWithUnitState to set it. Users should never have to set it to pretty-print SDocs emitted by GHC, otherwise it's a bug. It's an internal field used to thread the UnitState so that the Outputable instance of UnitId can use it. See Note [Pretty-printing UnitId] in GHC.Unit for more details. Note that we use FastString instead of UnitId to avoid boring module inter-dependency issues.

9. splitForAllTyCoVars :: Type -> ([TyCoVar], Type)

   liquidhaskell-boot	Liquid.GHC.API

   Take a ForAllTy apart, returning the list of tycovars and the result type. This always succeeds, even if it returns only an empty list. Note that the result type returned may have free variables that were bound by a forall.

10. transform :: forall (m :: Type -> Type) . Monad m => SourceFormat -> Options -> ConduitT Text Text m ()

    literatex	LiterateX

    Transform input lines to output lines

Page 1491 of many | Previous | Next