Send Beginners mailing list submissions to
beginners@haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
beginners-requ...@haskell.org
You can reach the person managing the list at
beginners-ow...@haskell.org
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Overlapping instances via Nat-kind (Dannyu NDos)
2. Re: Overlapping instances via Nat-kind (Dannyu NDos)
3. Fwd: Overlapping instances via Nat-kind (Dannyu NDos)
----------------------------------------------------------------------
Message: 1
Date: Wed, 2 Jan 2019 17:38:40 +0900
From: Dannyu NDos <ndospark...@gmail.com>
To: beginners@haskell.org
Subject: [Haskell-beginners] Overlapping instances via Nat-kind
Message-ID:
<CAKM3oZVJbLoc=_00xOK_zQKVuDCFo3Pqf1j0i=9+PwmOd_=d...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
Hi everyone. I'm not so skillful with GADTs and DataKinds, so I assume this
mailing list is appropriate to post on.
Basically, I wanted to do GADT like this (involving GHC.TypeNats):
data Symmetric (n :: Nat) where
S1 :: Symmetric 1
(:.) :: (KnownNat n, 2 <= n) => Cyclic n -> Symmetric (n-1) -> Symmetric n
But I had some issues with this. The full question is here (on Stack
Overflow):
https://stackoverflow.com/q/54000646/4540658
Sincerely,
Dannyu NDos
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20190102/4a7c1e03/attachment-0001.html>
------------------------------
Message: 2
Date: Wed, 2 Jan 2019 18:32:01 +0900
From: Dannyu NDos <ndospark...@gmail.com>
To: beginners@haskell.org
Subject: Re: [Haskell-beginners] Overlapping instances via Nat-kind
Message-ID:
<cakm3ozwfgoqebcey9jx9odpudpsmjygyyrplqpbpmqopc-p...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
This question has been answered on Stack Overflow.
2019년 1월 2일 (수) 오후 5:48, Dannyu NDos <ndospark...@gmail.com>님이 작성:
> (Message re-sent)
> Hi everyone. I'm not so skillful with GADTs and DataKinds, so I assume
> this mailing list is appropriate to post on.
>
> Basically, I wanted to do GADT like this (involving GHC.TypeNats):
>
> data Symmetric (n :: Nat) where
> S1 :: Symmetric 1
> (:.) :: (KnownNat n, 2 <= n) => Cyclic n -> Symmetric (n-1) -> Symmetric n
>
> But I had some issues with this. The full question is here (on Stack
> Overflow):
>
> https://stackoverflow.com/q/54000646/4540658
>
> Sincerely,
> Dannyu NDos
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20190102/36a63e17/attachment-0001.html>
------------------------------
Message: 3
Date: Wed, 2 Jan 2019 17:48:21 +0900
From: Dannyu NDos <ndospark...@gmail.com>
To: beginners@haskell.org
Subject: [Haskell-beginners] Fwd: Overlapping instances via Nat-kind
Message-ID:
<cakm3ozwgbe5uuy6czec0jdslftdacijm_9ywtnf+ehaio8b...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
(Message re-sent)
Hi everyone. I'm not so skillful with GADTs and DataKinds, so I assume this
mailing list is appropriate to post on.
Basically, I wanted to do GADT like this (involving GHC.TypeNats):
data Symmetric (n :: Nat) where
S1 :: Symmetric 1
(:.) :: (KnownNat n, 2 <= n) => Cyclic n -> Symmetric (n-1) -> Symmetric n
But I had some issues with this. The full question is here (on Stack
Overflow):
https://stackoverflow.com/q/54000646/4540658
Sincerely,
Dannyu NDos
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20190102/56a8403a/attachment-0001.html>
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 127, Issue 1
*****************************************
