Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds four new data constructors to
Dhall.TH.HaskellType
:SingleConstructorWith
andMultipleConstructorsWith
are similar to their counterparts without the "With" suffix. They take an addionalGenerateOptions
value that is used instead of the global one. They are suitable if you have some weird Dhall types which do not translate to Haskell easily and you don't want to apply the modifiers to all other generated types.Predefined
: Use an existing Haskell type for a Dhall type. Suitable if you want to useData.Sequence.Seq SomeType
instead of[SomeType]
or if you want to translate Dhall maps to Haskell maps.Scoped
: Limit the scope of the lookup of other Haskell types used in the translation process. Together withPredefined
this allows you to use e.g.Data.Sequence.Seq
for some particular types while all the others use the usual Haskell lists. It also allows you to generate two distinct Haskell types that use the same Dhall type as input.