search

Lysxia / first-class-families

First-class type families
https://hackage.haskell.org/package/first-class-families
MIT License
86 stars 12 forks source link

Add 'Case' and '(>>=)' FCFs #14

Closed TheMatten closed 4 years ago

TheMatten commented 5 years ago

Fixes #12 and adds Case FCF as simple and readable but less powerful alternative to Guard.

Lysxia commented 5 years ago

Another thought: this can probably subsume the Guard construct with an extra case in Match, idk whether it's worth it (even if it is it doesn't have to happen right here!).

TheMatten commented 5 years ago

@Lysxia I'm not hurrying, let's make it as good as possible here :slightly_smiling_face: Something like Is :: (j -> Exp Bool) -> k -> Match j k?

Lysxia commented 5 years ago

Right!

Lysxia commented 4 years ago

Thanks a lot!

TheMatten commented 4 years ago

My pleasure!