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. 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] = shapeless.package.<:!<[U,T] }

  6. type |∨|[T, U] = AnyRef { type λ[X] = <:<[shapeless.package.¬¬[X],shapeless.package.∨[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. def everything(f: Poly): ApplyEverything[f.type]

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

  4. package examples

  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