Lifted Infix Operators - Githubissues

Lysxia / first-class-families

First-class type families

MIT License

86 stars 12 forks source link

Closed BebeSparkelSparkel closed 4 weeks ago

BebeSparkelSparkel commented 4 weeks ago

I have found it useful to have lifted infix operators to reduce the amount of parentheses and Evals. For example:

type List = Eval (Map SomeFunction '[SomeTypes]) ++ Eval (Map SomeFunction '[SomeTypes])

becomes

type List = Map SomeFunction '[SomeTypes] ^++^ Map SomeFunction '[SomeTypes]

This reduces a lot of noise in the expressions.

closes #57

BebeSparkelSparkel commented 4 weeks ago

sorry double clicked