crem-0.1.0.0: examples/Crem/Example/PlusOneUpToFour.hs

{-# LANGUAGE GADTs #-}

module Crem.Example.PlusOneUpToFour where

import Crem.StateMachine (StateMachine, stateless)

plus1UpTo4 :: StateMachine Int [Int]
plus1UpTo4 =
  stateless (\i -> [i + 1 | i < 5])