| 
									
										
										
										
											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 | 
					
						
							|  |  |  | } |