Implement default instances of typeclasses.#56

Open

griwes wants to merge 8 commits intoreaver-project:developfrom griwes:typeclasses/default-instances

+2,595-2,233

Commits on May 24, 2019

Commits on Jun 13, 2019

Commits on Jul 16, 2019

analyzer: make function be able to own parameter exprs; use that a bit.
griwes
committed

Commits on Jul 17, 2019

analyzer: make instances be keyed off types, not their expression representation.
griwes
committed

Commits on Jul 18, 2019

analyzer: move the interface to add selector functions to the context.
griwes
committed

Commits on Aug 26, 2020

Rewrite name handling and finish default instances (at least for now).
griwes
committed