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. trait AdditiveCollection[Repr] extends Serializable

    Evidence that Repr instances can be nested in a Sized.

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

  7. trait ApplyUnapplyFacet extends ProductISOFacet

  8. trait BasisConstraint[L <: HList, M <: HList] extends Serializable

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

  9. sealed trait CNil extends Coproduct

  10. trait CaseClassFacet extends AnyRef

  11. trait CaseClassMacros extends ReprTypes

  12. trait CaseInst extends AnyRef

  13. trait Cases extends AnyRef

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

  15. sealed trait Coproduct extends AnyRef

  16. trait CopyFacet extends CaseClassFacet

  17. trait Coselect[T] extends AnyRef

  18. trait Data[F, T, R] extends Serializable

    Type class representing one-level generic queries.

  19. trait Data0 extends AnyRef

  20. trait Data1 extends Data0

  21. trait DataT[F, T] extends Serializable

    Type class representing one-level generic transformations.

  22. trait DataT0 extends AnyRef

  23. trait DataT1 extends DataT0

  24. trait DefaultCaseClassDefns extends ApplyUnapplyFacet with ProductFacet with PolymorphicEqualityFacet with CopyFacet with ToStringFacet

  25. trait DefaultSymbolicLabelling[T] extends DepFn0 with Serializable

  26. trait DepFn0 extends AnyRef

    Dependent nullary function type.

  27. trait DepFn1[T] extends AnyRef

    Dependent unary function type.

  28. trait DepFn2[T, U] extends AnyRef

    Dependent binary function type.

  29. trait DerivationContext extends CaseClassMacros

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

    The SYB everything combinator

  31. class EverythingAux[F, K] extends Poly

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

    The SYB everywhere combinator

  33. class EverywhereAux[F] extends Poly

  34. trait EverywhereAux0 extends AnyRef

  35. trait FieldOf[V] extends AnyRef

    Field with values of type V.

  36. trait FieldPoly extends Poly1

    Polymorphic function that allows modifications on record fields while preserving the original key types.

  37. trait Fin[N <: Succ[_]] extends AnyRef

    Base trait for type level finite numbers, i.

  38. case class FinSucc[N <: Succ[_], P <: Fin[N]]() extends Fin[Succ[N]] with Product with Serializable

    Encoding of successor.

  39. case class FinZero[N <: Succ[_]]() extends Fin[N] with Product with Serializable

    Encoding of zero.

  40. trait Generic[T] extends Serializable

  41. trait Generic1[F[_], FR[_[_]]] extends Serializable

  42. class Generic1Macros[C <: Context] extends CaseClassMacros

  43. class GenericMacros[C <: Context] extends CaseClassMacros

  44. sealed trait HList extends Product with Serializable

    HList ADT base trait.

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

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

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

  47. sealed trait HNil extends HList

    Empty HList element type.

  48. trait HasCoproductGeneric[T] extends Serializable

  49. trait HasProductGeneric[T] extends Serializable

  50. type Id[+T] = T

  51. trait InferProduct[C <: Coproduct, K] extends AnyRef

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

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

  54. trait IsCCons1[L[_], FH[_[_]], FT[_[_]]] extends AnyRef

  55. class IsCCons1Macros[C <: Context] extends IsCons1Macros

  56. trait IsCons1Macros extends CaseClassMacros

  57. trait IsHCons1[L[_], FH[_[_]], FT[_[_]]] extends AnyRef

  58. class IsHCons1Macros[C <: Context] extends IsCons1Macros

  59. trait IsTuple[T] extends Serializable

  60. trait KeyConstraint[L <: HList, M <: HList] extends Serializable

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

  61. trait LUBConstraint[L <: HList, B] extends Serializable

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

  62. trait LabelledGeneric[T] extends Generic[T]

  63. class LabelledMacros[C <: Context] extends SingletonTypeUtils[C] with CaseClassMacros

  64. trait LabelledProductTypeClass[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.

  65. trait LabelledProductTypeClassCompanion[C[_]] extends AnyRef

  66. trait LabelledTypeClass[C[_]] extends LabelledProductTypeClass[C]

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

  67. trait LabelledTypeClassCompanion[C[_]] extends LabelledProductTypeClassCompanion[C]

  68. trait Lazy[+T] extends Serializable

  69. class LazyMacros[C <: Context] extends AnyRef

  70. trait Lens[S, A] extends Dynamic with Serializable

  71. trait LowPriorityMkPathOptic extends AnyRef

  72. trait LowPriorityMkSelectDynamicOptic extends AnyRef

  73. trait LowPrioritySegment extends AnyRef

  74. trait LowPrioritySized extends AnyRef

  75. trait LowPriorityTypeable extends AnyRef

  76. trait LowPriorityWitnessWith extends AnyRef

  77. trait Lub[-A, -B, Out] extends Serializable

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

  78. trait MkCoproductSelectPrism[C <: Coproduct, T] extends Serializable

  79. trait MkCtorPrism[A, B] extends AnyRef

  80. trait MkFieldLens[A, K] extends AnyRef

  81. trait MkGenericLens[T] extends Serializable

  82. trait MkHListNthLens[L <: HList, N <: Nat] extends Serializable

  83. trait MkHListSelectLens[L <: HList, U] extends Serializable

  84. trait MkLabelledGenericLens[T] extends Serializable

  85. trait MkNthFieldLens[A, N <: Nat] extends AnyRef

  86. trait MkPathOptic[S, P <: HList] extends AnyRef

  87. trait MkRecordSelectLens[R <: HList, K] extends Serializable

  88. trait MkSelectDynamicOptic[R, A, K, B] extends AnyRef

  89. trait Nat extends AnyRef

    Base trait for type level natural numbers.

  90. trait Nats extends AnyRef

  91. trait OpticComposer[L, R] extends AnyRef

  92. case class Orphan[F[_], D, T](instance: F[T]) extends Product with Serializable

  93. trait OrphanDeriver[F[_], D] extends AnyRef

  94. class OrphanMacros[C <: Context] extends CaseClassMacros

  95. trait Path[T <: HList] extends Dynamic

  96. trait Poly extends PolyApply with Serializable

    Base trait for polymorphic values.

  97. trait Poly0 extends Poly

    Trait simplifying the creation of polymorphic values.

  98. trait Poly1 extends Poly

  99. trait Poly10 extends Poly

  100. trait Poly11 extends Poly

  101. trait Poly12 extends Poly

  102. trait Poly13 extends Poly

  103. trait Poly14 extends Poly

  104. trait Poly15 extends Poly

  105. trait Poly16 extends Poly

  106. trait Poly17 extends Poly

  107. trait Poly18 extends Poly

  108. trait Poly19 extends Poly

  109. trait Poly2 extends Poly

  110. trait Poly20 extends Poly

  111. trait Poly21 extends Poly

  112. trait Poly22 extends Poly

  113. trait Poly3 extends Poly

  114. trait Poly4 extends Poly

  115. trait Poly5 extends Poly

  116. trait Poly6 extends Poly

  117. trait Poly7 extends Poly

  118. trait Poly8 extends Poly

  119. trait Poly9 extends Poly

  120. trait PolyApply extends AnyRef

  121. trait PolyInst extends AnyRef

  122. class PolyMacros[C <: Context] extends AnyRef

  123. trait PolymorphicEqualityFacet extends ProductISOFacet

  124. trait Prism[S, A] extends Dynamic with Serializable

  125. trait ProductArgs extends Dynamic

    Trait supporting mapping dynamic argument lists to HList arguments.

  126. trait ProductFacet extends ProductISOFacet

  127. trait ProductISOFacet extends CaseClassFacet

  128. trait ProductLensBuilder[C, P <: Product] extends Lens[C, P]

  129. class ProductMacros[C <: Context] extends SingletonTypeUtils[C]

  130. trait ProductPrismBuilder[C, P <: Product] extends Prism[C, P]

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

  132. trait ProductTypeClassCompanion[C[_]] extends AnyRef

  133. trait RecordArgs extends Dynamic

    Trait supporting mapping named argument lists to record arguments.

  134. class RecordMacros[C <: Context] extends AnyRef

  135. trait ReprTypes extends AnyRef

  136. trait Segment[P, S, T <: HList] extends AnyRef

  137. trait Select[T] extends AnyRef

  138. trait SingletonProductArgs extends Dynamic

    Trait supporting mapping dynamic argument lists to singleton-typed HList arguments.

  139. class SingletonTypeMacros[C <: Context] extends SingletonTypeUtils[C]

  140. trait SingletonTypeUtils[C <: Context] extends ReprTypes

  141. final class Sized[+Repr, L <: Nat] extends AnyRef

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

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

  143. class SizedOps[A0, Repr, L <: Nat] extends AnyRef

    Carrier for Sized operations.

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

    Encoding of successor.

  145. trait ToStringFacet extends ProductFacet

  146. trait TupleTypeableInstances extends AnyRef

  147. trait TypeCase[T] extends Serializable

    Extractor for use of Typeable in pattern matching.

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

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

  149. trait TypeClassCompanion[C[_]] extends ProductTypeClassCompanion[C]

  150. trait Typeable[T] extends Serializable

    Type class supporting type safe cast.

  151. class TypeableMacros[C <: Context] extends SingletonTypeUtils[C]

  152. trait UnaryTCConstraint[L <: HList, TC[_]] extends Serializable

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

  153. class UnionMacros[C <: Context] extends AnyRef

  154. trait Unpack1[-PP, FF[_], A] extends AnyRef

    Type class witnessing that type PP is equal to FF[A] for some higher kinded type FF[_] and type(s) A.

  155. trait Unpack10[-PP, FF[_, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J.

  156. trait Unpack11[-PP, FF[_, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K.

  157. trait Unpack12[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L.

  158. trait Unpack13[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M.

  159. trait Unpack14[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N.

  160. trait Unpack15[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O.

  161. trait Unpack16[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P.

  162. trait Unpack17[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q.

  163. trait Unpack18[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R.

  164. trait Unpack19[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S.

  165. trait Unpack2[-PP, FF[_, _], A, B] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B] for some higher kinded type FF[_, _] and type(s) A, B.

  166. trait Unpack20[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T.

  167. trait Unpack21[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U.

  168. trait Unpack22[-PP, FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V] for some higher kinded type FF[_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V.

  169. trait Unpack3[-PP, FF[_, _, _], A, B, C] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C] for some higher kinded type FF[_, _, _] and type(s) A, B, C.

  170. trait Unpack4[-PP, FF[_, _, _, _], A, B, C, D] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D] for some higher kinded type FF[_, _, _, _] and type(s) A, B, C, D.

  171. trait Unpack5[-PP, FF[_, _, _, _, _], A, B, C, D, E] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E] for some higher kinded type FF[_, _, _, _, _] and type(s) A, B, C, D, E.

  172. trait Unpack6[-PP, FF[_, _, _, _, _, _], A, B, C, D, E, F] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F] for some higher kinded type FF[_, _, _, _, _, _] and type(s) A, B, C, D, E, F.

  173. trait Unpack7[-PP, FF[_, _, _, _, _, _, _], A, B, C, D, E, F, G] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G] for some higher kinded type FF[_, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G.

  174. trait Unpack8[-PP, FF[_, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H] for some higher kinded type FF[_, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H.

  175. trait Unpack9[-PP, FF[_, _, _, _, _, _, _, _, _], A, B, C, D, E, F, G, H, I] extends AnyRef

    Type class witnessing that type PP is equal to FF[A, B, C, D, E, F, G, H, I] for some higher kinded type FF[_, _, _, _, _, _, _, _, _] and type(s) A, B, C, D, E, F, G, H, I.

  176. trait ValueConstraint[L <: HList, M <: HList] extends Serializable

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

  177. trait Witness extends Serializable

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

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

  180. class _0 extends Nat with Serializable

    Encoding of zero.

  181. class nonGeneric extends Annotation with StaticAnnotation

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

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

  184. class ~?>[K[_], V[_]] extends Serializable

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

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

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

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

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

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

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

Value Members

  1. object AdditiveCollection extends Serializable

  2. object BasisConstraint extends Serializable

  3. object BuildInfo extends Product with Serializable

  4. object Coproduct extends Dynamic

  5. object Data extends Data1 with Serializable

  6. object DataT extends DataT1 with Serializable

  7. object DefaultSymbolicLabelling extends Serializable

  8. object DerivationContext

  9. object EverythingAux extends Serializable

  10. object EverywhereAux extends EverywhereAux0 with Serializable

  11. object Fin

  12. object Generic extends Serializable

  13. object Generic1 extends Serializable

  14. object Generic1Macros

  15. object GenericMacros

  16. object HList extends Dynamic with Serializable

  17. object HMap extends Serializable

  18. object HNil extends HNil with Product with Serializable

    Empty HList value.

  19. object HasCoproductGeneric extends Serializable

  20. object HasProductGeneric extends Serializable

  21. object InferProduct

  22. object IsCCons1

  23. object IsCCons1Macros

  24. object IsHCons1

  25. object IsHCons1Macros

  26. object IsTuple extends Serializable

  27. object KeyConstraint extends Serializable

  28. object LUBConstraint extends Serializable

  29. object LabelledGeneric extends Serializable

  30. object LabelledMacros

  31. object Lazy extends Serializable

  32. object LazyMacros

  33. object Lub extends Serializable

  34. object MkCoproductSelectPrism extends Serializable

  35. object MkCtorPrism

  36. object MkFieldLens

  37. object MkGenericLens extends Serializable

  38. object MkHListNthLens extends Serializable

  39. object MkHListSelectLens extends Serializable

  40. object MkLabelledGenericLens extends Serializable

  41. object MkNthFieldLens

  42. object MkPathOptic extends LowPriorityMkPathOptic

  43. object MkRecordSelectLens extends Serializable

  44. object MkSelectDynamicOptic extends LowPriorityMkSelectDynamicOptic

  45. object Nat extends Nats

    Type level encoding of the natural numbers.

  46. object NatMacros

  47. object OpticComposer

  48. object OpticDefns

  49. object Orphan extends Serializable

  50. object OrphanMacros

  51. object Path extends Path[HNil]

  52. object Poly extends PolyInst with Serializable

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

  53. object PolyDefns extends Cases

  54. object PolyMacros

  55. object ProductMacros

  56. object RecordMacros

  57. object Segment extends LowPrioritySegment

  58. object SingletonTypeMacros

  59. object Sized extends LowPrioritySized

  60. object TheMacros

  61. object Tuple

  62. object TypeCase extends Serializable

  63. object Typeable extends TupleTypeableInstances with LowPriorityTypeable with Serializable

    Provides instances of Typeable.

  64. object TypeableMacros

  65. object UnaryTCConstraint extends Serializable

  66. object UnionMacros

  67. object Unpack1

  68. object Unpack10

  69. object Unpack11

  70. object Unpack12

  71. object Unpack13

  72. object Unpack14

  73. object Unpack15

  74. object Unpack16

  75. object Unpack17

  76. object Unpack18

  77. object Unpack19

  78. object Unpack2

  79. object Unpack20

  80. object Unpack21

  81. object Unpack22

  82. object Unpack3

  83. object Unpack4

  84. object Unpack5

  85. object Unpack6

  86. object Unpack7

  87. object Unpack8

  88. object Unpack9

  89. object ValueConstraint extends Serializable

  90. object Witness extends Dynamic with Serializable

  91. object WitnessWith extends LowPriorityWitnessWith with Serializable

  92. object Zipper extends Serializable

  93. val ^: Path.type

  94. def cachedImplicit[T]: T

    Annotations
    @macroImpl( ... )

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

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

  97. val fin: Fin.type

    'Fin'

  98. object labelled

  99. object lazily

  100. val lens: OpticDefns.type

  101. val nat: Nat.type

    Nat literals

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

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

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

  105. object newtype

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

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

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

  109. package ops

  110. val optic: OpticDefns.type

    Optic definitions

  111. val poly: PolyDefns.type

    Poly definitions

  112. val prism: OpticDefns.type

  113. object productElements extends Poly1

    Higher ranked function which converts products to HLists.

  114. object record

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

  115. package syntax

  116. object tag

  117. package test

  118. object the extends Dynamic

    An enhanced alternative to Predef.implicitly.

  119. object tupled extends Poly1

    Higher ranked function which converts HLists to tuples.

  120. def unexpected: Nothing

  121. object union

  122. object ~?> extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped