trypurescript = `module Main where import Prelude import Data.Foldable (fold, foldMap, class Foldable) import Effect (Effect) import Effect.Console (logShow) text :: String -> String text = identity h1 :: String -> String h1 s = "

" <> s <> "

" h2 :: String -> String h2 s = "

" <> s <> "

" p :: String -> String p s = "

" <> s <> "

" ul :: String -> String ul s = "

" <> s <> "" li :: String -> String li s = "

" <> s <> "

" list :: forall f. Foldable f => f String -> String list = ul <<< foldMap (li) indent :: String -> String indent s = "

" <> s <> "

" code :: String -> String code s = "" <> s <> "" link :: String -> String -> String link url html = " url <> "\\" target=\\"_top\\">" <> html <> "" main :: Effect Unit main = do logShow render render :: String render = fold [ h1 (text "Try PureScript!") , p (text "Try out the examples below, or create your own!") , h2 (text "Examples") , list (map fromExample examples) , h2 (text "Share Your Code") , p (text "The contents of the text editor are stored in the URL. To share your code you can simply copy the URL.") , p (text "Additionally, a PureScript file can be loaded from GitHub from a gist or a repository. To share code using a gist, include the gist ID in the URL as follows:") , indent (p (code (text " try.purescript.org?gist="))) , p (fold [ text "The gist should contain PureScript module named " , code (text "Main") , text " in a file named " , code (text "Main.purs") , text " containing your PureScript code." ]) , p (text "To share code from a repository, include the path to the source file as follows:") , indent (p (code (text " try.purescript.org?github=////.purs"))) , p (fold [ text "The file should be a PureScript module named " , code (text "Main") , text " containing your PureScript code." ]) ] where fromExample { title, source } = link ("https://github.com/purescript/trypurescript/master/client/examples/" <> source) (text title) examples = [ { title: "Algebraic Data Types" , source: "ADTs.purs" } , { title: "Loops" , source: "Loops.purs" } , { title: "Operators" , source: "Operators.purs" } , { title: "Records" , source: "Records.purs" } , { title: "Recursion" , source: "Recursion.purs" } , { title: "Do Notation" , source: "DoNotation.purs" } , { title: "Type Classes" , source: "TypeClasses.purs" } , { title: "Generic Programming" , source: "Generic.purs" } , { title: "QuickCheck" , source: "QuickCheck.purs" } ] `