Dhall.Lint

This module contains the implementation of the dhall lint command

Lint

lint :: Expr s Import -> Expr t Import

Automatically improve a Dhall expression

Currently this:

• removes unused let bindings with removeLetInLet.
• consolidates nested let bindings to use a multiple-let binding with removeUnusedBindings.
• switches legacy List-like Optional literals to use Some / None instead with optionalLitToSomeNone

removeLetInLet :: Eq a => Expr s a -> Maybe (Expr s a)

removeUnusedBindings :: Eq a => Expr s a -> Maybe (Expr s a)

optionalLitToSomeNone :: Expr s a -> Maybe (Expr s a)