Packages

p

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
Visibility
  1. Public
  2. All

Type Members

  1. type Const[C] = AnyRef { type λ[T] = C }
  2. type Everything[F <: Poly, K <: Poly, T] = Case[EverythingAux[F, K], ::[T, HNil]]
  3. type Everywhere[F <: Poly, T] = Case[EverywhereAux[F], ::[T, HNil]]
  4. type Id[+T] = T
  5. type |¬|[T] = AnyRef { type λ[U] = U <:!< T }
  6. type |∨|[T, U] = AnyRef { type λ[X] = shapeless.package.¬¬[X] <:< (T ∨ U) }
  7. type ¬[T] = (T) ⇒ Nothing
  8. type ¬¬[T] = (¬[T]) ⇒ Nothing
  9. type ∀[P[_]] = (∃[[X](P[X]) ⇒ Nothing]) ⇒ Nothing
  10. type ∃[P[_]] = P[_]
  11. type ∧[T, U] = T with U
  12. type ∨[T, U] = (∧[¬[T], ¬[U]]) ⇒ Nothing

Value Members

  1. val ^: Path.type
  2. macro def cachedImplicit[T]: T
  3. def everything(f: Poly): ApplyEverything[f.type]
  4. def everywhere(f: Poly): EverywhereAux[f.type]
  5. val fin: Fin.type
  6. val lens: OpticDefns.type
  7. val nat: Nat.type
  8. implicit def neq[A, B]: =:!=[A, B]
  9. implicit def neqAmbig1[A]: =:!=[A, A]
  10. implicit def neqAmbig2[A]: =:!=[A, A]
  11. implicit def nsub[A, B]: <:!<[A, B]
  12. implicit def nsubAmbig1[A, B >: A]: <:!<[A, B]
  13. implicit def nsubAmbig2[A, B >: A]: <:!<[A, B]
  14. val optic: OpticDefns.type
  15. val poly: PolyDefns.type
  16. val prism: OpticDefns.type
  17. def unexpected: Nothing

Inherited from AnyRef

Inherited from Any

Ungrouped