104 lines
3.9 KiB
Factor
104 lines
3.9 KiB
Factor
USING: accessors arrays colors fonts kernel models
|
|
models.product monads sequences ui.gadgets ui.gadgets.buttons
|
|
ui.gadgets.editors ui.gadgets.line-support ui.gadgets.tables
|
|
ui.gadgets.tracks ui.render ui.gadgets.scrollers ;
|
|
QUALIFIED: make
|
|
IN: ui.frp
|
|
|
|
! Gadgets
|
|
: <frp-button> ( text -- button ) [ t swap set-control-value ] <border-button> f <model> >>model ;
|
|
TUPLE: frp-table < table quot val-quot color-quot column-titles column-alignment ;
|
|
M: frp-table column-titles column-titles>> ;
|
|
M: frp-table column-alignment column-alignment>> ;
|
|
M: frp-table row-columns quot>> [ call( a -- b ) ] [ drop f ] if* ;
|
|
M: frp-table row-value val-quot>> [ call( a -- b ) ] [ drop f ] if* ;
|
|
M: frp-table row-color color-quot>> [ call( a -- b ) ] [ drop f ] if* ;
|
|
|
|
: <frp-table> ( model -- table )
|
|
frp-table new-line-gadget dup >>renderer [ ] >>quot swap >>model
|
|
f <model> >>selected-value sans-serif-font >>font
|
|
focus-border-color >>focus-border-color
|
|
transparent >>column-line-color [ ] >>val-quot ;
|
|
: <frp-table*> ( -- table ) f <model> <frp-table> ;
|
|
: <frp-list> ( model -- table ) <frp-table> [ 1array ] >>quot ;
|
|
: <frp-list*> ( -- table ) f <model> <frp-list> ;
|
|
|
|
: <frp-field> ( -- field ) f <model> <model-field> ;
|
|
|
|
! Layout utilities
|
|
|
|
GENERIC: output-model ( gadget -- model )
|
|
M: gadget output-model model>> ;
|
|
M: frp-table output-model selected-value>> ;
|
|
M: model-field output-model field-model>> ;
|
|
M: scroller output-model children>> first model>> ;
|
|
|
|
GENERIC: , ( uiitem -- )
|
|
M: gadget , make:, ;
|
|
M: model , activate-model ;
|
|
|
|
GENERIC: -> ( uiitem -- model )
|
|
M: gadget -> dup make:, output-model ;
|
|
M: model -> dup , ;
|
|
M: table -> dup , selected-value>> ;
|
|
|
|
: <box> ( gadgets type -- track )
|
|
[ { } make:make ] dip <track> swap [ f track-add ] each ; inline
|
|
: <box*> ( gadgets type -- track ) [ <box> ] [ [ model>> ] map <product> ] bi >>model ; inline
|
|
: <hbox> ( gadgets -- track ) horizontal <box> ; inline
|
|
: <hbox*> ( gadgets -- track ) horizontal <box*> ; inline
|
|
: <vbox> ( gadgets -- track ) vertical <box> ; inline
|
|
: <vbox*> ( gadgets -- track ) vertical <box*> ; inline
|
|
|
|
! !!! Model utilities
|
|
TUPLE: multi-model < model ;
|
|
: <multi-model> ( models kind -- model ) f swap new-model [ [ add-dependency ] curry each ] keep ;
|
|
|
|
! Events- discrete model utilities
|
|
|
|
TUPLE: merge-model < multi-model ;
|
|
M: merge-model model-changed [ value>> ] dip set-model ;
|
|
: <merge> ( models -- model ) merge-model <multi-model> ;
|
|
|
|
TUPLE: filter-model < multi-model quot ;
|
|
M: filter-model model-changed [ value>> ] dip [ quot>> call( val -- bool ) ] 2keep
|
|
[ set-model ] [ 2drop ] if ;
|
|
: <filter> ( model quot -- filter-model ) [ 1array filter-model <multi-model> ] dip >>quot ;
|
|
|
|
! Behaviors - continuous model utilities
|
|
|
|
TUPLE: fold-model < multi-model oldval quot ;
|
|
M: fold-model model-changed [ [ value>> ] [ [ oldval>> ] [ quot>> ] bi ] bi*
|
|
call( val oldval -- newval ) ] keep set-model ;
|
|
: <fold> ( oldval quot model -- model' ) 1array fold-model <multi-model> swap >>quot
|
|
swap [ >>oldval ] [ >>value ] bi ;
|
|
|
|
TUPLE: switch-model < multi-model original switcher on ;
|
|
M: switch-model model-changed 2dup switcher>> =
|
|
[ over value>> [ [ value>> ] [ t >>on ] bi* set-model ] [ 2drop ] if ]
|
|
[ dup on>> [ 2drop ] [ [ value>> ] dip set-model ] if ] if ;
|
|
M: switch-model model-activated [ original>> ] keep model-changed ;
|
|
: <switch> ( signal1 signal2 -- signal' ) [ 2array switch-model <multi-model> ] 2keep
|
|
[ >>original ] [ >>switcher ] bi* ;
|
|
|
|
TUPLE: mapped < model model quot ;
|
|
|
|
: <mapped> ( model quot -- arrow )
|
|
f mapped new-model
|
|
swap >>quot
|
|
over >>model
|
|
[ add-dependency ] keep ;
|
|
|
|
M: mapped model-changed
|
|
[ [ value>> ] [ quot>> ] bi* call( old -- new ) ] [ nip ] 2bi
|
|
set-model ;
|
|
|
|
! Instances
|
|
M: model fmap <mapped> ;
|
|
|
|
SINGLETON: gadget-monad
|
|
INSTANCE: gadget-monad monad
|
|
INSTANCE: gadget monad
|
|
M: gadget monad-of drop gadget-monad ;
|
|
M: gadget-monad return drop <gadget> swap >>model ;
|
|
M: gadget >>= output-model [ swap call( x -- y ) ] curry ; |