Commit 82abcd7a authored by Mart Lubbers's avatar Mart Lubbers Committed by Camil Staps

Remove general instance +++ (arr a) | Array arr a; add specific ones for {} and {!}

parent e7b70ad2
......@@ -30,7 +30,8 @@ mapArr :: !(a -> a) !(arr a) -> arr a | Array arr a
appendArr :: !(arr a) !(arr a) -> arr a | Array arr a
instance +++ (arr a) | Array arr a
instance +++ {a}
instance +++ {!a}
instance Functor {} where fmap :: (a -> b) !{a} -> {b}
instance Functor {!} where fmap :: (a -> b) !{!a} -> {!b}
......
......@@ -111,7 +111,9 @@ appendArr l r
addWithOffset totalSz offset oldArr newArr
= foldrArrWithKey (\idx oldEl newArr -> {newArr & [idx + offset] = oldEl}) newArr oldArr
instance +++ (arr a) | Array arr a where
instance +++ {a} where
(+++) l r = appendArr l r
instance +++ {!a} where
(+++) l r = appendArr l r
instance Functor {}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment