dhall-1.41.2: A configuration language guaranteed to terminate
Safe HaskellNone
LanguageHaskell2010

Dhall.Schemas

Description

This module contains the implementation of the dhall rewrite-with-schemas subcommand

Synopsis

Documentation

Schemas

schemasCommand :: Schemas -> IO () Source #

Implementation of the dhall rewrite-with-schemas subcommand

data Schemas Source #

Arguments to the rewrite-with-schemas subcommand

rewriteWithSchemas Source #

Arguments

:: Expr Src Import

Record of schemas

-> Expr Src Import

Expression to simplify using the supplied schemas

-> IO (Expr Src Import) 

Simplify a Dhall expression using a record of schemas

data SchemasError Source #

Errors that can be thrown by rewriteWithSchemas

Constructors

NotASchemaRecord