ixmonad-0.30: Indexed monads library

Safe HaskellNone

Control.IxMonad.Counter

Documentation

data Z Source

data S n Source

data Counter n a Source

Instances

one :: a -> Counter (S Z) aSource