turbolift-core/turbolift

turbolift

package turbolift

Type members

Classlikes

sealed trait Computation[+A, -U]
Companion:
object
object Computation extends ComputationExtensions with ComputationInstances
Companion:
class
trait ComputationInstances
trait Effect[Z <: Signature] extends CanPerform[Z] with CanInterpret
Companion:
object
object Effect
Companion:
class
sealed trait Handler[Result[_], Elim, Intro]
Companion:
object
object Handler extends HandlerExtensions
Companion:
class
object Implicits extends AllOrphanedExtensions
trait Signature extends AnyRef

Types

type !![+A, -U] = Computation[A, U]

Value members

Concrete methods

def !!: Computation.type