shadedshapeless

package shadedshapeless

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. shadedshapeless
  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

    Like Either, the :+: type defines a new type that can contain either H or T.

  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 Serializable

    Annotations
    @implicitNotFound( ... )

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

  5. trait AdditiveCollection[Repr] extends Serializable

    Evidence that Repr instances can be nested in a Sized.

  6. trait Annotation[A, T] extends Serializable

    Evidence that type T has annotation A, and provides an instance of the annotation.

  7. class AnnotationMacros extends CaseClassMacros

  8. trait Annotations[A, T] extends DepFn0 with Serializable

    Provides the annotations of type A of the fields or constructors of case class-like or sum type T.

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

  10. trait ApplyUnapplyFacet extends ProductISOFacet

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

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

  12. sealed trait CNil extends Coproduct

    The CNil type is used to terminate a 'list' of :+: alternatives.

  13. final case class Cached[+T](value: T) extends AnyVal with Product with Serializable

    Wraps a cached implicit T.

  14. class CachedImplicitMacros extends AnyRef

  15. class CachedMacros extends LazyMacros with OpenImplicitMacros

  16. trait CaseClassFacet extends AnyRef

  17. trait CaseClassMacros extends ReprTypes

  18. trait CaseInst extends AnyRef

  19. trait Cases extends AnyRef

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

  21. sealed trait Coproduct extends Product with Serializable

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

  22. trait CopyFacet extends CaseClassFacet

  23. trait Coselect[T] extends AnyRef

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

    Type class representing one-level generic queries.

  25. trait Data0 extends AnyRef

  26. trait Data1 extends Data0

  27. trait DataT[F, T] extends Serializable

    Type class representing one-level generic transformations.

  28. trait DataT0 extends AnyRef

  29. trait DataT1 extends DataT0

  30. trait Default[T] extends DepFn0 with Serializable

    Provides default values of case class-like types.

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

  32. class DefaultMacros extends CaseClassMacros

  33. trait DefaultSymbolicLabelling[T] extends DepFn0 with Serializable

  34. trait DepFn0 extends AnyRef

    Dependent nullary function type.

  35. trait DepFn1[T] extends AnyRef

    Dependent unary function type.

  36. trait DepFn2[T, U] extends AnyRef

    Dependent binary function type.

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

    The SYB everything combinator

  38. class EverythingAux[F, K] extends Poly

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

    The SYB everywhere combinator

  40. class EverywhereAux[F] extends Poly

  41. trait FieldOf[V] extends AnyRef

    Field with values of type V.

  42. trait FieldPoly extends Poly1

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

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

    Base trait for type level finite numbers, i.

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

    Encoding of successor.

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

    Encoding of zero.

  46. trait FromProductArgs extends Dynamic

    Trait supporting mapping HList arguments to argument lists, inverse of ProductArgs.

  47. trait FromRecordArgs extends Dynamic

    Trait supporting mapping record arguments to named argument lists, inverse of RecordArgs.

  48. trait Generic[T] extends Serializable

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

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

  50. trait Generic10 extends AnyRef

  51. class Generic1Macros extends CaseClassMacros

  52. class GenericMacros extends CaseClassMacros

  53. sealed trait HList extends Product with Serializable

    HList ADT base trait.

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

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

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

  56. sealed trait HNil extends HList

    Empty HList element type.

  57. class HasCoproductGeneric[T] extends Serializable

  58. class HasProductGeneric[T] extends Serializable

  59. type Id[+T] = T

  60. trait InferProduct[C <: Coproduct, K] extends Serializable

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

    H :+: T can either be H or T.

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

    H :+: T can either be H or T.

  63. trait IsCCons1[L[_], FH[_[_]], FT[_[_]]] extends Serializable

  64. trait IsCCons10 extends AnyRef

  65. class IsCCons1Macros extends IsCons1Macros

  66. trait IsCons1Macros extends CaseClassMacros

  67. trait IsDistinctConstraint[L <: HList] extends Serializable

    Type class witnessing that all elements of L have distinct types

  68. trait IsHCons1[L[_], FH[_[_]], FT[_[_]]] extends Serializable

  69. trait IsHCons10 extends AnyRef

  70. class IsHCons1Macros extends IsCons1Macros

  71. class IsTuple[T] extends Serializable

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

  73. trait LPLens[S, A] extends Dynamic with Serializable

  74. trait LPPath[T <: HList] extends Dynamic

  75. trait LPPrism[S, A] extends Dynamic with Serializable

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

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

  77. trait LabelledGeneric[T] extends Serializable

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

  78. class LabelledMacros extends SingletonTypeUtils with CaseClassMacros

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

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

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

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

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

  83. trait Lazy[+T] extends Serializable

    Wraps a lazily computed value.

  84. class LazyMacros extends CaseClassMacros with OpenImplicitMacros with LowPriorityTypes

  85. trait LazyMacrosCompat extends AnyRef

  86. trait Lens[S, A] extends LPLens[S, A]

  87. sealed trait LowPriority extends Serializable

    Evidence that no implicit instance of the same type as the one being currently searched is available elsewhere.

  88. class LowPriorityMacros extends OpenImplicitMacros with LowPriorityTypes

  89. trait LowPriorityMkPathOptic extends AnyRef

  90. trait LowPriorityMkSelectDynamicOptic extends AnyRef

  91. trait LowPrioritySegment extends AnyRef

  92. trait LowPrioritySized extends AnyRef

  93. trait LowPriorityTypeable extends AnyRef

  94. trait LowPriorityTypes extends AnyRef

  95. trait LowPriorityUnaryTCConstraint extends LowPriorityUnaryTCConstraint0

  96. trait LowPriorityUnaryTCConstraint0 extends AnyRef

  97. trait LowPriorityUnwrappedInstances extends AnyRef

  98. trait LowPriorityWitnessWith extends AnyRef

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

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

  101. trait MkCtorPrism[A, B] extends Serializable

  102. trait MkFieldLens[A, K] extends Serializable

  103. trait MkGenericLens[T] extends Serializable

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

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

  106. trait MkLabelledGenericLens[T] extends Serializable

  107. trait MkNthFieldLens[A, N <: Nat] extends Serializable

  108. trait MkPathOptic[S, P <: HList] extends Serializable

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

  110. trait MkSelectDynamicOptic[R, A, K, B] extends Serializable

  111. trait Nat extends AnyRef

    Base trait for type level natural numbers.

  112. trait NatMacroDefns extends AnyRef

  113. class NatMacros extends NatMacroDefns

  114. trait NatProductArgs extends Dynamic

    Trait supporting mapping dynamic argument lists of Ints to HList of Nat arguments.

  115. trait NatTRel0 extends AnyRef

  116. trait NatWith[TC[_ <: Nat]] extends AnyRef

  117. trait Nats extends AnyRef

  118. trait NotContainsConstraint[L <: HList, U] extends Serializable

    Type class witnessing that L doesn't contain elements of type U

  119. trait OpenImplicitMacros extends AnyRef

  120. trait OpticComposer[L, R] extends Serializable

  121. sealed trait OrElse[+A, +B] extends AnyRef

    Like Option.orElse on the type level and like Either on the value level.

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

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

  124. class OrphanMacros extends CaseClassMacros

  125. trait Path[T <: HList] extends LPPath[T]

  126. trait Poly extends PolyApply with Serializable

    Base trait for polymorphic values.

  127. trait Poly0 extends Poly

    Trait simplifying the creation of polymorphic values.

  128. trait Poly1 extends Poly

  129. trait Poly10 extends Poly

  130. trait Poly11 extends Poly

  131. trait Poly12 extends Poly

  132. trait Poly13 extends Poly

  133. trait Poly14 extends Poly

  134. trait Poly15 extends Poly

  135. trait Poly16 extends Poly

  136. trait Poly17 extends Poly

  137. trait Poly18 extends Poly

  138. trait Poly19 extends Poly

  139. trait Poly2 extends Poly

  140. trait Poly20 extends Poly

  141. trait Poly21 extends Poly

  142. trait Poly22 extends Poly

  143. trait Poly3 extends Poly

  144. trait Poly4 extends Poly

  145. trait Poly5 extends Poly

  146. trait Poly6 extends Poly

  147. trait Poly7 extends Poly

  148. trait Poly8 extends Poly

  149. trait Poly9 extends Poly

  150. trait PolyApply extends AnyRef

  151. trait PolyInst extends AnyRef

  152. class PolyMacros extends AnyRef

  153. trait PolymorphicEqualityFacet extends ProductISOFacet

  154. final class Primary[+A] extends OrElse[A, Nothing]

  155. trait Prism[S, A] extends LPPrism[S, A]

  156. trait ProductArgs extends Dynamic

    Trait supporting mapping dynamic argument lists to HList arguments.

  157. trait ProductFacet extends ProductISOFacet

  158. trait ProductISOFacet extends CaseClassFacet

  159. trait ProductLensBuilder[C, P <: Product] extends Lens[C, P] with Serializable

  160. class ProductMacros extends SingletonTypeUtils with NatMacroDefns

  161. trait ProductPrismBuilder[C, P <: Product] extends Prism[C, P] with Serializable

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

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

  164. trait RecordArgs extends Dynamic

    Trait supporting mapping named argument lists to record arguments.

  165. class RecordMacros extends AnyRef

  166. trait Refute[T] extends AnyRef

    Evidence that no implicit instance of type T is available

  167. trait ReprTypes extends AnyRef

  168. final class Secondary[+B] extends OrElse[Nothing, B]

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

  170. trait Select[T] extends AnyRef

  171. trait SingletonProductArgs extends Dynamic

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

  172. class SingletonTypeMacros extends SingletonTypeUtils with NatMacroDefns

  173. trait SingletonTypeUtils extends ReprTypes

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

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

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

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

    Carrier for Sized operations.

  177. trait Split1[L[_], FO[_[_]], FI[_[_]]] extends Serializable

  178. trait Split10 extends AnyRef

  179. class Split1Macros extends CaseClassMacros

  180. trait Strict[+T] extends Serializable

    Wraps an eagerly computed value.

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

    Encoding of successor.

  182. class TestMacros extends AnyRef

  183. class TheMacros extends AnyRef

  184. trait ToStringFacet extends ProductFacet

  185. trait TupleTypeableInstances extends AnyRef

  186. trait TypeCase[T] extends Serializable

    Extractor for use of Typeable in pattern matching.

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

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

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

  189. trait Typeable[T] extends Serializable

    Type class supporting type safe cast.

  190. class TypeableMacros extends SingletonTypeUtils

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

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

  192. class UnionMacros extends AnyRef

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  215. trait Unwrapped[W] extends Serializable

  216. trait UnwrappedInstances extends LowPriorityUnwrappedInstances

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

  218. trait Widen[T] extends DepFn1[T]

    Provides the widen type of a singleton type.

  219. trait Witness extends Serializable

    Provides the value corresponding to a singleton type.

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

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

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

  223. class _0 extends Nat with Serializable

    Encoding of zero.

  224. class nonGeneric extends scala.annotation.Annotation with StaticAnnotation

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

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

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

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

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

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

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

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

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

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

