shapeless

PolyDefns

object PolyDefns extends Cases

Linear Supertypes
Cases, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. PolyDefns
  2. Cases
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. class ->[T, R] extends Poly1

    Base class for lifting a Function1 to a Poly1

  2. 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.

  3. abstract class Case[P, L <: HList] extends AnyRef

    Type-specific case of a polymorphic function.

  4. type Case0[P] = Case[P, HNil]

  5. type Case1[Fn, A] = Case[Fn, ::[A, HNil]]

    Definition Classes
    Cases
  6. type Case10[Fn, A, B, C, D, E, F, G, H, I, J] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, HNil]]]]]]]]]]]

    Definition Classes
    Cases
  7. type Case11[Fn, A, B, C, D, E, F, G, H, I, J, K] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, HNil]]]]]]]]]]]]

    Definition Classes
    Cases
  8. type Case12[Fn, A, B, C, D, E, F, G, H, I, J, K, L] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, HNil]]]]]]]]]]]]]

    Definition Classes
    Cases
  9. type Case13[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, HNil]]]]]]]]]]]]]]

    Definition Classes
    Cases
  10. type Case14[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, HNil]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  11. type Case15[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, HNil]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  12. type Case16[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, HNil]]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  13. type Case17[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, HNil]]]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  14. type Case18[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, HNil]]]]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  15. type Case19[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, HNil]]]]]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  16. type Case2[Fn, A, B] = Case[Fn, ::[A, ::[B, HNil]]]

    Definition Classes
    Cases
  17. type Case20[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, HNil]]]]]]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  18. type Case21[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, HNil]]]]]]]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  19. type Case22[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, HNil]]]]]]]]]]]]]]]]]]]]]]]

    Definition Classes
    Cases
  20. type Case3[Fn, A, B, C] = Case[Fn, ::[A, ::[B, ::[C, HNil]]]]

    Definition Classes
    Cases
  21. type Case4[Fn, A, B, C, D] = Case[Fn, ::[A, ::[B, ::[C, ::[D, HNil]]]]]

    Definition Classes
    Cases
  22. type Case5[Fn, A, B, C, D, E] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, HNil]]]]]]

    Definition Classes
    Cases
  23. type Case6[Fn, A, B, C, D, E, F] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, HNil]]]]]]]

    Definition Classes
    Cases
  24. type Case7[Fn, A, B, C, D, E, F, G] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, HNil]]]]]]]]

    Definition Classes
    Cases
  25. type Case8[Fn, A, B, C, D, E, F, G, H] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, HNil]]]]]]]]]

    Definition Classes
    Cases
  26. type Case9[Fn, A, B, C, D, E, F, G, H, I] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, HNil]]]]]]]]]]

    Definition Classes
    Cases
  27. class Compose[F, G] extends Poly

    Represents the composition of two polymorphic function values.

  28. 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.

  29. trait LowPriorityLiftFunction1 extends Poly1

  30. trait LowPriorityLiftU extends Poly

  31. class RotateLeft[P, N] extends Poly

    Represents rotating a polymorphic function by N places to the left

  32. class RotateRight[P, N] extends Poly

    Represents rotating a polymorphic function by N places to the right

  33. trait ~>[F[_], G[_]] extends Poly1

    Base trait for natural transformations.

  34. type ~>>[F[_], R] = ~>[F, [T]R]

    Natural transformation with a constant type constructor on the right hand side.

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. object Case extends CaseInst

  7. object Case0

  8. object Case1

    Definition Classes
    Cases
  9. object Case10

    Definition Classes
    Cases
  10. object Case11

    Definition Classes
    Cases
  11. object Case12

    Definition Classes
    Cases
  12. object Case13

    Definition Classes
    Cases
  13. object Case14

    Definition Classes
    Cases
  14. object Case15

    Definition Classes
    Cases
  15. object Case16

    Definition Classes
    Cases
  16. object Case17

    Definition Classes
    Cases
  17. object Case18

    Definition Classes
    Cases
  18. object Case19

    Definition Classes
    Cases
  19. object Case2

    Definition Classes
    Cases
  20. object Case20

    Definition Classes
    Cases
  21. object Case21

    Definition Classes
    Cases
  22. object Case22

    Definition Classes
    Cases
  23. object Case3

    Definition Classes
    Cases
  24. object Case4

    Definition Classes
    Cases
  25. object Case5

    Definition Classes
    Cases
  26. object Case6

    Definition Classes
    Cases
  27. object Case7

    Definition Classes
    Cases
  28. object Case8

    Definition Classes
    Cases
  29. object Case9

    Definition Classes
    Cases
  30. object Compose

  31. object RotateLeft

  32. object RotateRight

  33. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  34. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  36. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  37. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  38. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  39. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  40. object identity extends ~>[Id, Id]

    Polymorphic identity function.

  41. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  42. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  43. final def notify(): Unit

    Definition Classes
    AnyRef
  44. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  45. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  46. def toString(): String

    Definition Classes
    AnyRef → Any
  47. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. object ~>

Inherited from Cases

Inherited from AnyRef

Inherited from Any

Ungrouped