Closed Gabriella439 closed 2 years ago
@ekmett sorry about the direct ping, but just wondering is there something blocking this or if it just fell through the cracks? Seems like an obviously good, well documented, small change.
Slipped through the cracks.
Awesome, thank you!
The haddocks for the operator provide the motivation, but for some additional context this was originally created within
Dhall
for combiningDivisible
RecordEncoder
s:https://hackage.haskell.org/package/dhall-1.36.0/docs/Dhall.html#t:RecordEncoder
… and the purpose of this change is to upstream the operator into the
contravariant
package.