git.iko.soy/rowtype-yoga/purescript-native
on e82e607 help sign in
rowtype-yoga/purescript-native/examples/passing/MPTCs.purs
20 lines 381 B history raw
1module Main where
3import Prelude
5class NullaryTypeClass where
6 greeting :: String
8instance nullaryTypeClass :: NullaryTypeClass where
9 greeting = "Hello, World!"
11class Coerce a b where
12 coerce :: a -> b
14instance coerceRefl :: Coerce a a where
15 coerce a = a
17instance coerceShow :: (Prelude.Show a) => Coerce a String where
18 coerce = show
20main = Debug.Trace.trace "Done"