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. class CachedImplicitMacros[C <: Context] extends AnyRef

  11. trait CaseClassFacet extends AnyRef

  12. trait CaseClassMacros extends ReprTypes

  13. trait CaseInst extends AnyRef

  14. trait Cases extends AnyRef

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

  16. sealed trait Coproduct extends AnyRef

    Encodes a coproduct type, such as a sealed family of case classes.

  17. trait CopyFacet extends CaseClassFacet

  18. trait Coselect[T] extends AnyRef

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

    Type class representing one-level generic queries.

  20. trait Data0 extends AnyRef

  21. trait Data1 extends Data0

  22. trait DataT[F, T] extends Serializable

    Type class representing one-level generic transformations.

  23. trait DataT0 extends AnyRef

  24. trait DataT1 extends DataT0

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

  26. trait DefaultSymbolicLabelling[T] extends DepFn0 with Serializable

  27. trait DepFn0 extends AnyRef

    Dependent nullary function type.

  28. trait DepFn1[T] extends AnyRef

    Dependent unary function type.

  29. trait DepFn2[T, U] extends AnyRef

    Dependent binary function type.

  30. trait DerivationContext extends CaseClassMacros

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

    The SYB everything combinator

  32. class EverythingAux[F, K] extends Poly

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

    The SYB everywhere combinator

  34. class EverywhereAux[F] extends Poly

  35. trait EverywhereAux0 extends AnyRef

  36. trait FieldOf[V] extends AnyRef

    Field with values of type V.

  37. trait FieldPoly extends Poly1

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

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

    Base trait for type level finite numbers, i.

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

    Encoding of successor.

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

    Encoding of zero.

  41. trait Generic[T] extends Serializable

    Represents the ability to convert from a concrete type (e.

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

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

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

  45. sealed trait HList extends Product with Serializable

    HList ADT base trait.

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

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

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

  48. sealed trait HNil extends HList

    Empty HList element type.

  49. trait HasCoproductGeneric[T] extends Serializable

  50. trait HasProductGeneric[T] extends Serializable

  51. type Id[+T] = T

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

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

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

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

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

  57. trait IsCons1Macros extends CaseClassMacros

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

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

  60. trait IsTuple[T] extends Serializable

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

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

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

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

    LabelledGeneric is similar to Generic, but includes information about field names or class names in addition to the raw structure.

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

  65. trait LabelledProductTypeClass[C[_]] extends Serializable

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

  66. trait LabelledProductTypeClassCompanion[C[_]] extends Serializable

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

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

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

  69. trait Lazy[+T] extends Serializable

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

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

  72. trait LowPriorityMkPathOptic extends AnyRef

  73. trait LowPriorityMkSelectDynamicOptic extends AnyRef

  74. trait LowPrioritySegment extends AnyRef

  75. trait LowPrioritySized extends AnyRef

  76. trait LowPriorityTypeable extends AnyRef

  77. trait LowPriorityWitnessWith extends AnyRef

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

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

  80. trait MkCtorPrism[A, B] extends AnyRef

  81. trait MkFieldLens[A, K] extends AnyRef

  82. trait MkGenericLens[T] extends Serializable

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

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

  85. trait MkLabelledGenericLens[T] extends Serializable

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

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

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

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

  90. trait Nat extends AnyRef

    Base trait for type level natural numbers.

  91. trait Nats extends AnyRef

  92. trait OpticComposer[L, R] extends AnyRef

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

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

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

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

  97. trait Poly extends PolyApply with Serializable

    Base trait for polymorphic values.

  98. trait Poly0 extends Poly

    Trait simplifying the creation of polymorphic values.

  99. trait Poly1 extends Poly

  100. trait Poly10 extends Poly

  101. trait Poly11 extends Poly

  102. trait Poly12 extends Poly

  103. trait Poly13 extends Poly

  104. trait Poly14 extends Poly

  105. trait Poly15 extends Poly

  106. trait Poly16 extends Poly

  107. trait Poly17 extends Poly

  108. trait Poly18 extends Poly

  109. trait Poly19 extends Poly

  110. trait Poly2 extends Poly

  111. trait Poly20 extends Poly

  112. trait Poly21 extends Poly

  113. trait Poly22 extends Poly

  114. trait Poly3 extends Poly

  115. trait Poly4 extends Poly

  116. trait Poly5 extends Poly

  117. trait Poly6 extends Poly

  118. trait Poly7 extends Poly

  119. trait Poly8 extends Poly

  120. trait Poly9 extends Poly

  121. trait PolyApply extends AnyRef

  122. trait PolyInst extends AnyRef

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

  124. trait PolymorphicEqualityFacet extends ProductISOFacet

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

  126. trait ProductArgs extends Dynamic

    Trait supporting mapping dynamic argument lists to HList arguments.

  127. trait ProductFacet extends ProductISOFacet

  128. trait ProductISOFacet extends CaseClassFacet

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

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

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

  132. trait ProductTypeClass[C[_]] extends Serializable

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

  133. trait ProductTypeClassCompanion[C[_]] extends Serializable

  134. trait RecordArgs extends Dynamic

    Trait supporting mapping named argument lists to record arguments.

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

  136. trait ReprTypes extends AnyRef

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

  138. trait Select[T] extends AnyRef

  139. trait SingletonProductArgs extends Dynamic

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

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

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

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

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

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

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

    Carrier for Sized operations.

  145. trait Split1[L[_], FO[_[_]], FI[_[_]]] extends AnyRef

  146. class Split1Macros[C <: Context] extends CaseClassMacros

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

    Encoding of successor.

  148. trait ToStringFacet extends ProductFacet

  149. trait TupleTypeableInstances extends AnyRef

  150. trait TypeCase[T] extends Serializable

    Extractor for use of Typeable in pattern matching.

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

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

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

  153. trait Typeable[T] extends Serializable

    Type class supporting type safe cast.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  180. trait Witness extends Serializable

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

  182. case class WrappedOrphan[T](instance: T) extends Product with Serializable

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

  184. class _0 extends Nat with Serializable

    Encoding of zero.

  185. class nonGeneric extends Annotation with StaticAnnotation

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

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

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

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

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

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

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

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

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

  194. 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 CachedImplicitMacros

  5. object Coproduct extends Dynamic

  6. object Data extends Data1 with Serializable

  7. object DataT extends DataT1 with Serializable

  8. object DefaultSymbolicLabelling extends Serializable

  9. object DerivationContext

  10. object EverythingAux extends Serializable

  11. object EverywhereAux extends EverywhereAux0 with Serializable

  12. object Fin

  13. object Generic extends Serializable

    The companion object for the Generic trait provides a way of obtaining a Generic[T] instance for some T.

  14. object Generic1 extends Serializable

  15. object Generic1Macros

  16. object GenericMacros

  17. object HList extends Dynamic with Serializable

  18. object HMap extends Serializable

  19. object HNil extends HNil with Product with Serializable

    Empty HList value.

  20. object HasCoproductGeneric extends Serializable

  21. object HasProductGeneric extends Serializable

  22. object InferProduct

  23. object IsCCons1

  24. object IsCCons1Macros

  25. object IsHCons1

  26. object IsHCons1Macros

  27. object IsTuple extends Serializable

  28. object KeyConstraint extends Serializable

  29. object LUBConstraint extends Serializable

  30. object LabelledGeneric extends Serializable

  31. object LabelledMacros

  32. object Lazy extends Serializable

  33. object LazyMacros

  34. object Lub extends Serializable

  35. object MkCoproductSelectPrism extends Serializable

  36. object MkCtorPrism

  37. object MkFieldLens

  38. object MkGenericLens extends Serializable

  39. object MkHListNthLens extends Serializable

  40. object MkHListSelectLens extends Serializable

  41. object MkLabelledGenericLens extends Serializable

  42. object MkNthFieldLens

  43. object MkPathOptic extends LowPriorityMkPathOptic

  44. object MkRecordSelectLens extends Serializable

  45. object MkSelectDynamicOptic extends LowPriorityMkSelectDynamicOptic

  46. object Nat extends Nats

    Type level encoding of the natural numbers.

  47. object NatMacros

  48. object OpticComposer

  49. object OpticDefns

  50. object Orphan extends Serializable

  51. object OrphanMacros

  52. object Path extends Path[HNil]

  53. object Poly extends PolyInst with Serializable

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

  54. object PolyDefns extends Cases

  55. object PolyMacros

  56. object ProductMacros

  57. object RecordMacros

  58. object Segment extends LowPrioritySegment

  59. object SingletonTypeMacros

  60. object Sized extends LowPrioritySized

  61. object Split1

  62. object Split1Macros

  63. object TheMacros

  64. object Tuple

  65. object TypeCase extends Serializable

  66. object Typeable extends TupleTypeableInstances with LowPriorityTypeable with Serializable

    Provides instances of Typeable.

  67. object TypeableMacros

  68. object UnaryTCConstraint extends Serializable

  69. object UnionMacros

  70. object Unpack1

  71. object Unpack10

  72. object Unpack11

  73. object Unpack12

  74. object Unpack13

  75. object Unpack14

  76. object Unpack15

  77. object Unpack16

  78. object Unpack17

  79. object Unpack18

  80. object Unpack19

  81. object Unpack2

  82. object Unpack20

  83. object Unpack21

  84. object Unpack22

  85. object Unpack3

  86. object Unpack4

  87. object Unpack5

  88. object Unpack6

  89. object Unpack7

  90. object Unpack8

  91. object Unpack9

  92. object ValueConstraint extends Serializable

  93. object Witness extends Dynamic with Serializable

  94. object WitnessWith extends LowPriorityWitnessWith with Serializable

  95. object WrappedOrphan extends Serializable

  96. object Zipper extends Serializable

  97. val ^: Path.type

  98. def cachedImplicit[T]: T

    Annotations
    @macroImpl( ... )

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

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

  101. val fin: Fin.type

    'Fin'

  102. object labelled

  103. object lazily

  104. val lens: OpticDefns.type

  105. val nat: Nat.type

    Nat literals

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

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

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

  109. object newtype

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

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

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

  113. package ops

  114. val optic: OpticDefns.type

    Optic definitions

  115. val poly: PolyDefns.type

    Poly definitions

  116. val prism: OpticDefns.type

  117. object productElements extends Poly1

    Higher ranked function which converts products to HLists.

  118. object record

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

  119. package syntax

  120. object tag

  121. package test

  122. object the extends Dynamic

    An enhanced alternative to Predef.implicitly.

  123. object tupled extends Poly1

    Higher ranked function which converts HLists to tuples.

  124. def unexpected: Nothing

  125. object union

  126. object ~?> extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped