Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
Pi :: Maybe CharacterSet -> Text -> Expr s a -> Expr s a -> Expr s adhall Dhall.Core Pi _ "_" A B ~ A -> B Pi _ x A B ~ ∀(x : A) -> B
Prefer :: Maybe CharacterSet -> PreferAnnotation -> Expr s a -> Expr s a -> Expr s adhall Dhall.Core Prefer _ _ x y ~ x ⫽ y
-
dhall Dhall.Core Used to record the origin of a // operator (i.e. from source code or a product of desugaring)
PreferFromCompletion :: PreferAnnotationdhall Dhall.Core No documentation available.
PreferFromSource :: PreferAnnotationdhall Dhall.Core No documentation available.
Project :: Expr s a -> Either [Text] (Expr s a) -> Expr s adhall Dhall.Core Project e (Left xs) ~ e.{ xs } Project e (Right t) ~ e.(t)-
dhall Dhall.Deriving Convert casing to PascalCasedPhrase
-
dhall Dhall.Import Wrapper around HttpExceptions with a prettier Show instance In order to keep the library API constant even when the with-http Cabal flag is disabled the pretty error message is pre-rendered and the real HttpException is stored in a Dynamic
PrettyHttpException :: String -> Dynamic -> PrettyHttpExceptiondhall Dhall.Import No documentation available.
Package :: Endo Options -> NonEmpty FilePath -> Modedhall Dhall.Main No documentation available.