git.iko.soy/rowtype-yoga/purescript-native
on e82e607 help sign in
rowtype-yoga/purescript-native/examples/passing/Superclasses1.purs
18 lines 300 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 clNumber :: Cl Number where
13 cl n m = n + m
15test :: forall a. (Cl a) => a -> a
16test a = su (cl a a)
18main = Debug.Trace.print $ test 10