| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Dhall.Schemas
Description
This module contains the implementation of the dhall rewrite-with-schemas
subcommand
Synopsis
- schemasCommand :: Schemas -> IO ()
- data Schemas = Schemas {}
- rewriteWithSchemas :: Expr Src Import -> Expr Src Import -> IO (Expr Src Import)
- data SchemasError = NotASchemaRecord
Documentation
Schemas
schemasCommand :: Schemas -> IO () Source #
Implementation of the dhall rewrite-with-schemas subcommand
Arguments to the rewrite-with-schemas subcommand
Constructors
| Schemas | |
Fields
| |
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 |
Instances
| Show SchemasError Source # | |
Defined in Dhall.Schemas Methods showsPrec :: Int -> SchemasError -> ShowS # show :: SchemasError -> String # showList :: [SchemasError] -> ShowS # | |
| Exception SchemasError Source # | |
Defined in Dhall.Schemas Methods toException :: SchemasError -> SomeException # fromException :: SomeException -> Maybe SchemasError # displayException :: SchemasError -> String # | |