pingu/GoodList
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Monad?

Browse Source
This commit is contained in:
pingu 2024-02-29 18:44:41 +01:00
parent dd3c3b1d9e
commit 011050fe3a
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/GoodList.hs
View File

@ -19,6 +19,13 @@ instance Applicative GoodList where
(Singleton f) <*> x = fmap f x (Singleton f) <*> x = fmap f x
(Multiple a b c) <*> x = append (append (fmap a x) (b <*> x)) (fmap c x) (Multiple a b c) <*> x = append (append (fmap a x) (b <*> x)) (fmap c x)
-- Needs to be proven
instance Monad GoodList where
return = pure
Empty >>= _ = Empty
Singleton x >>= f = f x
Multiple a b c >>= f = append (append (f a) (b >>= f)) (f c)
instance Semigroup (GoodList a) where instance Semigroup (GoodList a) where
(<>) = append (<>) = append
@ -34,7 +41,6 @@ instance Show a => Show (GoodList a) where
show' (Multiple a Empty c) = show a ++ ", " ++ show c show' (Multiple a Empty c) = show a ++ ", " ++ show c
show' (Multiple a b c) = show a ++ ", " ++ show' b ++ ", " ++ show c show' (Multiple a b c) = show a ++ ", " ++ show' b ++ ", " ++ show c
singleton :: a -> GoodList a singleton :: a -> GoodList a
singleton = Singleton singleton = Singleton