git.iko.soy/rowtype-yoga/purescript-native
on ebbc4e4 help sign in
rowtype-yoga/purescript-native/examples/passing/Newtype.purs
23 lines 435 B history raw
1module Main where
3import Prelude hiding (apply)
4import Control.Monad.Eff
5import Control.Monad.Eff.Console
7newtype Thing = Thing String
9instance showThing :: Show Thing where
10 show (Thing x) = "Thing " ++ show x
12newtype Box a = Box a
14instance showBox :: (Show a) => Show (Box a) where
15 show (Box x) = "Box " ++ show x
17apply f x = f x
19main = do
20 print $ Thing "hello"
21 print $ Box 42.0
22 print $ apply Box 9000.0
23 log "Done"