Module
Blessed.UI.Lists.List.Option
- Package
- purescript-blessed
- Repository
- shamansir/purescript-blessed
#OptionsRow Source
type OptionsRow :: Row Type -> Row Typetype OptionsRow r = (interactive :: Boolean, invertSelected :: Boolean, items :: Array String, keys :: Boolean, mouse :: Boolean, orientation :: Orientation, search :: String -> Effect Unit, style :: Array (ListStyleOption ()), vi :: Boolean | r)
#Options Source
type Options = Record (OptionsRow ())#ListAttribute Source
type ListAttribute :: Subject -> Symbol -> Row Type -> Type -> Type -> Typetype ListAttribute subj id r state e = Attribute subj id (OptionsRow + OptionsRow + r) state e
#listOption Source
listOption :: forall subj id a r r' sym state e. Respresents List subj id => EncodeJson a => IsSymbol sym => Cons sym a r' (OptionsRow + r) => Proxy sym -> a -> ListAttribute subj id r state e#orientation Source
orientation :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Orientation -> ListAttribute subj id (orientation :: Orientation | r) state e#mouse Source
mouse :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Boolean -> ListAttribute subj id (mouse :: Boolean | r) state e#keys Source
keys :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Boolean -> ListAttribute subj id (keys :: Boolean | r) state e#vi Source
vi :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Boolean -> ListAttribute subj id (vi :: Boolean | r) state e#items Source
items :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Array String -> ListAttribute subj id (items :: Array String | r) state e#interactive Source
interactive :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Boolean -> ListAttribute subj id (interactive :: Boolean | r) state e#invertSelected Source
invertSelected :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Boolean -> ListAttribute subj id (invertSelected :: Boolean | r) state e#StyleAttrubute Source
type StyleAttrubute :: Subject -> Symbol -> Type -> Type -> Row Type -> Typetype StyleAttrubute subj id state e r = ListAttribute subj id (style :: Array (ListStyleOption ()) | r) state e
#style Source
style :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents List subj id => Array (ListStyleOption ()) -> StyleAttrubute subj id state e r- 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