shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add Data.Proxy

--- a/lib/AllOfLib.hs

+++ b/lib/AllOfLib.hs

@@ -40,6 +40,7 @@

 import Data.Num

 import Data.Ord

 import Data.Ordering_Type

+import Data.Proxy

 import Data.Ratio

 import Data.Ratio_Type

 import Data.Real

--- /dev/null

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

@@ -1,0 +1,11 @@

+module Data.Proxy(module Data.Proxy) where

+import Prelude

+

+-- NOTE: not polykinded yet

+data Proxy a = Proxy

+

+instance forall a . Show (Proxy a) where

+  show _ = "Proxy"

+

+instance forall a . Eq (Proxy a) where

+  _ == _  =  True

-- 

⑨