Prepack on PureScript

Main.purs

module Main where

import Prelude

import Control.Monad.Eff.Console (log)
import Run (FProxy, Run, SProxy(SProxy), interpret, liftEffect, runBase)

data Speak a = Talk String a | Shout String a
derive instance functorSpeak :: Functor Speak

type SPEAK = FProxy Speak
speak = (SProxy :: SProxy "speak")

talk :: forall r. String -> Run (speak :: SPEAK | r) Unit
talk s = liftEffect speak $ Talk (if s == "" then "..." else s) unit

shout :: forall r. String -> Run (speak :: SPEAK | r) Unit
shout s = liftEffect speak $ Shout (if s == "" then "!!!" else s <> "!") unit

talkProg :: Run (speak :: SPEAK) Unit
talkProg = do
  talk ""
  talk "Hi"
  shout "Hi"

main = do
  talkProg
    # interpret speak case _ of
      Talk str a -> log str *> pure a
      Shout str a -> log str *> pure a
    # runBase

Prepack

> pulp browserify --to out.js
> prepack out.js 
console.log("...");
console.log("Hi");
console.log("Hi!");