funkia / purescript-turbine Goto Github PK

module Main where

import Prelude

import Data.FunctorWithIndex (mapWithIndex)
import Data.String as String
import Data.Tuple (Tuple(..))
import Data.Tuple as Tuple
import Effect (Effect)
import Turbine ((</>))
import Turbine as T
import Turbine.HTML as TH

-- | The entry-point application component, whose primary function it is to switch around
-- | between the login / registration / main activities.
app :: T.Component {} {}
app = T.component \o -> do
    let 
      splitify :: String -> Array (Tuple Int String)
      splitify s = mapWithIndex (\i c -> Tuple i (String.singleton c)) (String.toCodePointArray s)
    (
      (TH.input {} `T.use` (\oo -> {the_string: oo.value}))
        </>
      (TH.ul {} (T.list (show >>> TH.text >>> TH.li {}) (splitify <$> o.the_string) Tuple.fst))
    ) `T.output` {}
    

main :: Effect Unit
main = T.runComponent "#mount" app

Error found:
in module Main
at src/Main.purs line 121, column 3 - line 130, column 4

  Could not match type
                                     
    ( blur :: Stream FocusEvent      
    , click :: Stream Unit           
    , dblclick :: Stream Unit        
    , keydown :: Stream KeyboardEvent
    , keyup :: Stream KeyboardEvent  
    )                                
                                     
  with type
                                                    
    ( addItem :: Stream String                      
    , items :: Behavior                             
                 (Array                             
                    { isComplete :: Behavior Boolean
                    , name :: Behavior String       
                    , isEditing :: Behavior Boolean 
                    , delete :: Stream Int          
                    }                               
                 )                                  
    )                                               
                                                    

while trying to match type { click :: Stream Unit           
                           , dblclick :: Stream Unit        
                           , keydown :: Stream KeyboardEvent
                           , keyup :: Stream KeyboardEvent  
                           , blur :: Stream FocusEvent      
                           }                                
  with type { addItem :: Stream String                      
            , items :: Behavior                             
                         (Array                             
                            { isComplete :: Behavior Boolean
                            , name :: Behavior String       
                            , isEditing :: Behavior Boolean 
                            , delete :: Stream Int          
                            }                               
                         )                                  
            }                                               
while checking that expression (section { "class": ...                 
                                        }                              
                               )                                       
                               ((header { "class": ...                 
                                        }                              
                                )                                      
                                ((merge (...)) (todoFooter { todos: ...
                                                           }           
                                               )                       
                                )                                      
                               )                                       
  has type Component                                         
             { addItem :: Stream String                      
             , items :: Behavior                             
                          (Array                             
                             { isComplete :: Behavior Boolean
                             , name :: Behavior String       
                             , isEditing :: Behavior Boolean 
                             , delete :: Stream Int          
                             }                               
                          )                                  
             }                                               
             { addItem :: Stream String                      
             , items :: Behavior                             
                          (Array                             
                             { isComplete :: Behavior Boolean
                             , name :: Behavior String       
                             , isEditing :: Behavior Boolean 
                             , delete :: Stream Int          
                             }                               
                          )                                  
             }                                               
in value declaration todoAppView