git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Add Monad example
832c829Phil Freeman
examples/passing/TypeClasses.purs+8
compare with golang
unifiedsplit
@@ -19,3 +19,11 @@ instance (TypeClasses.Show a) => TypeClasses.Show (Data a) where
19 show (Data a) = "Data (" ++ show a ++ ")"
19 show (Data a) = "Data (" ++ show a ++ ")"
20
20
21test3 = show (Data "testing")
21test3 = show (Data "testing")
22+
23+class Monad m where
24+ ret :: forall a. a -> m a
25+ bind :: forall a b. m a -> (a -> m b) -> m b
26+
27+instance TypeClasses.Monad Data where
28+ ret = Data
29+ bind (Data a) f = f a