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 at [1], and
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, Ord )
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
-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,
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
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.
___
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
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:
snip
So I don't understand why ScopedTypeVariables is needed in one case and not
in the