Module
Blessed.UI.DataDisplay.ProgressBar.Option
- Package
- purescript-blessed
- Repository
- shamansir/purescript-blessed
#OptionsRow Source
type OptionsRow :: Row Type -> Row Typetype OptionsRow r = (filled :: Int, keys :: Boolean, mouse :: Boolean, orientation :: Orientation, pch :: Char, style_bar :: Array (EndStyleOption ()) | r)
#Options Source
type Options = Record (OptionsRow ())#ProgressBarAttribute Source
type ProgressBarAttribute :: Subject -> Symbol -> Row Type -> Type -> Type -> Typetype ProgressBarAttribute subj id r state e = Attribute subj id (OptionsRow + OptionsRow + r) state e
#pbOption Source
pbOption :: forall subj id a r r' sym state e. Respresents ProgressBar subj id => EncodeJson a => IsSymbol sym => Cons sym a r' (OptionsRow + r) => Proxy sym -> a -> ProgressBarAttribute subj id r state e#orientation Source
orientation :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ProgressBar subj id => Orientation -> ProgressBarAttribute subj id (orientation :: Orientation | r) state e#mouse Source
mouse :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ProgressBar subj id => Boolean -> ProgressBarAttribute subj id (mouse :: Boolean | r) state e#keys Source
keys :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ProgressBar subj id => Boolean -> ProgressBarAttribute subj id (keys :: Boolean | r) state e#filled Source
filled :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ProgressBar subj id => Int -> ProgressBarAttribute subj id (filled :: Int | r) state e#pch Source
pch :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ProgressBar subj id => Char -> ProgressBarAttribute subj id (pch :: Char | r) state e#style_bar Source
style_bar :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ProgressBar subj id => Array (EndStyleOption ()) -> ProgressBarAttribute subj id (style_bar :: Array (EndStyleOption ()) | r) state e- Modules
- Blessed
- Blessed.
Core. Align - Blessed.
Core. Border - Blessed.
Core. Callback - Blessed.
Core. Color - Blessed.
Core. Coord - Blessed.
Core. Cursor - Blessed.
Core. Dimension - Blessed.
Core. EndStyle - Blessed.
Core. Flex - Blessed.
Core. Helpers - Blessed.
Core. Key - Blessed.
Core. Label - Blessed.
Core. ListStyle - Blessed.
Core. Offset - Blessed.
Core. Orientation - Blessed.
Core. Padding - Blessed.
Core. Style - Blessed.
Core. Terminal - Blessed.
Demo - Blessed.
Internal. ArgonautCodecExtra - Blessed.
Internal. BlessedOp - Blessed.
Internal. BlessedSubj - Blessed.
Internal. Codec - Blessed.
Internal. Command - Blessed.
Internal. Core - Blessed.
Internal. Dump - Blessed.
Internal. Emitter - Blessed.
Internal. Foreign - Blessed.
Internal. JsApi - Blessed.
Internal. NodeKey - Blessed.
UI. Base. Element. Event - Blessed.
UI. Base. Element. Method - Blessed.
UI. Base. Element. Method. Content - Blessed.
UI. Base. Element. Option - Blessed.
UI. Base. Element. Property - Blessed.
UI. Base. Element. PropertySet - Blessed.
UI. Base. Node. Event - Blessed.
UI. Base. Node. Method - Blessed.
UI. Base. Node. Option - Blessed.
UI. Base. Node. Property - Blessed.
UI. Base. Screen - Blessed.
UI. Base. Screen. Event - Blessed.
UI. Base. Screen. Method - Blessed.
UI. Base. Screen. Option - Blessed.
UI. Base. Screen. Property - Blessed.
UI. Boxes. BigText. Option - Blessed.
UI. Boxes. Box - Blessed.
UI. Boxes. Box. Event - Blessed.
UI. Boxes. Box. Method - Blessed.
UI. Boxes. Box. Option - Blessed.
UI. Boxes. Box. Property - Blessed.
UI. Boxes. Line - Blessed.
UI. Boxes. Line. Event - Blessed.
UI. Boxes. Line. Option - Blessed.
UI. Boxes. Text. Option - Blessed.
UI. DataDisplay. Log - Blessed.
UI. DataDisplay. Log. Event - Blessed.
UI. DataDisplay. Log. Method - Blessed.
UI. DataDisplay. Log. Option - Blessed.
UI. DataDisplay. Log. Property - Blessed.
UI. DataDisplay. ProgressBar. Event - Blessed.
UI. DataDisplay. ProgressBar. Method - Blessed.
UI. DataDisplay. ProgressBar. Option - Blessed.
UI. DataDisplay. Table. Method - Blessed.
UI. DataDisplay. Table. Option - Blessed.
UI. Forms. Button - Blessed.
UI. Forms. Button. Event - Blessed.
UI. Forms. Button. Method - Blessed.
UI. Forms. Button. Option - Blessed.
UI. Forms. Checkbox - Blessed.
UI. Forms. Checkbox. Event - Blessed.
UI. Forms. Checkbox. Method - Blessed.
UI. Forms. Checkbox. Option - Blessed.
UI. Forms. Checkbox. Property - Blessed.
UI. Forms. Form. Event - Blessed.
UI. Forms. Form. Method - Blessed.
UI. Forms. Form. Option - Blessed.
UI. Forms. Form. Property - Blessed.
UI. Forms. TextArea - Blessed.
UI. Forms. TextArea. Event - Blessed.
UI. Forms. TextArea. Method - Blessed.
UI. Forms. TextArea. Option - Blessed.
UI. Forms. TextArea. Property - Blessed.
UI. Forms. TextBox - Blessed.
UI. Forms. TextBox. Event - Blessed.
UI. Forms. TextBox. Option - Blessed.
UI. Forms. TextBox. Property - Blessed.
UI. Lists. FileManager. Event - Blessed.
UI. Lists. FileManager. Method - Blessed.
UI. Lists. FileManager. Option - Blessed.
UI. Lists. FileManager. Property - Blessed.
UI. Lists. List - Blessed.
UI. Lists. List. Event - Blessed.
UI. Lists. List. Method - Blessed.
UI. Lists. List. Option - Blessed.
UI. Lists. List. Property - Blessed.
UI. Lists. ListBar - Blessed.
UI. Lists. ListBar. Event - Blessed.
UI. Lists. ListBar. Method - Blessed.
UI. Lists. ListBar. Option - Blessed.
UI. Lists. ListTable. Method - Blessed.
UI. Lists. ListTable. Option - Blessed.
UI. Prompts. Loading. Method - Blessed.
UI. Prompts. Message. Method - Blessed.
UI. Prompts. Prompt. Method - Blessed.
UI. Prompts. Question. Method - Blessed.
UI. Special. Terminal. Option - Data.
Unfoldable1. Extra