blob: 9be6b10568625b06b8453fae05f1f4d7a9d31bcd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE UnicodeSyntax, MultiParamTypeClasses #-}
module T2902_Sum (Sum(..)) where
class Sum c a b where
insert ∷ a → b → c a b → c a b
union ∷ c a b → c a b → c a b
unions ∷ [c a b] → c a b
extractMin ∷ c a b → ((a,b), c a b)
fromList ∷ [(a,b)] → c a b
toList ∷ c a b → [(a,b)]
|
