shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add null

--- a/src/MicroHs/IdentMap.hs

+++ b/src/MicroHs/IdentMap.hs

@@ -11,11 +11,12 @@

   fromListWith, fromList,

   delete,

   lookup,

+  null,

   size,

   toList, elems, keys,

   mapM,

   ) where

-import Prelude(); import MHSPrelude hiding(lookup, mapM)

+import Prelude(); import MHSPrelude hiding(lookup, mapM, null)

 import MicroHs.Ident

 data Map a

@@ -68,6 +69,10 @@

 size Nil = 0

 size (One _ _) = 1

 size (Node _ s _ _ _) = s

+

+null :: forall a . Map a -> Bool

+null Nil = True

+null _ = False

 node :: forall a . Map a -> Ident -> a -> Map a -> Map a

 node Nil  key val Nil   = One key val

-- 

⑨