shapeless
package
shapeless
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
-
-
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