shapeless

package shapeless

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

Type Members

  1. sealed trait :+:[+H, +T <: Coproduct] extends Coproduct

  2. final case class ::[+H, +T <: HList](head: H, tail: T) extends HList with Product with Serializable

    Non-empty HList element type.

  3. trait <:!<[A, B] extends AnyRef

  4. trait =:!=[A, B] extends AnyRef

  5. class ApplyEverything[F <: Poly] extends AnyRef

  6. trait BasisConstraint[L <: HList, M <: HList] extends AnyRef

    Type class witnessing that every element of L is an element of M.

  7. sealed trait CNil extends Coproduct

  8. trait CaseInst extends AnyRef

  9. trait Cases extends AnyRef

  10. type Const[C] = AnyRef { type λ[T] = C }

  11. sealed trait Coproduct extends AnyRef

  12. trait Data[F, T, R] extends AnyRef

    Type class representing one-level generic queries.

  13. trait DataT[F, T, U] extends AnyRef

    Type class representing one-level generic transformations.

  14. trait DepFn0 extends AnyRef

    Dependent nullary function type.

  15. trait DepFn1[T] extends AnyRef

    Dependent unary function type.

  16. trait DepFn2[T, U] extends AnyRef

    Dependent binary function type.

  17. type Everything[F <: Poly, K <: Poly, T] = Case[EverythingAux[F, K], ::[T, HNil]]

    The SYB everything combinator

  18. class EverythingAux[F, K] extends Poly

  19. type Everywhere[F <: Poly, T] = Case[EverywhereAux[F], ::[T, HNil]]

    The SYB everywhere combinator

  20. class EverywhereAux[F] extends Poly

  21. trait FieldOf[V] extends AnyRef

    Field with values of type V.

  22. trait Generic[T] extends AnyRef

  23. sealed trait HList extends AnyRef

    HList ADT base trait.

  24. trait HListNthLens[L <: HList, N <: Nat] extends AnyRef

  25. trait HListNthLensAux[L <: HList, N <: Nat, E] extends Lens[L, E]

  26. class HMap[R[_, _]] extends Poly1

    Heterogenous map with type-level key/value associations that are fixed by an arbitrary relation R.

  27. class HMapBuilder[R[_, _]] extends AnyRef

  28. sealed trait HNil extends HList

    Empty HList element type.

  29. type Id[+T] = T

  30. final case class Inl[+H, +T <: Coproduct](head: H) extends :+:[H, T] with Product with Serializable

  31. final case class Inr[+H, +T <: Coproduct](tail: T) extends :+:[H, T] with Product with Serializable

  32. trait KeyConstraint[L <: HList, M <: HList] extends AnyRef

    Type class witnessing that every element of L is of the form FieldType[K, V] where K is an element of M.

  33. trait LUBConstraint[L <: HList, B] extends AnyRef

    Type class witnessing that every element of L is a subtype of B.

  34. trait Lens[C, F] extends AnyRef

  35. trait LowPriorityData extends AnyRef

  36. trait LowPriorityDataT extends AnyRef

  37. trait LowPriorityEverythingAux extends AnyRef

  38. trait LowPriorityEverywhereAux extends AnyRef

  39. trait LowPriorityGeneric extends AnyRef

  40. trait LowPrioritySized extends AnyRef

  41. trait LowPriorityTypeable extends AnyRef

  42. trait LowPriorityWitnessWith extends AnyRef

  43. trait Lub[-A, -B, +Out] extends AnyRef

    Type class witnessing the least upper bound of a pair of types and providing conversions from each to their common supertype.

  44. trait Nat extends AnyRef

    Base trait for type level natural numbers.

  45. trait Nats extends AnyRef

  46. trait Poly extends PolyApply

    Base trait for polymorphic values.

  47. trait Poly0 extends Poly

    Trait simplifying the creation of polymorphic values.

  48. trait Poly1 extends Poly

  49. trait Poly10 extends Poly

  50. trait Poly11 extends Poly

  51. trait Poly12 extends Poly

  52. trait Poly13 extends Poly

  53. trait Poly14 extends Poly

  54. trait Poly15 extends Poly

  55. trait Poly16 extends Poly

  56. trait Poly17 extends Poly

  57. trait Poly18 extends Poly

  58. trait Poly19 extends Poly

  59. trait Poly2 extends Poly

  60. trait Poly20 extends Poly

  61. trait Poly21 extends Poly

  62. trait Poly22 extends Poly

  63. trait Poly3 extends Poly

  64. trait Poly4 extends Poly

  65. trait Poly5 extends Poly

  66. trait Poly6 extends Poly

  67. trait Poly7 extends Poly

  68. trait Poly8 extends Poly

  69. trait Poly9 extends Poly

  70. trait PolyApply extends AnyRef

  71. trait PolyInst extends AnyRef

  72. trait ProductLens[C, P <: Product] extends Lens[C, P]

  73. trait ProductTypeClass[C[_]] extends AnyRef

    A type class abstracting over the product operation of type classes over types of kind *, as well as deriving instances using an isomorphism.

  74. trait SingletonTypeMacros[C <: Context] extends AnyRef

  75. final class Sized[+Repr, L <: Nat] extends AnyVal

    Wrapper for a collection type witnessing that it has the statically specified length.

  76. class SizedBuilder[CC[_]] extends AnyRef

  77. class SizedOps[A, Repr, L <: Nat] extends AnyRef

    Carrier for Sized operations.

  78. case class Succ[P <: Nat]() extends Nat with Product with Serializable

    Encoding of successor.

  79. trait TupleTypeableInstances extends AnyRef

  80. trait TypeClass[C[_]] extends ProductTypeClass[C]

    A type class abstracting additionally over the coproduct operation of type classes over types of kind *.

  81. trait TypeClassCompanion[C[_]] extends AnyRef

  82. trait Typeable[U] extends AnyRef

    Type class supporting type safe cast.

  83. trait UnaryTCConstraint[L <: HList, TC[_]] extends AnyRef

    Type class witnessing that every element of L has TC as its outer type constructor.

  84. trait Unpack1[-P, F[_], T] extends AnyRef

    Type class witnessing that type P is equal to F[T] for some higher kinded type F[_] and type T.

  85. trait Unpack2[-P, F[_, _], T, U] extends AnyRef

    Type class witnessing that type P is equal to F[T, U] for some higher kinded type F[_, _] and types T and U.

  86. trait ValueConstraint[L <: HList, M <: HList] extends AnyRef

    Type class witnessing that every element of L is of the form FieldType[K, V] where V is an element of M.

  87. trait Witness extends AnyRef

  88. trait WitnessWith[TC[_]] extends Witness

  89. case class Zipper[C, L <: HList, R <: HList, P](prefix: L, suffix: R, parent: P) extends Product with Serializable

    Generic Zipper for any type with a representation via Generic.

  90. class _0 extends Nat

    Encoding of zero.

  91. type |¬|[T] = AnyRef { type λ[U] = shapeless.package.<:!<[U,T] }

  92. type |∨|[T, U] = AnyRef { type λ[X] = <:<[(X => Nothing) => Nothing,shapeless.package.∧[T => Nothing,U => Nothing] => Nothing] }

  93. class ~?>[K[_], V[_]] extends AnyRef

    Type class witnessing the existence of a natural transformation between K[_] and V[_].

  94. type ¬[T] = (T) ⇒ Nothing

  95. type ¬¬[T] = ((T) ⇒ Nothing) ⇒ Nothing

  96. type ∀[P[_]] = (∃[[X](P[X]) ⇒ Nothing]) ⇒ Nothing

  97. type ∃[P[_]] = P[_]

  98. type ∧[T, U] = T with U

  99. type ∨[T, U] = (∧[(T) ⇒ Nothing, (U) ⇒ Nothing]) ⇒ Nothing

