Recursion on TypeNats
Carter Schonwald
carter.schonwald at gmail.com
Sun Oct 26 04:16:39 UTC 2014
derp, my bad
https://github.com/wellposed/numerical/blob/master/src/Numerical/Nat.hs has
a fuller implementation of this though, that i've been using for a few
months
as for the plugin question, i think about adding constraint solves to the
type system... so i dont know if thats quite what you want though,
On Sat, Oct 25, 2014 at 2:33 PM, Barney Hilken <b.hilken at ntlworld.com>
wrote:
> >
> > because you haven't helped write a patch change it yet :)
> >
> > -Carter
> >
>
> Would this be possible with the new type checker plugins?
>
> btw, your example gives me
>
> Nested type family application
> in the type family application: U (n - 1)
> (Use UndecidableInstances to permit this)
> In the equations for closed type family ‘U’
> In the type family declaration for ‘U’
> Failed, modules loaded: none.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141026/d0e096ab/attachment.html>
More information about the Glasgow-haskell-users
mailing list