Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 09-Sep-2001 | - | ||||
AttrDemo.hs | H A D | 09-Sep-2001 | 2.5 KiB | 80 | 70 | |
BorderDemo.hs | H A D | 09-Sep-2001 | 2.4 KiB | 104 | 88 | |
CacheDemo.hs | H A D | 09-Sep-2001 | 2.5 KiB | 84 | 72 | |
CroppingDemo.hs | H A D | 09-Sep-2001 | 1.6 KiB | 62 | 54 | |
CustomEventDemo.hs | H A D | 09-Sep-2001 | 2 KiB | 88 | 72 | |
DialogDemo.hs | H A D | 09-Sep-2001 | 1.7 KiB | 69 | 57 | |
DynamicBorderDemo.hs | H A D | 09-Sep-2001 | 2 KiB | 72 | 61 | |
EditDemo.hs | H A D | 09-Sep-2001 | 2.8 KiB | 94 | 76 | |
FileBrowserDemo.hs | H A D | 09-Sep-2001 | 3.4 KiB | 106 | 92 | |
FillDemo.hs | H A D | 09-Sep-2001 | 371 | 16 | 12 | |
FormDemo.hs | H A D | 09-Sep-2001 | 5.2 KiB | 163 | 136 | |
HelloWorldDemo.hs | H A D | 09-Sep-2001 | 110 | 10 | 6 | |
LayerDemo.hs | H A D | 09-Sep-2001 | 2.5 KiB | 81 | 66 | |
ListDemo.hs | H A D | 09-Sep-2001 | 3 KiB | 103 | 87 | |
ListViDemo.hs | H A D | 09-Sep-2001 | 3 KiB | 94 | 78 | |
MarkupDemo.hs | H A D | 09-Sep-2001 | 1.2 KiB | 49 | 40 | |
MouseDemo.hs | H A D | 09-Sep-2001 | 5.5 KiB | 154 | 133 | |
PaddingDemo.hs | H A D | 09-Sep-2001 | 1.5 KiB | 59 | 53 | |
ProgressBarDemo.hs | H A D | 09-Sep-2001 | 3.3 KiB | 105 | 86 | |
ReadmeDemo.hs | H A D | 09-Sep-2001 | 310 | 16 | 12 | |
SuspendAndResumeDemo.hs | H A D | 09-Sep-2001 | 1.6 KiB | 73 | 60 | |
TableDemo.hs | H A D | 09-Sep-2001 | 1.6 KiB | 64 | 53 | |
TailDemo.hs | H A D | 09-Sep-2001 | 4.9 KiB | 151 | 116 | |
TextWrapDemo.hs | H A D | 09-Sep-2001 | 828 | 26 | 21 | |
ThemeDemo.hs | H A D | 09-Sep-2001 | 2.1 KiB | 88 | 71 | |
ViewportScrollDemo.hs | H A D | 09-Sep-2001 | 2.9 KiB | 89 | 75 | |
VisibilityDemo.hs | H A D | 09-Sep-2001 | 4.3 KiB | 136 | 113 |
ReadmeDemo.hs
1module Main where 2 3import Brick 4import Brick.Widgets.Center 5import Brick.Widgets.Border 6import Brick.Widgets.Border.Style 7 8ui :: Widget () 9ui = 10 withBorderStyle unicode $ 11 borderWithLabel (str "Hello!") $ 12 (center (str "Left") <+> vBorder <+> center (str "Right")) 13 14main :: IO () 15main = simpleMain ui 16