ixmonad-0.56: Embeds effect systems into Haskell using parameteric effect monads
Control.Effect.CounterNat
Synopsis
data Counter n a Source
The counter has no semantic meaning |
Constructors
Fields
Instances
tick :: a -> Counter 1 a Source
A tick provides a way to increment the counter |
tick