More good questions.
On Jun 9, 2013, at 10:20 PM, TP wrote:
> In fact the extension ScopedTypeVariables is not needed to make your version
> work. However, if I extend a bit your version like that:
>
> So I don't understand why ScopedTypeVariables is needed in one case and not
> in the other
> I'm hoping that gets you moving again and seeing this helps you piece it
> all together.
Thanks a lot Richard,
It helped me a lot to move forward. No doubt your answer will be very useful
for people looking for information on internet.
> - I changed the syntax of creating proxies. Instead of
On 2013-06-09 18:27, Mateusz Kowalczyk wrote:
> For whatever reason, your Haddock documentation is not visible on Hackage.
It takes some time for Hackage to generate the package's documentation.
It's an automated system that's run periodically.
___
Ha
Hi,
> For whatever reason, your Haddock documentation is not visible on Hackage.
Haddock documentation is created by a batch job and will show up
eventually ;).
Cheers,
Simon
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.or
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 09/06/13 19:10, Omari Norman wrote:
> Hi all,
>
> rainbow is a simple package to help you print colored text on
> UNIX-like systems. It's different from packages like terminfo (upon
> which it is based) and ansi-terminal in two ways. First, rainbow
Hi all,
rainbow is a simple package to help you print colored text on UNIX-like
systems. It's different from packages like terminfo (upon which it is
based) and ansi-terminal in two ways. First, rainbow assumes you print text
one "chunk" at a time. The properties of the terminal are reset with eve
Hi TP,
Here is slightly edited code that works:
> {-# LANGUAGE GADTs #-}
> {-# LANGUAGE DataKinds #-}
> {-# LANGUAGE KindSignatures #-}
> {-# LANGUAGE StandaloneDeriving #-}
> {-# LANGUAGE ScopedTypeVariables #-}
>
> -- type level integers
> data Nat = Zero | Succ Nat
>deriving ( Show, Eq, O
Hi all,
Following a discussion on Haskell-Cafe, Richard E. made the following
proposition of a "Singleton" to make a correspondance between type-level
integers and value-level integers:
"""
> data SNat :: Nat -> * where
> SZero :: SNat 'Zero
> SSucc :: SNat n -> SNat ('Succ n)
"""
(found
