sort-constraints
| Description | Whether to sort constraints |
|---|---|
| Type | Bool |
| Default | false |
| Ormolu | false |
| Since | Unreleased |
This option determines whether or not to sort constraints.
The sorting applies wherever we can determine that a constraint tuple is in fact a constraint tuple type (and not a normal tuple type). In some situations we cannot determine this and so the constraints are not sorted.
Note that using this option may result in comments inside constraints being moved to unexpected locations.
Examples
f :: (Eq a, Show a) => a
f :: (Show a, Eq a) => a
For more examples, see the test files.