WaveSimTop Module
Top-level functions for Waveform Simulator
Functions and values
| Function or value | Description | 
            
                
              
              
             | 
          |
            
                
              
              
                  Full Usage: 
                   
              refreshButtonAction (arg1, arg2) model dispatch arg5
                  Parameters: 
 Component list
                    
                    arg1 : Connection list
                    
                    model : 'a
                    
                    dispatch : Msg -> 'b
                    
                    arg4 : 'c
                    
                    Returns: 'b
                  
                   | 
          |
            
                
              
              
                  Full Usage: 
                   
              refreshWaveSim newSimulation wsModel model
                  Parameters: 
 bool
                    
                    wsModel : WaveSimModel
                    
                    model : Model
                    
                    Returns: Model * Cmd<Msg>
                  
                   | 
          
            
                
              Major function called after changes to extend simulation and/or redo waveforms. Note that after design change simulation must be recreated externally, and the function called with newSimulation = true. That is because this function has no way to know that the simulation has changed. This function performs (as required) three actions. 1. Extend the simulation to the current cycle (if not already done). 2. Remake the Wave headers, one for each selected waveform. 3. Remake (or make for first time) the saved waveform SVGs for all selected waveforms. 
  | 
        
            
            
  | 
        |
            
                
              
              
                  Full Usage: 
                   
              topHalf (arg1, arg2) model dispatch
                  Parameters: 
 Component list
                    
                    arg1 : Connection list
                    
                    model : Model
                    
                    dispatch : Msg -> unit
                    
                    Returns: ReactElement * bool
                  
                   | 
          
            
 
  | 
        
            
                
              
              
                  Full Usage: 
                   
              viewWaveSim (arg1, arg2) model dispatch
                  Parameters: 
 Component list
                    
                    arg1 : Connection list
                    
                    model : Model
                    
                    dispatch : Msg -> unit
                    
                    Returns: ReactElement
                  
                   | 
          
            
 
  |