Add default definitions for Eq1 and Ord1
Changes PlannedPublic

Authored by dfeuer on Dec 19 2016, 8:54 PM.

Details

Reviewers
hvr
bgamari
austin
Summary

There are straightforward definitions of liftEq and
liftCompare for appropriate Generic1 instances.

dfeuer updated this revision to Diff 10127.Dec 19 2016, 8:54 PM
dfeuer retitled this revision from to Add default definitions for Eq1 and Ord1.
dfeuer updated this object.
dfeuer edited the test plan for this revision. (Show Details)
dfeuer added a reviewer: bgamari.

Ryan Scott is concerned about compilation times for extremely large types, and says base doesn't traditionally use DefaultSignatures.

dfeuer planned changes to this revision.Dec 19 2016, 10:19 PM
austin resigned from this revision.Nov 9 2017, 9:45 AM