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

η reduce

Browse Source
This commit is contained in:
pingu 2024-03-01 11:22:15 +01:00
parent ca0fea108f
commit 9437f47ff7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/GoodList.hs
View File

@ -53,9 +53,9 @@ snoc (Singleton a) = Multiple a Empty
snoc (Multiple a b c) = Multiple a (b `snoc` c) snoc (Multiple a b c) = Multiple a (b `snoc` c)
append :: GoodList a -> GoodList a -> GoodList a append :: GoodList a -> GoodList a -> GoodList a
append Empty ys = ys append Empty = id
append (Singleton x) ys = cons x ys append (Singleton x) = cons x
append (Multiple a b c) ys = cons a . append b $ cons c ys append (Multiple a b c) = cons a . append b . cons c
join :: GoodList (GoodList a) -> GoodList a join :: GoodList (GoodList a) -> GoodList a
join Empty = Empty join Empty = Empty