[Haskell-beginners] Overlapping instances via Nat-kind
ndospark320 at gmail.com
Wed Jan 2 09:32:01 UTC 2019
This question has been answered on Stack Overflow.
2019년 1월 2일 (수) 오후 5:48, Dannyu NDos <ndospark320 at 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
> Dannyu NDos
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Beginners