Am 16.03.2014 11:29, schrieb Henning Thielemann:
Since the unary natural number kind so ubiquituous in examples, is there
a recommended module to import it from, which also contains the
injectivity magic of FromNat1? I cannot see it in:
http://hackage.haskell.org/package/base-4.7.0.0/candidate/docs/GHC-TypeLits.html
although it seems to have been there:
http://co-dan.github.io/base-docs/src/GHC-TypeLits.html
Nat1 was removed here:
https://github.com/ghc/packages-base/commit/5eaba365ff2354d3231f049866964d25f245ede2
but commit message does not tell where it was moved. :-( Obviously it
was not moved to "singletons".
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users