Blessed.UI.Lists.ListBar.Option

newtype CommandRaw

Constructors

• CommandRaw { command :: String, eventUID :: String, keys :: Array String }

Instances

• Newtype CommandRaw _
• EncodeJson CommandRaw

newtype CommandsRaw

Constructors

• CommandsRaw (Array CommandRaw)

Instances

• Newtype CommandsRaw _
• EncodeJson CommandsRaw

type OptionsRow :: Row Type -> Row Typetype OptionsRow r = (autoCommandKeys :: Boolean, commands :: CommandsRaw, items :: Array String | r)

type Options = Record (OptionsRow ())

type ListBarAttribute :: Subject -> Symbol -> Row Type -> Type -> Type -> Typetype ListBarAttribute subj id r state e = Attribute subj id (OptionsRow + OptionsRow + OptionsRow + r) state e

lbOption :: forall subj id a r r' sym state e. Respresents ListBar subj id => EncodeJson a => IsSymbol sym => Cons sym a r' (OptionsRow + r) => Proxy sym -> a -> ListBarAttribute subj id r state e

items :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ListBar subj id => Array String -> ListBarAttribute subj id (items :: Array String | r) state e

autoCommandKeys :: forall (subj :: Subject) (id :: Symbol) r state e. Respresents ListBar subj id => Boolean -> ListBarAttribute subj id (autoCommandKeys :: Boolean | r) state e

commands :: forall (subj :: Subject) (id :: Symbol) r state. Respresents ListBar subj id => Array (String /\ (Array Key) /\ (HandlerFn subj id state)) -> ListBarAttribute subj id (commands :: CommandsRaw | r) state BlessedEvent