2021-07-27 19:39:57 +02:00
|
|
|
import { UIEventSource } from "../Logic/UIEventSource"
|
2021-08-07 23:11:34 +02:00
|
|
|
import LayerConfig from "./ThemeConfig/LayerConfig"
|
2022-01-08 04:22:50 +01:00
|
|
|
import { TagsFilter } from "../Logic/Tags/TagsFilter"
|
|
|
|
|
|
|
|
export interface FilterState {
|
2022-01-26 21:40:38 +01:00
|
|
|
currentFilter: TagsFilter
|
|
|
|
state: string | number
|
2022-01-08 04:22:50 +01:00
|
|
|
}
|
2021-07-27 19:39:57 +02:00
|
|
|
|
|
|
|
export default interface FilteredLayer {
|
|
|
|
readonly isDisplayed: UIEventSource<boolean>
|
2022-01-08 04:22:50 +01:00
|
|
|
readonly appliedFilters: UIEventSource<Map<string, FilterState>>
|
2021-07-27 19:39:57 +02:00
|
|
|
readonly layerDef: LayerConfig
|
|
|
|
}
|