ES
{- GADTs#-}
data Expr a where
I :: Num a => a -> Expr a
data Expr a where
I :: Num a => a -> Expr a
Size: a a a
2016 March 18
ES
может как-нибудь так?
ES
просто неудачно выбранное название конструктора %)
DS
кто-нить знает, в
data Mytype a = ... можно ли указать какому классу может принадлежать a ?data Num a => My a = My a deriving (Show)
DS
в этом случае подсунуть 123 получится, а строку "123" - нет
ES
это, вроде, устаревший метод
ES
The designers of Haskell 98 do now think, that it was a bad decision to allow constraints on constructors. GHC as of version 7.2 disallows them by default (turn back on with -XDatatypeContexts).
ES
data MyType a where
MyType :: Num a => a -> MyType a
MyType :: Num a => a -> MyType a
DS
Я проверил на ghc 7.10.2
ES
это рекомендованный метод решения проблемы, как я понимаю
ES
через GADT
DS
да, через GADT лучше
DS
я привёл первое, что на ум пришло... :-)
DS