dhall-1.42.0: A configuration language guaranteed to terminate
Safe HaskellSafe-Inferred
LanguageHaskell2010

Dhall.Schemas

Description

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

Synopsis

Documentation

Schemas

schemasCommand :: Schemas -> IO () #

Implementation of the dhall rewrite-with-schemas subcommand

data Schemas #

Arguments to the rewrite-with-schemas subcommand

rewriteWithSchemas #

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 #

Errors that can be thrown by rewriteWithSchemas

Constructors

NotASchemaRecord 

Instances

Instances details
Exception SchemasError # 
Instance details

Defined in Dhall.Schemas

Methods

toException :: SchemasError -> SomeException

fromException :: SomeException -> Maybe SchemasError

displayException :: SchemasError -> String

Show SchemasError # 
Instance details

Defined in Dhall.Schemas

Methods

showsPrec :: Int -> SchemasError -> ShowS #

show :: SchemasError -> String #

showList :: [SchemasError] -> ShowS #