Value Members

  1. object BasisConstraint

  2. object BuildInfo extends Product with Serializable

  3. object Coproduct

  4. object Data extends LowPriorityData

  5. object DataMacros

  6. object DataT extends LowPriorityDataT

  7. object DataTMacros

  8. object EverythingAux extends LowPriorityEverythingAux

  9. object EverywhereAux extends LowPriorityEverywhereAux

  10. object Generic extends LowPriorityGeneric

  11. object GenericMacros

  12. object HList

  13. object HListNthLens

  14. object HListNthLensAux

  15. object HMap

  16. object HNil extends HNil with Product with Serializable

    Empty HList value.

  17. object KeyConstraint

  18. object LUBConstraint

  19. object Lens

  20. object Lub

  21. object Nat extends Nats

    Type level encoding of the natural numbers.

  22. object NatMacros

  23. object Poly extends PolyInst

    Provides implicit conversions from polymorphic function values to monomorphic function values, eg.

  24. object PolyDefns extends Cases

  25. object SingletonTypeMacros

  26. object Sized extends LowPrioritySized

  27. object TypeClass

  28. object Typeable extends TupleTypeableInstances with LowPriorityTypeable

    Provides instances of Typeable.

  29. object UnaryTCConstraint

  30. object Unpack1

  31. object Unpack2

  32. object ValueConstraint

  33. object Witness

  34. object WitnessWith extends LowPriorityWitnessWith

  35. object Zipper extends Serializable

  36. def everything(f: Poly): ApplyEverything[f.type]

  37. def everywhere(f: Poly): EverywhereAux[f.type]

  38. val nat: Nat.type

    Nat literals

  39. implicit def neq[A, B]: =:!=[A, B]

  40. implicit def neqAmbig1[A]: =:!=[A, A]

  41. implicit def neqAmbig2[A]: =:!=[A, A]

  42. object newtype

  43. implicit def nsub[A, B]: <:!<[A, B]

  44. implicit def nsubAmbig1[A, B >: A]: <:!<[A, B]

  45. implicit def nsubAmbig2[A, B >: A]: <:!<[A, B]

  46. package ops

  47. val poly: PolyDefns.type

    Poly definitions

  48. object productElements extends Poly1

    Higher ranked function which converts products to HLists.

  49. object record

    Record operations on HList's with field-like elements.

  50. package syntax

  51. object tag

  52. package test

  53. object tupled extends Poly1

    Higher ranked function which converts HLists to tuples.

  54. def unexpected: Nothing

  55. object ~?>

Inherited from AnyRef

Inherited from Any

Ungrouped