[Haskell-cafe] PolyKind for Fixed and HasResolution from Data.Fixed

[Никита Тимофеев]

Hi all!

If we define HasResolution and Fixed like that:

class HasResolution (a :: k) where
    resolution :: p a -> Integer

newtype Fixed (a :: k) = Fixed Integer

We can do something like that:

instance KnownNat a => HasResolution a where
    resolution = natVal

2.3 :: Fixed 1

-- 
Timofeev N.D.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160306/2c8daebd/attachment.html>