shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add Functor instance

--- a/lib/Data/Proxy.hs

+++ b/lib/Data/Proxy.hs

@@ -2,6 +2,7 @@

 import Primitives

 import Data.Bool_Type

 import Data.Eq

+import Data.Functor

 import Text.Show

 type Proxy :: forall (k::Kind) . k -> Type

@@ -12,3 +13,6 @@

 instance forall a . Eq (Proxy a) where

   _ == _  =  True

+

+instance Functor Proxy where

+  fmap _ Proxy = Proxy

-- 

⑨