git.iko.soy/rowtype-yoga/purescript-native
on 24fdff2 help sign in
21 lines 266 B history raw
1module Main where
3import Prelude
5data A = A | B | C
7f a _ A = a
8f _ a B = a
9f _ _ C = "Done"
11g a _ A = a
12g _ b B = b
13g _ _ C = C
15data M a = N | J a
17h f N a = a
18h f a N = a
19h f (J a) (J b) = J (f a b)
21main = Control.Monad.Eff.Console.log $ f "Done" "Failed" A