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.
_forall :: Parser CharacterSetdhall Dhall.Parser.Token Parse a forall (forall or ∀)
naturalLiteral :: Parser Naturaldhall Dhall.Parser.Token Parse a Natural literal This corresponds to the natural-literal rule from the official grammar
-
dhall Dhall.TH A quasi-quoter for Dhall expressions. This quoter is build on top of staticDhallExpression. Therefore consult the documentation of that function for further information. This quoter is meant to be used in expression context only; Other contexts like pattern contexts or declaration contexts are not supported and will result in an error.
generateFromDhallInstance :: GenerateOptions -> Booldhall Dhall.TH Generate a FromDhall instance for the Haskell type
generateToDhallInstance :: GenerateOptions -> Booldhall Dhall.TH Generate a ToDhall instance for the Haskell type
staticDhallExpression :: Text -> Q Expdhall Dhall.TH This fully resolves, type checks, and normalizes the expression, so the resulting AST is self-contained. This can be used to resolve all of an expression’s imports at compile time, allowing one to reference Dhall expressions from Haskell without having a runtime dependency on the location of Dhall files. For example, given a file "./Some/Type.dhall" containing
< This : Natural | Other : ../Other/Type.dhall >
... rather than duplicating the AST manually in a Haskell Type, you can do:Dhall.Type (\case UnionLit "This" _ _ -> ... UnionLit "Other" _ _ -> ...) $(staticDhallExpression "./Some/Type.dhall")
This would create the Dhall Expr AST from the "./Some/Type.dhall" file at compile time with all imports resolved, making it easy to keep your Dhall configs and Haskell interpreters in sync.DisallowedHandlerType :: Text -> Expr s a -> Expr s a -> Text -> TypeMessage s adhall Dhall.TypeCheck No documentation available.
-
dhall Dhall.Version The current Version of the Haskell implementation
-
dhall Dhall.Version The current version String for the Haskell implementation
spawnSignalled :: Process a -> (a -> Process ()) -> Process ProcessIddistributed-process-extras Control.Distributed.Process.Extras Spawn a new (local) process. This variant takes an initialisation action and a secondary expression from the result of the initialisation to Process (). The spawn operation synchronises on the completion of the before action, such that the calling process is guaranteed to only see the newly spawned ProcessId once the initialisation has successfully completed.