shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add Data.ZipList

--- a/lib/AllOfLib.hs

+++ b/lib/AllOfLib.hs

@@ -61,6 +61,7 @@

 import Data.Void

 import Data.Word

 import Data.Word8

+import Data.ZipList

 import Debug.Trace

 import Foreign.C.String

 import Foreign.Marshal.Alloc

--- /dev/null

+++ b/lib/Data/ZipList.hs

@@ -1,0 +1,15 @@

+module Data.ZipList(ZipList(..), getZipList) where

+import Prelude

+

+newtype ZipList a = ZipList [a]

+  deriving (Eq, Ord, Show)

+

+getZipList :: forall a . ZipList a -> [a]

+getZipList (ZipList as) = as

+

+instance Functor ZipList where

+  fmap f (ZipList as) = ZipList (map f as)

+

+instance Applicative ZipList where

+  pure a = ZipList (repeat a)

+  liftA2 f (ZipList xs) (ZipList ys) = ZipList (zipWith f xs ys)

-- 

⑨