Package

shapeless

Permalink

package shapeless

Linear Supertypes

AnyRef, Any

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] = shapeless.package.<:!<[U,T] }
type |∨|[T, U] = AnyRef { type λ[X] = <:<[shapeless.package.¬¬[X],shapeless.package.∨[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
package contrib
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

Inherited from AnyRef

Inherited from Any

Ungrouped