PlusOne.hs

{-# LANGUAGE TypeOperators, ScopedTypeVariables #-}

import Prelude hiding (until)
import Control.Monad hiding (when)
import Control.Applicative hiding (empty)
import Data.Set hiding (filter,fold, foldl,map)
import Control.FRPNow
import Control.FRPNow.Gloss
import Graphics.Gloss.Interface.Pure.Game

picture :: Int -> Picture
picture numCurry = Text $ show numCurry

mainFRP :: Behavior Float -> EvStream GEvent -> Behavior (Behavior Picture)
mainFRP time evs = mainBehavior 0
  where mainBehavior :: Int -> Behavior (Behavior Picture)
        mainBehavior n = do
          pressPlusEv <- next $ void $ filterEs isPressPlus evs
          nextMain <- snapshot (mainBehavior (n+1)) pressPlusEv
          pure $ picture n `step` nextMain
        isPressPlus (EventKey (Char '+') Down _ _) = True
        isPressPlus _ = False

main = runNowGlossPure (InWindow "CurryCounter" (800, 600) (10, 10)) white 60 mainFRP