Michael Morgan issues

Repositories
Issues
Comments

Results 3 issues of


                                            Michael Morgan

Export derive macro for `Component` in prelude.

## Checklist N/A

Flip the Left/Right branches of Data.So.choose

Since Idris 2 will be a "major version" release, I'm wondering if it would be acceptable to change the type of Data.So.choose. The current signature is surprising, since usually the...

Feature request

Convert Pixel types into corresponding types from rgb crate.

This allows their components to be accessed by name. For example, if `c` is `Rgb`, one can write `c.r` instead of `c.channels()[0]`. I license past and future contributions under the...