Idris2/libs/base/Control/Monad/Either.idr
2021-01-19 11:53:23 +01:00

5 lines
162 B
Idris

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