turbolift-core
API
Generated with
turbolift-core/turbolift/turbolift.internals/turbolift.internals.effect/CanInterpret/ThisHandler

ThisHandler

turbolift.internals.effect.CanInterpret.ThisHandler$
object ThisHandler

Defines type aliases for Handler, specialized to eliminate this effect.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object Free

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Free.type

Types

type Const[C, N] = Const[C, ThisEffect, N]

Alias for Handler.Const, specialized to eliminate this effect.

Alias for Handler.Const, specialized to eliminate this effect.

Attributes

type Free[F[_]] = Free[F, ThisEffect]

Alias for Handler.Free, specialized to eliminate this effect.

Alias for Handler.Free, specialized to eliminate this effect.

Attributes

type FromId[F[_], N] = FromId[F, ThisEffect, N]

Alias for Handler.FromId, specialized to eliminate this effect.

Alias for Handler.FromId, specialized to eliminate this effect.

Attributes

type Id[N] = Id[ThisEffect, N]

Alias for Handler.Id, specialized to eliminate this effect.

Alias for Handler.Id, specialized to eliminate this effect.

Attributes

Generated with