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 retitled this revision from to Add default definitions for Eq1 and Ord1.Dec 19 2016, 8:54 PM
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