Idris2Doc : Control.Monad.State.Tuple

Control.Monad.State.Tuple

(source)

Reexports

importpublic Control.Monad.State.Interface

Definitions