Idris2Doc : Control.Monad.Either

Control.Monad.Either(source)

Reexports

import public Control.Monad.Error.Either as Control.Monad.Either
import public Control.Monad.Error.Interface as Control.Monad.Either