Packages

o

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
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 Serializable

    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. object Case1
    Definition Classes
    Cases
  2. object Case10
    Definition Classes
    Cases
  3. object Case11
    Definition Classes
    Cases
  4. object Case12
    Definition Classes
    Cases
  5. object Case13
    Definition Classes
    Cases
  6. object Case14
    Definition Classes
    Cases
  7. object Case15
    Definition Classes
    Cases
  8. object Case16
    Definition Classes
    Cases
  9. object Case17
    Definition Classes
    Cases
  10. object Case18
    Definition Classes
    Cases
  11. object Case19
    Definition Classes
    Cases
  12. object Case2
    Definition Classes
    Cases
  13. object Case20
    Definition Classes
    Cases
  14. object Case21
    Definition Classes
    Cases
  15. object Case22
    Definition Classes
    Cases
  16. object Case3
    Definition Classes
    Cases
  17. object Case4
    Definition Classes
    Cases
  18. object Case5
    Definition Classes
    Cases
  19. object Case6
    Definition Classes
    Cases
  20. object Case7
    Definition Classes
    Cases
  21. object Case8
    Definition Classes
    Cases
  22. object Case9
    Definition Classes
    Cases
  23. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  24. final def ##(): Int
    Definition Classes
    AnyRef → Any
  25. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  26. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  27. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  28. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  30. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  31. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  32. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  33. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  34. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  36. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  37. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  38. def toString(): String
    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  42. object Case extends CaseInst with Serializable
  43. object Case0
  44. object Compose extends Serializable
  45. object RotateLeft extends Serializable
  46. object RotateRight extends Serializable
  47. object identity extends ~>[Id, Id]

    Polymorphic identity function.

  48. object ~> extends Serializable

Inherited from Cases

Inherited from AnyRef

Inherited from Any

Ungrouped