diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-01-26 15:16:05 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-01-26 15:16:05 +0000 |
| commit | 5826a846d5c9be4a1b7718cf4193bc98627472c7 (patch) | |
| tree | e5b92f6d0ca72f2a781f47c0e79296ef4d893883 /src/SOAS/Var.idr | |
| parent | 45a0e35acf9816c0c46ba85d5a84c2d0be6bb298 (diff) | |
Define `Strength` and `Map` with records.
This improves interface searching, so we no longer have to thread
`str` and `functor` around manually.
One disadvantage is that defining strengths and functoriality is now
more verbose. As the plan is to derive these from the signature, this
is not a huge problem from a UX perspective.
Diffstat (limited to 'src/SOAS/Var.idr')
0 files changed, 0 insertions, 0 deletions