on 116a5a8 help sign in
25 lines 373 B history raw
1{-# LANGUAGE InstanceSigs #-}
3instance Eq Int
4 where
5 (==) :: Int -> Int -> Bool
6 (==) _ _ = False
8instance Ord Int where
9 compare ::
10 Int
11 -> Int
12 -> Ordering
13 compare
14 _
15 _
16 = GT
18instance Applicative [] where
19 pure ::
20 a
21 -> [a]
22 pure a = [a]
23 (<*>)
24 :: [ a ] -> [ a ] -> [ a ]
25 (<*>) _ _ = []