Extract package:dhall

extract :: Decoder a -> Expr Src Void -> Extractor Src Void a
dhall Dhall.Marshal.Decode
Extracts Haskell value from the Dhall expression
data ExtractError s a
dhall Dhall.Marshal.Decode
Extraction of a value can fail for two reasons, either a type mismatch (which should not happen, as expressions are type-checked against the expected type before being passed to extract), or a term-level error, described with a freeform text value.
ExtractError :: Text -> ExtractError s a
dhall Dhall.Marshal.Decode
type ExtractErrors s a = DhallErrors (ExtractError s a)
dhall Dhall.Marshal.Decode
One or more errors returned from extracting a Dhall expression to a Haskell expression.
type Extractor s a = Validation (ExtractErrors s a)
dhall Dhall.Marshal.Decode
Useful synonym for the Validation type used when marshalling Dhall expressions.
extractError :: Text -> Extractor s a b
dhall Dhall.Marshal.Decode
Turn a Text message into an extraction failure.
type MonadicExtractor s a = Either (ExtractErrors s a)
dhall Dhall.Marshal.Decode
Useful synonym for the equivalent Either type used when marshalling Dhall code.