Re: Datakind and instance
PICCA Frederic-Emmanuel <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <1923705761.56219215.1718372497027.JavaMail.zimbra@synchrotron-soleil.fr> |
----- Le 13 Juin 24, à 22:06, Georgi Lyubenov [email protected] a écrit : > You can make it polykinded: > > > {-# LANGAUGE PolyKinds #-} > > class HasIniConfig (a :: k) where > getConfig ... > > And then you can use both types of kind ProjectionType, and also > "regular types" of kind Type. > Thanks a lot it works. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.