p
shapeless
package shapeless
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- shapeless
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type Const[C] = AnyRef { type λ[T] = C }
- type Everything[F <: Poly, K <: Poly, T] = Case[EverythingAux[F, K], ::[T, HNil]]
- type Everywhere[F <: Poly, T] = Case[EverywhereAux[F], ::[T, HNil]]
- type Id[+T] = T
- type |¬|[T] = AnyRef { type λ[U] = U <:!< T }
- type |∨|[T, U] = AnyRef { type λ[X] = shapeless.package.¬¬[X] <:< (T ∨ U) }
- type ¬[T] = (T) ⇒ Nothing
- type ¬¬[T] = (¬[T]) ⇒ Nothing
- type ∀[P[_]] = (∃[[X](P[X]) ⇒ Nothing]) ⇒ Nothing
- type ∃[P[_]] = P[_]
- type ∧[T, U] = T with U
- type ∨[T, U] = (∧[¬[T], ¬[U]]) ⇒ Nothing
Value Members
- val ^: Path.type
- macro def cachedImplicit[T]: T
- def everything(f: Poly): ApplyEverything[f.type]
- def everywhere(f: Poly): EverywhereAux[f.type]
- val fin: Fin.type
- val lens: OpticDefns.type
- val nat: Nat.type
- implicit def neq[A, B]: =:!=[A, B]
- implicit def neqAmbig1[A]: =:!=[A, A]
- implicit def neqAmbig2[A]: =:!=[A, A]
- implicit def nsub[A, B]: <:!<[A, B]
- implicit def nsubAmbig1[A, B >: A]: <:!<[A, B]
- implicit def nsubAmbig2[A, B >: A]: <:!<[A, B]
- val optic: OpticDefns.type
- val poly: PolyDefns.type
- val prism: OpticDefns.type
- def unexpected: Nothing