| 
									
										
										
										
											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"; | 
					
						
							| 
									
										
										
										
											2021-09-07 01:49:18 +02:00
										 |  |  | import {And} from "../Logic/Tags/And"; | 
					
						
							| 
									
										
										
										
											2021-09-27 18:35:32 +02:00
										 |  |  | import FilterConfig from "./ThemeConfig/FilterConfig"; | 
					
						
							| 
									
										
										
										
											2021-07-27 19:39:57 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | export default interface FilteredLayer { | 
					
						
							|  |  |  |     readonly isDisplayed: UIEventSource<boolean>; | 
					
						
							| 
									
										
										
										
											2021-09-27 18:35:32 +02:00
										 |  |  |     readonly appliedFilters: UIEventSource<{filter: FilterConfig, selected: number}[]>; | 
					
						
							| 
									
										
										
										
											2021-07-27 19:39:57 +02:00
										 |  |  |     readonly layerDef: LayerConfig; | 
					
						
							|  |  |  | } |