extension.arrow.effects.instances.io.applicativeError.IOApplicativeErrorInstance.kt Maven / Gradle / Ivy

Go to download
package arrow.effects.instances.io.applicativeError

import arrow.Kind
import arrow.core.Either
import arrow.core.ForOption
import arrow.core.ForTry
import arrow.effects.ForIO
import arrow.effects.IO
import arrow.effects.IO.Companion
import arrow.effects.instances.IOApplicativeErrorInstance
import arrow.typeclasses.ApplicativeError
import kotlin.Function0
import kotlin.Function1
import kotlin.Suppress
import kotlin.Throwable
import kotlin.jvm.JvmName

@JvmName("handleErrorWith")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  Kind.handleErrorWith(arg1: Function1>): IO = arrow.effects.IO.applicativeError().run {
  [email protected](arg1) as arrow.effects.IO
}

@JvmName("raiseError1")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  Throwable.raiseError(): IO = arrow.effects.IO.applicativeError().run {
  [email protected]() as arrow.effects.IO
}

@JvmName("fromOption")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  Kind.fromOption(arg1: Function0): IO = arrow.effects.IO.applicativeError().run {
  [email protected](arg1) as arrow.effects.IO
}

@JvmName("fromEither")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  Either.fromEither(arg1: Function1): IO = arrow.effects.IO.applicativeError().run {
  [email protected](arg1) as arrow.effects.IO
}

@JvmName("fromTry")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  Kind.fromTry(arg1: Function1): IO = arrow.effects.IO.applicativeError().run {
  [email protected](arg1) as arrow.effects.IO
}

@JvmName("handleError")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  Kind.handleError(arg1: Function1): IO = arrow.effects.IO.applicativeError().run {
  [email protected](arg1) as arrow.effects.IO
}

@JvmName("attempt")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  Kind.attempt(): IO> = arrow.effects.IO.applicativeError().run {
  [email protected]() as arrow.effects.IO>
}

@JvmName("catch")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  catch(arg0: Function1, arg1: Function0): IO = arrow.effects.IO
   .applicativeError()
   .catch(arg0, arg1) as arrow.effects.IO

@JvmName("catch")
@Suppress(
        "UNCHECKED_CAST",
        "USELESS_CAST",
        "EXTENSION_SHADOWED_BY_MEMBER",
        "UNUSED_PARAMETER"
)
fun  ApplicativeError.catch(arg1: Function0): IO = arrow.effects.IO.applicativeError().run {
  [email protected](arg1) as arrow.effects.IO
}

fun Companion.applicativeError(): IOApplicativeErrorInstance = object : arrow.effects.instances.IOApplicativeErrorInstance {  }