Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
commonmark Commonmark.Inlines No documentation available.
-
commonmark Commonmark.Types No documentation available.
-
commonmark Commonmark.Types No documentation available.
-
This module contains the implementation of the dhall format subcommand
-
dhall Dhall.Format Arguments to the format subcommand
Format :: Maybe CharacterSet -> Censor -> Transitivity -> NonEmpty Input -> OutputMode -> Formatdhall Dhall.Format No documentation available.
Format :: Bool -> Transitivity -> OutputMode -> NonEmpty Input -> Modedhall Dhall.Main No documentation available.
-
No documentation available.
ForAllPred :: [TyVar] -> [PredType] -> PredType -> Predghc-typelits-presburger GHC.TypeLits.Presburger.Compat A quantified predicate. See Note [Quantified constraints] in GHC.Tc.Solver.Solve
ForAllTy :: ForAllTyBinder -> Type -> Typeghc-typelits-presburger GHC.TypeLits.Presburger.Compat A Π type. See Note [Why ForAllTy can quantify over a coercion variable] INVARIANT: If the binder is a coercion variable, it must be mentioned in the Type. See Note [Unused coercion variable in ForAllTy]