brick/programs/HelloWorldDemo.hs

{-# LANGUAGE OverloadedStrings #-}
module Main where

import Brick.Main (simpleMain)
import Brick.Widgets.Core (Widget)

ui :: Widget
ui = "Hello, world!"

main :: IO ()
main = simpleMain ui
Rename useAttr to withAttr and add @@ operator to do the same 2015-06-08 08:50:08 +03:00			`{-# LANGUAGE OverloadedStrings #-}`
Add ultra-minimal demo program 2015-05-19 20:23:58 +03:00			`module Main where`

HelloWorldDemo: use explicit imports (and improve others) 2015-07-10 23:15:30 +03:00			`import Brick.Main (simpleMain)`
			`import Brick.Widgets.Core (Widget)`
Add ultra-minimal demo program 2015-05-19 20:23:58 +03:00
Rename Render to Widget and make it a record type whose field is the rendering function 2015-06-25 06:34:35 +03:00			`ui :: Widget`
Simplify minimal demo 2015-06-28 22:36:16 +03:00			`ui = "Hello, world!"`
Rename useAttr to withAttr and add @@ operator to do the same 2015-06-08 08:50:08 +03:00
Add ultra-minimal demo program 2015-05-19 20:23:58 +03:00			`main :: IO ()`
Make simpleMain interface as simple as possible 2015-06-28 22:48:39 +03:00			`main = simpleMain ui`