liftEff.purs

module Test where

import Prelude
import Thermite as T
import Control.Monad.Eff.Class (liftEff)
import Control.Monad.Eff.Console (CONSOLE, log)
import Control.Monad.Trans (lift)

type State = { i :: Int }
data Action = MyAction

type Effects eff = (console :: CONSOLE | eff)

mySimpleSpec :: forall props eff. T.Spec (Effects eff) State props Action
mySimpleSpec = T.simpleSpec perform render
  where
    render d _ s _ = []
    perform :: T.PerformAction (Effects eff) State props Action
    perform MyAction _ _ = do
      lift $ liftEff $ log "testing!"
      void $ T.cotransform $ \s -> s { i = s.i + 1 }