Idris2Doc : Control.Monad.Reader.Tuple

Control.Monad.Reader.Tuple

(source)

Reexports

importpublic Control.Monad.Reader.Interface

Definitions