Code

Improved TH generation#2513

Code

Open

mmhat wants to merge 7 commits intodhall-lang:maindhall-lang/dhall-haskell:mainfrom mmhat:improved-th-generationmmhat/dhall-haskell:improved-th-generationCopy head branch name to clipboard

+187-47

Commits

Commits on Nov 19, 2024

• Added SingleConstructorWith and MultipleConstructorsWith to Dhall.TH

  mmhat

  committed
  caaf460

  Copy full SHA for caaf460

• Added Predefined to Dhall.TH

  mmhat

  committed
  87d0ab2

  Copy full SHA for 87d0ab2

• Added Scoped to Dhall.TH

  mmhat

  committed
  096b4a6

  Copy full SHA for 096b4a6

• Added tests

  mmhat

  committed
  5f3baa2

  Copy full SHA for 5f3baa2

• Fixed: Predefined was not respected in a codepath in toConstructor

  mmhat

  committed
  f65d339

  Copy full SHA for f65d339

• Added more documentation for Scoped

  mmhat

  committed
  e366f9a

  Copy full SHA for e366f9a

• Dhall.TH: Allow overriding the Haskell type of a particular record field

  mmhat

  committed
  bc0732d

  Copy full SHA for bc0732d