copilot icon indicating copy to clipboard operation
copilot copied to clipboard
verified publisher icon Copilot-Language

Replaced Copilot.Core.Type.Equality definitions Refs #379

Open achilleasNP opened this issue 3 years ago • 0 comments

This my attempt to address #379.

The changes I made are:

  • Deprecated module Copilot.Core.Type.Equality
  • Replaced it's usage with the Data.Type.Equality. In particular: - Replaced typeclass EqualType with typeclass TestEquality - The function (=~=) with testEquality - the constructor Refl is the same but is now from Data.Type.Equality (:~:) constructor.

@ivanperez-keera please let me know if you need me to make any changes.

achilleasNP avatar Oct 15 '22 09:10 achilleasNP