git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
48 lines 786 B history raw
1module Main where
3import Prelude
4import Control.Monad.Eff.Console (logShow, log)
6main = do
8 -- semiringNumber
9 logShow (1.0 + 2.0)
10 logShow (1.0 * 2.0)
12 -- ringNumber
13 logShow (1.0 - 2.0)
14 logShow (negate 1.0)
16 -- moduleSemiringNumber
17 logShow (1.0 / 2.0)
19 -- ordNumber
20 logShow (1.0 > 2.0)
21 logShow (1.0 < 2.0)
22 logShow (1.0 <= 2.0)
23 logShow (1.0 >= 2.0)
24 logShow (1.0 == 2.0)
26 -- eqNumber
27 logShow (1.0 == 2.0)
28 logShow (1.0 /= 2.0)
30 -- eqString
31 logShow ("foo" == "bar")
32 logShow ("foo" /= "bar")
34 -- eqBoolean
35 logShow (true == false)
36 logShow (true /= false)
38 -- semigroupString
39 logShow ("foo" <> "bar")
41 -- latticeBoolean
42 logShow (top && true)
43 logShow (bottom || false)
45 -- complementedLatticeBoolean
46 logShow (not true)
48 log "Done"