Class

shapeless.PolyDefns

LiftU

Related Doc: package PolyDefns

Permalink

class LiftU[P <: Poly] extends LowPriorityLiftU

Base class for lifting a Poly to a Poly over the universal domain, yielding an HList with the result as it's only element if the argument is in the original functions domain, HNil otherwise.

Linear Supertypes
LowPriorityLiftU, Poly, Serializable, Serializable, PolyApply, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LiftU
  2. LowPriorityLiftU
  3. Poly
  4. Serializable
  5. Serializable
  6. PolyApply
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new LiftU(p: P)

    Permalink

Type Members

  1. trait CaseBuilder[T, L <: HList, R] extends Serializable

    Permalink
    Definition Classes
    Poly

  2. trait LowPriorityCaseBuilder extends AnyRef

    Permalink
    Definition Classes
    Poly

  3. type ProductCase[L <: HList] = Case[LiftU.this.type, L]

    Permalink

    The type of the case representing this polymorphic function at argument types L.

    The type of the case representing this polymorphic function at argument types L.

    Definition Classes
    Poly

  4. type λ = LiftU.this.type

    Permalink
    Definition Classes
    Poly → PolyApply

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. object CaseBuilder extends LowPriorityCaseBuilder with Serializable

    Permalink
    Definition Classes
    Poly

  5. object ProductCase extends Serializable

    Permalink
    Definition Classes
    Poly

  6. def andThen(f: Poly): Compose[f.type, LiftU.this.type]

    Permalink
    Definition Classes
    Poly

  7. def apply[R](implicit c: Aux[HNil, R]): R

    Permalink
    Definition Classes
    Poly

  8. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S, t: T, u: U, v: V)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, HNil]]]]]]]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  9. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S, t: T, u: U)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, HNil]]]]]]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  10. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S, t: T)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, HNil]]]]]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  11. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R, s: S)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, HNil]]]]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  12. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q, r: R)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, HNil]]]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  13. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P, q: Q)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, HNil]]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  14. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O, p: P)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, HNil]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  15. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N, o: O)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, HNil]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  16. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M, N](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M, n: N)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, HNil]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  17. def apply[A, B, C, D, E, F, G, H, I, J, K, L, M](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L, m: M)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, HNil]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  18. def apply[A, B, C, D, E, F, G, H, I, J, K, L](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K, l: L)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, HNil]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  19. def apply[A, B, C, D, E, F, G, H, I, J, K](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J, k: K)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, HNil]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  20. def apply[A, B, C, D, E, F, G, H, I, J](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I, j: J)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, HNil]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  21. def apply[A, B, C, D, E, F, G, H, I](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H, i: I)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, HNil]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  22. def apply[A, B, C, D, E, F, G, H](a: A, b: B, c: C, d: D, e: E, f: F, g: G, h: H)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, HNil]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  23. def apply[A, B, C, D, E, F, G](a: A, b: B, c: C, d: D, e: E, f: F, g: G)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, HNil]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  24. def apply[A, B, C, D, E, F](a: A, b: B, c: C, d: D, e: E, f: F)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, HNil]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  25. def apply[A, B, C, D, E](a: A, b: B, c: C, d: D, e: E)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, ::[E, HNil]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  26. def apply[A, B, C, D](a: A, b: B, c: C, d: D)(implicit cse: Case[λ, ::[A, ::[B, ::[C, ::[D, HNil]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  27. def apply[A, B, C](a: A, b: B, c: C)(implicit cse: Case[λ, ::[A, ::[B, ::[C, HNil]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  28. def apply[A, B](a: A, b: B)(implicit cse: Case[λ, ::[A, ::[B, HNil]]]): Result

    Permalink
    Definition Classes
    PolyApply

  29. def apply[A](a: A)(implicit cse: Case[λ, ::[A, HNil]]): Result

    Permalink
    Definition Classes
    PolyApply

  30. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  31. def caseAt[L <: HList](implicit c: ProductCase[L]): ProductCase[L]

    Permalink
    Definition Classes
    Poly

  32. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  33. def compose(f: Poly): Compose[LiftU.this.type, f.type]

    Permalink
    Definition Classes
    Poly

  34. implicit def default[L <: HList]: ProductCase[L] { ... /* 2 definitions in type refinement */ }

    Permalink
    Definition Classes
    LowPriorityLiftU

  35. implicit def defined[L <: HList](implicit caseT: Case[P, L]): ProductCase[L] { type Result = shapeless.::[caseT.Result,shapeless.HNil] }

    Permalink

  36. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  37. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  38. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  39. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  40. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  41. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  42. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  43. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  44. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  45. def rotateLeft[N <: Nat]: RotateLeft[LiftU.this.type, N]

    Permalink
    Definition Classes
    Poly

  46. def rotateRight[N <: Nat]: RotateRight[LiftU.this.type, N]

    Permalink
    Definition Classes
    Poly

  47. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  48. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  49. def use[T, L <: HList, R](t: T)(implicit cb: CaseBuilder[T, L, R]): Aux[L, R]

    Permalink
    Definition Classes
    Poly

  50. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  51. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  52. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from LowPriorityLiftU

Inherited from Poly

Inherited from Serializable

Inherited from Serializable

Inherited from PolyApply

Inherited from AnyRef

Inherited from Any

Ungrouped