search

rvarago / kitten

A small C++17 library inspired by Category Theory.
MIT License
15 stars 1 forks source link

Improve usability by simulating concepts via static asserts #8

Closed rvarago closed 5 years ago

rvarago commented 5 years ago

Use static_assert to provide better compile-time error messages to clients when they try to use functors, multifunctors, applicatives, or monads for types that don't provide such instances.