├── .gitignore ├── COPYING ├── derive.ipkg ├── readme.org └── src └── Derive ├── DecEq.idr ├── ElimTest.idr ├── Eq.idr ├── Kit.idr ├── Show.idr ├── ShowTests.idr ├── TestDefs.idr └── Util └── TyConInfo.idr /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | *.ibc 3 | -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/COPYING -------------------------------------------------------------------------------- /derive.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/derive.ipkg -------------------------------------------------------------------------------- /readme.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/readme.org -------------------------------------------------------------------------------- /src/Derive/DecEq.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/DecEq.idr -------------------------------------------------------------------------------- /src/Derive/ElimTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/ElimTest.idr -------------------------------------------------------------------------------- /src/Derive/Eq.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/Eq.idr -------------------------------------------------------------------------------- /src/Derive/Kit.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/Kit.idr -------------------------------------------------------------------------------- /src/Derive/Show.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/Show.idr -------------------------------------------------------------------------------- /src/Derive/ShowTests.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/ShowTests.idr -------------------------------------------------------------------------------- /src/Derive/TestDefs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/TestDefs.idr -------------------------------------------------------------------------------- /src/Derive/Util/TyConInfo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/david-christiansen/derive-all-the-instances/HEAD/src/Derive/Util/TyConInfo.idr --------------------------------------------------------------------------------