FromConst

turbolift.Handler.FromConst
object FromConst

Type-level fluent interface for accessing Handler type aliases.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
FromConst.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

Types

type Free[C, To[_], Elim] = FromConst[C, To, Elim, Any]

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

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

Attributes

type ToConst[C, D, Elim, Intro] = FromConst[C, [_] =>> D, Elim, Intro]

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

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

Attributes