object
TypeOperators extends AnyRef
Type Members
-
trait
<:!<[A, B] extends AnyRef
-
trait
=:!=[A, B] extends AnyRef
-
type
@@[T, U] = T with Tagged[U]
-
type
Const[C] = AnyRef { type λ[T] = C }
-
type
Id[+T] = T
-
type
Newtype[Repr, Ops] = Tagged[NewtypeTag[Repr, Ops]]
-
trait
NewtypeTag[Repr, Ops] extends AnyRef
-
type
Tagged[U] = AnyRef { type Tag = U }
-
class
Tagger[U] extends AnyRef
-
type
|¬|[T] = AnyRef { type λ[U] = shapeless.TypeOperators.<:!<[U,T] }
-
type
|∨|[T, U] = AnyRef { type λ[X] = <:<[(X => Nothing) => Nothing,shapeless.TypeOperators.∧[T => Nothing,U => Nothing] => Nothing] }
-
type
¬[T] = (T) ⇒ Nothing
-
type
¬¬[T] = ((T) ⇒ Nothing) ⇒ Nothing
-
type
∀[P[_]] = (∃[[X](P[X]) ⇒ Nothing]) ⇒ Nothing
-
type
∃[P[_]] = P[_]
-
type
∧[T, U] = T with U
-
type
∨[T, U] = (∧[(T) ⇒ Nothing, (U) ⇒ Nothing]) ⇒ Nothing
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
implicit
def
neq[A, B]: =:!=[A, B]
-
implicit
def
neqAmbig1[A]: =:!=[A, A]
-
implicit
def
neqAmbig2[A]: =:!=[A, A]
-
def
newtype[Repr, Ops](r: Repr): Newtype[Repr, Ops]
-
implicit
def
newtypeOps[Repr, Ops](t: Newtype[Repr, Ops])(implicit mkOps: (Repr) ⇒ Ops): Ops
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
nsub[A, B]: <:!<[A, B]
-
implicit
def
nsubAmbig1[A, B >: A]: <:!<[A, B]
-
implicit
def
nsubAmbig2[A, B >: A]: <:!<[A, B]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
tag[U]: Tagger[U]
-
def
toString(): String
-
def
unexpected: Nothing
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any