Class

shapeless.PolyDefns

>->

Related Doc: package PolyDefns

Permalink

class >->[T, R] extends LowPriorityLiftFunction1

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

Linear Supertypes
LowPriorityLiftFunction1, Poly1, Poly, Serializable, Serializable, PolyApply, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. >->
  2. LowPriorityLiftFunction1
  3. Poly1
  4. Poly
  5. Serializable
  6. Serializable
  7. PolyApply
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new >->(f: (T) ⇒ R)

    Permalink

Type Members

  1. type Case[A] = PolyDefns.Case[>->.this.type, ::[A, HNil]]

    Permalink
    Definition Classes
    Poly1

  2. class CaseBuilder[A] extends AnyRef

    Permalink
    Definition Classes
    Poly1

  3. trait LowPriorityCaseBuilder extends AnyRef

    Permalink
    Definition Classes
    Poly

  4. type ProductCase[L <: HList] = PolyDefns.Case[>->.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

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 Case

    Permalink
    Definition Classes
    Poly1

  5. object CaseBuilder extends LowPriorityCaseBuilder with Serializable

    Permalink
    Definition Classes
    Poly

  6. object ProductCase extends Serializable

    Permalink
    Definition Classes
    Poly

  7. def andThen(f: Poly): Compose[Poly.andThen.f.type, >->.this.type]

    Permalink
    Definition Classes
    Poly

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

    Permalink
    Definition Classes
    Poly

  9. 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: PolyDefns.Case[>->.this.type, ::[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

  10. 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: PolyDefns.Case[>->.this.type, ::[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

  11. 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: PolyDefns.Case[>->.this.type, ::[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

  12. 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: PolyDefns.Case[>->.this.type, ::[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

  13. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, 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, 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, HNil]]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  15. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, HNil]]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  16. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, HNil]]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  17. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, HNil]]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  18. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, HNil]]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  19. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, HNil]]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  20. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, HNil]]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  21. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, HNil]]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  22. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, HNil]]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  23. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, HNil]]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  24. 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: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, HNil]]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  25. def apply[A, B, C, D, E, F](a: A, b: B, c: C, d: D, e: E, f: F)(implicit cse: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, HNil]]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  26. def apply[A, B, C, D, E](a: A, b: B, c: C, d: D, e: E)(implicit cse: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, ::[E, HNil]]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  27. def apply[A, B, C, D](a: A, b: B, c: C, d: D)(implicit cse: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, ::[D, HNil]]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  28. def apply[A, B, C](a: A, b: B, c: C)(implicit cse: PolyDefns.Case[>->.this.type, ::[A, ::[B, ::[C, HNil]]]]): Result

    Permalink
    Definition Classes
    PolyApply

  29. def apply[A, B](a: A, b: B)(implicit cse: PolyDefns.Case[>->.this.type, ::[A, ::[B, HNil]]]): Result

    Permalink
    Definition Classes
    PolyApply

  30. def apply[A](a: A)(implicit cse: PolyDefns.Case[>->.this.type, ::[A, HNil]]): Result

    Permalink
    Definition Classes
    PolyApply

  31. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  32. def at[A]: CaseBuilder[A]

    Permalink
    Definition Classes
    Poly1

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

    Permalink
    Definition Classes
    Poly

  34. def clone(): AnyRef

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

  35. def compose(f: Poly): Compose[>->.this.type, Poly.compose.f.type]

    Permalink
    Definition Classes
    Poly

  36. implicit def default[T]: Case[T] { type Result = shapeless.HNil }

    Permalink
    Definition Classes
    LowPriorityLiftFunction1

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

    Permalink
    Definition Classes
    AnyRef

  38. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  39. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  41. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  42. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  44. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  45. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  46. def rotateLeft[N <: Nat]: RotateLeft[>->.this.type, N]

    Permalink
    Definition Classes
    Poly

  47. def rotateRight[N <: Nat]: RotateRight[>->.this.type, N]

    Permalink
    Definition Classes
    Poly

  48. implicit def subT[U <: T]: Case[U] { type Result = shapeless.::[R,shapeless.HNil] }

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  50. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    Poly

  52. final def wait(): Unit

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

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

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

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

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

Inherited from LowPriorityLiftFunction1

Inherited from Poly1

Inherited from Poly

Inherited from Serializable

Inherited from Serializable

Inherited from PolyApply

Inherited from AnyRef

Inherited from Any

Ungrouped