git.iko.soy/rowtype-yoga/purescript-backend-optimizer
on main help sign in
35 lines 975 B history raw
1module Snapshot.DefaultRulesEq01 where
3import Prelude
5type R = { foo :: Int, bar :: String, baz :: Boolean }
7test1 :: R -> R -> Boolean
8test1 = eq
10test2 :: R -> R -> Boolean
11test2 a b = eq a b
13test3 :: R -> Boolean
14test3 = eq { foo: 42, bar: "hello", baz: false }
16test4 :: R -> Boolean
17test4 a = eq { foo: 42, bar: "hello", baz: false } a
19test5 :: R -> Boolean
20test5 a = eq a { foo: 42, bar: "hello", baz: false }
22test6 :: Boolean
23test6 = eq { foo: 42, bar: "hello", baz: false } { foo: 42, bar: "hello", baz: false }
25test7 :: Boolean
26test7 = eq { foo: 42, bar: "hello", baz: false } { foo: 43, bar: "hello", baz: false }
28test8 :: (Unit -> String) -> Boolean
29test8 x = eq { foo: 42, bar: "hello", baz: false } { foo: 43, bar: x unit, baz: false }
31test9 :: (Unit -> String) -> Boolean
32test9 x = eq { foo: 42, bar: "hello", baz: true } { foo: 42, bar: x unit, baz: true }
34test10 :: (Unit -> String) -> R -> Boolean
35test10 x = eq { foo: 42, bar: x unit, baz: true }