counter.hs

module Counter where

-- カウンタを表わす型
data Counter a = Counter { val       -- 値
                         , step :: a -- 増分
                         } deriving Show

-- カウンタの値を増加させる
next :: Num a => Counter a -> (a, Counter a)
next (Counter v s) = let v' = v + s
                     in (v', Counter v' s)