Generalise `if_` to not only be used with proxies (WIP)

purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming

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

63 stars 21 forks source link

Generalise `if_` to not only be used with proxies (WIP) #23

Closed LiamGoodacre closed 6 years ago

LiamGoodacre commented 7 years ago

This allows if_ to be used without proxies on the branches/output.

The WIP commit attempted to make the equality proofs available to the branches. Check the example at the bottom for some strange behaviour. @paf31 any idea what's going on here?

paf31 commented 7 years ago

Hmm, I'm not sure what's going on. What error do you get?

Also, how would you use foo?