turbolift-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
turbolift-core/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

Concise view

Type members

Types

type Const[T, N] = Const[T, 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 FreeConst[T] = FreeConst[T, ThisEffect]

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

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

Attributes

type FreeId = FreeId[ThisEffect]

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

Alias for Handler.FreeId, 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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL