Some example

Author: minoki

example/build.sh

@@ -0,0 +1,3 @@
+psc-package build
+purs-tsd-gen -d output
+tsc --strict user.ts

example/psc-package.json

@@ -0,0 +1,13 @@
+{
+  "name": "example",
+  "set": "psc-0.13.0",
+  "source": "https://github.com/purescript/package-sets.git",
+  "depends": [
+    "console",
+    "effect",
+    "foreign-object",
+    "nullable",
+    "prelude",
+    "variant"
+  ]
+}

example/src/Main.purs

@@ -0,0 +1,47 @@
+module Main where
+
+import Prelude (Unit, show, (#), ($), (+))
+import Effect (Effect)
+import Effect.Console (log)
+import Data.Variant (SProxy(..), Variant, case_, on)
+import Data.Nullable (Nullable, toMaybe)
+import Data.Maybe (Maybe(..))
+import Data.Tuple (Tuple(..))
+import Foreign.Object (Object, fromFoldable)
+import Effect.Uncurried (EffectFn2, mkEffectFn2)
+
+main :: Effect Unit
+main = do
+  log "Hello sailor!"
+
+variantToString :: Variant (num :: Number, str :: String) -> String
+variantToString = case_ # on (SProxy :: SProxy "num") show
+                        # on (SProxy :: SProxy "str") (\x -> x)
+
+nullableToString :: Nullable String -> String
+nullableToString x = case toMaybe x of
+  Just y -> y
+  Nothing -> "null"
+
+numToSomeObj :: Number -> Object Number
+numToSomeObj x = fromFoldable [Tuple "foo" x, Tuple "bar" (x + 1.0)]
+
+someEffectFn :: EffectFn2 Number Number Unit
+someEffectFn = mkEffectFn2 $ \a b -> do
+  log (show (a + b))
+
+-- Function s t
+-- Array t
+-- Record { key1 :: Type1, key2 :: Type2 }
+-- Number, Int
+-- String, Char
+-- Boolean
+-- Tuple a b
+-- Maybe a
+-- Either a b
+-- Data.Function.Uncurried
+-- Effect
+-- Control.Monad.Eff
+-- Data.StrMap.StrMap
+-- Data.Variant
+-- Data.Nullable

example/user.ts

@@ -0,0 +1,6 @@
+import * as PursExample from "./output/Main";
+
+console.log(PursExample.variantToString({type: "num", value: 123})); // => "123"
+console.log(PursExample.nullableToString(null)); // => "null"
+console.log(PursExample.numToSomeObj(42).bar); // => 43
+PursExample.someEffectFn(23, 42); // => 65.0