Introducing `TypeOf` type family

tweag / capability

Extensional capabilities and deriving combinators

BSD 3-Clause "New" or "Revised" License

214 stars 9 forks source link

Introducing `TypeOf` type family #72

Closed gdeest closed 5 years ago

gdeest commented 5 years ago

Fixes #65.

Introduces a poly-kinded type family to allow users to associate tags to type, and corresponding type synonyms for all capabilities to shorten constraint declarations.

Also changes the 'Reader' example to make use of this feature.

gdeest commented 5 years ago

PTAL.