• Home
• io.arrow-kt
• arrow-data
• 0.6.0
• source code
• Coreader.kt

×

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.

arrow.data.Coreader.kt Maven / Gradle / Ivy

package arrow.data

import arrow.core.*

fun  ((A) -> B).coreader(): CoreaderT = Coreader(this)

fun  CoreaderT.runId(d: A): B = this.run(Id(d))

object Coreader {
    operator fun  invoke(run: (A) -> B): CoreaderT = Cokleisli({ a: IdKind -> run(a.ev().value) })

    fun  pure(x: B): CoreaderT = Cokleisli.pure(x)

    fun  ask(): CoreaderT = Cokleisli.ask()
}