2016-03-13 18:04:14 +00:00
|
|
|
module HelloWorld (..) where
|
2016-02-23 03:29:13 +00:00
|
|
|
|
2016-03-13 18:04:14 +00:00
|
|
|
|
|
|
|
helloWorld : Maybe String -> String
|
|
|
|
helloWorld name =
|
2016-02-23 03:29:13 +00:00
|
|
|
case name of
|
|
|
|
Just name ->
|
|
|
|
"Hello, " ++ name ++ "!"
|
|
|
|
Nothing ->
|
|
|
|
"Hello, World!"
|