git.iko.soy/rowtype-yoga/purescript-native
on e82e607 help sign in
rowtype-yoga/purescript-native/examples/passing/Superclasses2.purs
21 lines 375 B history raw
1module Main where
3class Su a where
4 su :: a -> a
6class (Su [a]) <= Cl a where
7 cl :: a -> a -> a
9instance suNumber :: Su Number where
10 su n = n + 1
12instance suArray :: (Su a) => Su [a] where
13 su (x : _) = [su x]
15instance clNumber :: Cl Number where
16 cl n m = n + m
18test :: forall a. (Cl a) => a -> [a]
19test x = su [cl x x]
21main = Debug.Trace.print $ test 10 !! 0