Skip to content

Commit

Permalink
Fix some instance orders
Browse files Browse the repository at this point in the history
  • Loading branch information
Nicholas Coltharp committed Jul 17, 2024
1 parent cbd3c9e commit c92b6be
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions examples/base-src/module-edits/Data/Semigroup/Internal/edits
Original file line number Diff line number Diff line change
Expand Up @@ -21,12 +21,12 @@ add Data.SemigroupInternal Instance Unpeel_Product a : HsToCoq.Unpeel.Unpeel (Pr
add Data.SemigroupInternal Instance Unpeel_Sum a : HsToCoq.Unpeel.Unpeel (Sum a) a :=
HsToCoq.Unpeel.Build_Unpeel _ _ getSum Mk_Sum.

order Unpeel_Any Data.SemigroupInternal.Eq___Any_op_zeze__
order Unpeel_All Data.SemigroupInternal.Eq___All_op_zeze__
order Unpeel_Any Data.SemigroupInternal.Semigroup__Any_op_zlzlzgzg__
order Unpeel_All Data.SemigroupInternal.Semigroup__All_op_zlzlzgzg__
order Unpeel_Alt Data.SemigroupInternal.Eq___Alt_op_zeze__
order Unpeel_Product Data.SemigroupInternal.Eq___Product_op_zeze__
order Unpeel_Sum Data.SemigroupInternal.Eq___Sum_op_zeze__
order Unpeel_Dual Data.SemigroupInternal.Eq___Dual_op_zeze__
order Unpeel_Product Data.SemigroupInternal.Semigroup__Product_op_zlzlzgzg__
order Unpeel_Sum Data.SemigroupInternal.Semigroup__Sum_op_zlzlzgzg__
order Unpeel_Dual Data.SemigroupInternal.Functor__Dual_fmap
order Unpeel_Endo Data.SemigroupInternal.Semigroup__Endo_op_zlzlzgzg__

order Data.SemigroupInternal.Eq___Any Data.SemigroupInternal.Ord__Any
Expand Down

0 comments on commit c92b6be

Please sign in to comment.