Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
DhallDouble :: Double -> DhallDoubledhall Dhall.Core No documentation available.
NaturalLit :: Natural -> Expr s adhall Dhall.Core NaturalLit n ~ n
getDhallDouble :: DhallDouble -> Doubledhall Dhall.Core No documentation available.
judgmentallyEqual :: Eq a => Expr s a -> Expr t a -> Booldhall Dhall.Core Returns True if two expressions are α-equivalent and β-equivalent and False otherwise judgmentallyEqual can fail with an error if you compare ill-typed expressions
shallowDenote :: Expr s a -> Expr s adhall Dhall.Core Remove any outermost Note constructors This is typically used when you want to get the outermost non-Note constructor without removing internal Note constructors
-
dhall Dhall.Import Dhall tries to ensure that all expressions hosted on network endpoints are weakly referentially transparent, meaning roughly that any two clients will compile the exact same result given the same URL. To be precise, a strong interpretaton of referential transparency means that if you compiled a URL you could replace the expression hosted at that URL with the compiled result. Let's call this "static linking". Dhall (very intentionally) does not satisfy this stronger interpretation of referential transparency since "statically linking" an expression (i.e. permanently resolving all imports) means that the expression will no longer update if its dependencies change. In general, either interpretation of referential transparency is not enforceable in a networked context since one can easily violate referential transparency with a custom DNS, but Dhall can still try to guard against common unintentional violations. To do this, Dhall enforces that a non-local import may not reference a local import. Local imports are defined as:
- A file
- A URL with a host of localhost or 127.0.0.1
ReferentiallyOpaque :: Import -> ReferentiallyOpaquedhall Dhall.Import No documentation available.
-
dhall Dhall.Marshal.Decode A newtype suitable for collecting one or more errors.
DhallErrors :: NonEmpty e -> DhallErrors edhall Dhall.Marshal.Decode No documentation available.
-
dhall Dhall.Marshal.Decode Any value that implements FromDhall can be automatically decoded based on the inferred return type of input.
>>> input auto "[1, 2, 3]" :: IO (Vector Natural) [1,2,3] >>> input auto "toMap { a = False, b = True }" :: IO (Map Text Bool) fromList [("a",False),("b",True)]This class auto-generates a default implementation for types that implement Generic. This does not auto-generate an instance for recursive types. The default instance can be tweaked using genericAutoWith/genericAutoWithInputNormalizer and custom InterpretOptions, or using DerivingVia and Codec from Dhall.Deriving.