v23.0.0

Breaking changes:

• New support for Bytes literals

  You can now store Bytes within Dhall, which comprises two changes to the
  language:

  • A new Bytes type

  • Support for Bytes literals of the form 0x"…"

  For example, the following Dhall literal represents a valid sequence of four
  bytes:

  0x"00FF12DE"

  This is a technically breaking change because Bytes is now a reserved
  identifier.

• New {Date,Time,TimeZone}/show builtins

  You can now render temporal literals as Text representing valid Dhall
  source code:

  Date/show : Date → Text
  
  Time/show : Time → Text
  
  TimeZone/show : TimeZone → Text

  For example:

  ⊢ Date/show 2000-01-01
  
  "2000-01-01"
  
  ⊢ Time/show 11:59:59
  
  "11:59:59"
  
  ⊢ TimeZone/show -08:00
  
  "-08:00"

  This is a technically breaking change because Date/show, Time/show, and
  TimeZone/show are now reserved identifiers.

New features:

• Add dhall to-directory-tree related definitions

  This adds several utilities underneath a new Prelude.DirectoryTree
  hierarchy for working with the dhall to-directory-tree subcommand.
  Specifically, the sucommand now supports setting metadata on generated paths
  and the utilities support working with this new metadata-related
  functionality.

• Add Prelude.List.mapMaybe and Prelude.Map.mapMaybe

  These come in handy when transforming Lists in Maps when you also want to
  filter out keys.

Other changes:

• Fixes and improvements to the standard:
  • Remove Unicode char ± from ABNF
• Fixes and improvements to the standard test suite:
  • Fix None-related teest
  • Add test for changing type of field inside Optional