ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)
Control.Effect.Counter
data Z Source
Instances
data S n Source
data Counter n a Source
tick :: a -> Counter (S Z) a Source
type family n :+ m Source