git.iko.soy/rowtype-yoga/purescript-native
on bc257ee help sign in
rowtype-yoga/purescript-native/examples/passing/MutRec3.purs
19 lines 222 B history raw
1module Main where
3import Prelude
5data A = A B
7data B = B A
9foreign import data S :: *
11f a = case a of A b -> g b
13g :: B -> S
14g b = case b of B a -> f a
16showN :: A -> S
17showN a = f a
19main = Debug.Trace.trace "Done"