Idris2Doc : Control.Monad.Reader.Tuple

Control.Monad.Reader.Tuple

(source)

Reexports

import public Control.Monad.Reader.Interface

Definitions