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