turbolift-core
API
Generated with
turbolift-core/turbolift/Handler/FromId

FromId

turbolift.Handler.FromId
object FromId

Type-level fluent interface for accessing Handler type aliases.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
FromId.type

Members list

Type members

Classlikes

object ToConst

Type-level fluent interface for accessing Handler type aliases.

Type-level fluent interface for accessing Handler type aliases.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ToConst.type
object ToId

Type-level fluent interface for accessing Handler type aliases.

Type-level fluent interface for accessing Handler type aliases.

Attributes

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

Types

type Free[To[_], Elim] = FromId[To, Elim, Any]

Alias for Handler, where From[_] is type-level identity, and there are no dependencies.

Alias for Handler, where From[_] is type-level identity, and there are no dependencies.

Attributes

type ToConst[D, Elim, Intro] = FromId[[_] =>> D, Elim, Intro]

Alias for Handler, where From[_] is type-level identity, and To[_] is type-level constant function.

Alias for Handler, where From[_] is type-level identity, and To[_] is type-level constant function.

Attributes

type ToId[Elim, Intro] = FromId[[X] =>> X, Elim, Intro]

Alias for Handler, where both From[_] and `To[_] are type-level identities.

Alias for Handler, where both From[_] and `To[_] are type-level identities.

Attributes

Generated with