• Home
• io.github.mmhelloworld
• idris-jvm-compiler
• 0.7.1-rc.1
• source code
• Either.idr

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

base.Control.Monad.Either.idr Maven / Gradle / Ivy

module Control.Monad.Either

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