Value Members

  1. object AdditiveCollection extends Serializable

  2. object Annotation extends Serializable

  3. object AnnotationMacros

  4. object Annotations extends Serializable

  5. object BasisConstraint extends Serializable

  6. object BuildInfo extends Product with Serializable

    This object was generated by sbt-buildinfo.

  7. object Cached extends Serializable

  8. object CachedImplicitMacros

  9. object CachedMacros

  10. object Coproduct extends Dynamic with Serializable

  11. object Data extends Data1 with Serializable

  12. object DataT extends DataT1 with Serializable

  13. object Default extends Serializable

  14. object DefaultMacros

  15. object DefaultSymbolicLabelling extends Serializable

  16. object EverythingAux extends Serializable

  17. object EverywhereAux extends Serializable

  18. object Fin

  19. object Generic extends Serializable

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

  20. object Generic1 extends Generic10 with Serializable

  21. object Generic1Macros

  22. object GenericMacros

  23. object HList extends Dynamic with Serializable

  24. object HMap extends Serializable

  25. object HNil extends HNil with Product with Serializable

    Empty HList value.

  26. object HasCoproductGeneric extends Serializable

  27. object HasProductGeneric extends Serializable

  28. object InferProduct extends Serializable

  29. object IsCCons1 extends IsCCons10 with Serializable

  30. object IsCCons1Macros

  31. object IsDistinctConstraint extends Serializable

  32. object IsHCons1 extends IsHCons10 with Serializable

  33. object IsHCons1Macros

  34. object IsTuple extends Serializable

  35. object KeyConstraint extends Serializable

  36. object LUBConstraint extends Serializable

  37. object LabelledGeneric extends Serializable

  38. object LabelledMacros

  39. object Lazy extends Serializable

  40. object LazyMacros extends LazyMacrosCompat

  41. object LazyMacrosRef

  42. object LowPriority extends Serializable

  43. object LowPriorityMacros

  44. object Lub extends Serializable

  45. object MkCoproductSelectPrism extends Serializable

  46. object MkCtorPrism extends Serializable

  47. object MkFieldLens extends Serializable

  48. object MkGenericLens extends Serializable

  49. object MkHListNthLens extends Serializable

  50. object MkHListSelectLens extends Serializable

  51. object MkLabelledGenericLens extends Serializable

  52. object MkNthFieldLens extends Serializable

  53. object MkPathOptic extends LowPriorityMkPathOptic with Serializable

  54. object MkRecordSelectLens extends Serializable

  55. object MkSelectDynamicOptic extends LowPriorityMkSelectDynamicOptic with Serializable

  56. object Nat extends Nats

    Type level encoding of the natural numbers.

  57. object NatMacros

  58. object NatWith

  59. object NotContainsConstraint extends Serializable

  60. object OpticComposer extends Serializable

  61. object OpticDefns

  62. object OrElse extends OrElse0

  63. object Orphan extends Serializable

  64. object OrphanMacros

  65. object Path extends Path[HNil]

  66. object Poly extends PolyInst with Serializable

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

  67. object Poly1 extends Poly1Builder[HNil] with Serializable

  68. object Poly10 extends Poly10Builder[HNil] with Serializable

  69. object Poly11 extends Poly11Builder[HNil] with Serializable

  70. object Poly12 extends Poly12Builder[HNil] with Serializable

  71. object Poly13 extends Poly13Builder[HNil] with Serializable

  72. object Poly14 extends Poly14Builder[HNil] with Serializable

  73. object Poly15 extends Poly15Builder[HNil] with Serializable

  74. object Poly16 extends Poly16Builder[HNil] with Serializable

  75. object Poly17 extends Poly17Builder[HNil] with Serializable

  76. object Poly18 extends Poly18Builder[HNil] with Serializable

  77. object Poly19 extends Poly19Builder[HNil] with Serializable

  78. object Poly2 extends Poly2Builder[HNil] with Serializable

  79. object Poly20 extends Poly20Builder[HNil] with Serializable

  80. object Poly21 extends Poly21Builder[HNil] with Serializable

  81. object Poly22 extends Poly22Builder[HNil] with Serializable

  82. object Poly3 extends Poly3Builder[HNil] with Serializable

  83. object Poly4 extends Poly4Builder[HNil] with Serializable

  84. object Poly5 extends Poly5Builder[HNil] with Serializable

  85. object Poly6 extends Poly6Builder[HNil] with Serializable

  86. object Poly7 extends Poly7Builder[HNil] with Serializable

  87. object Poly8 extends Poly8Builder[HNil] with Serializable

  88. object Poly9 extends Poly9Builder[HNil] with Serializable

  89. object PolyDefns extends Cases

  90. object PolyMacros

  91. object PolyNBuilders

    Provides elegant syntax for creating polys from functions

  92. object ProductMacros

  93. object RecordMacros

  94. object Refute

  95. object Segment extends LowPrioritySegment

  96. object SingletonTypeMacros

  97. object Sized extends LowPrioritySized

  98. object Split1 extends Split10 with Serializable

  99. object Split1Macros

  100. object Strict extends Serializable

  101. object TestMacros

  102. object TheMacros

  103. object Tuple

  104. object TypeCase extends Serializable

  105. object TypeOf extends Dynamic

  106. object Typeable extends TupleTypeableInstances with LowPriorityTypeable with Serializable

    Provides instances of Typeable.

  107. object TypeableMacros

  108. object UnaryTCConstraint extends LowPriorityUnaryTCConstraint with Serializable

  109. object UnionMacros

  110. object Unpack1

  111. object Unpack10

  112. object Unpack11

  113. object Unpack12

  114. object Unpack13

  115. object Unpack14

  116. object Unpack15

  117. object Unpack16

  118. object Unpack17

  119. object Unpack18

  120. object Unpack19

  121. object Unpack2

  122. object Unpack20

  123. object Unpack21

  124. object Unpack22

  125. object Unpack3

  126. object Unpack4

  127. object Unpack5

  128. object Unpack6

  129. object Unpack7

  130. object Unpack8

  131. object Unpack9

  132. object Unwrapped extends UnwrappedInstances with Serializable

  133. object ValueConstraint extends Serializable

  134. object Widen

  135. object Witness extends Dynamic with Serializable

  136. object WitnessWith extends LowPriorityWitnessWith with Serializable

  137. object WrappedOrphan extends Serializable

  138. object Zipper extends Serializable

  139. val ^: Path.type

  140. def cachedImplicit[T]: T

    Annotations
    @macroImpl( ... )

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

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

  143. val fin: Fin.type

    'Fin'

  144. object labelled

  145. object lazily

  146. val lens: OpticDefns.type

  147. val nat: Nat.type

    Nat literals

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

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

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

  151. object newtype

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

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

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

  155. package ops

  156. val optic: OpticDefns.type

    Optic definitions

  157. val poly: PolyDefns.type

    Poly definitions

  158. val prism: OpticDefns.type

  159. object productElements extends Poly1

    Higher ranked function which converts products to HLists.

  160. object record

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

  161. package syntax

  162. object tag

  163. package test

  164. object the extends Dynamic

    An enhanced alternative to Predef.implicitly.

  165. object tupled extends Poly1

    Higher ranked function which converts HLists to tuples.

  166. def unexpected: Nothing

  167. object union

  168. object ~?> extends NatTRel0 with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped