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] = <:<[(X => Nothing) => Nothing,shapeless.package.∧[T => Nothing,U => Nothing] => Nothing] }

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

  8. type ¬¬[T] = ((T) ⇒ Nothing) ⇒ 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) ⇒ Nothing, (U) ⇒ Nothing]) ⇒ Nothing

Value Members

  1. val ^: Path.type

  2. def cachedImplicit[T]: T

    Annotations
    @macroImpl( ... )

  3. package datatype

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

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

  6. val fin: Fin.type

  7. val lens: OpticDefns.type

  8. val nat: Nat.type

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

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

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

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

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

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

  15. val optic: OpticDefns.type

  16. val poly: PolyDefns.type

  17. val prism: OpticDefns.type

  18. def unexpected: Nothing

Inherited from AnyRef

Inherited from Any

Ungrouped