Packages

trait RelationsLib extends Library

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RelationsLib
  2. Library
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. implicit class TyperW[N <: Nat] extends AnyRef
    Attributes
    protected
    Definition Classes
    Library

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val And: BinaryFunc
  5. val Between: TernaryFunc
  6. val Cond: TernaryFunc
  7. val Eq: BinaryFunc
  8. val Gt: BinaryFunc
  9. val Gte: BinaryFunc
  10. val IfUndefined: BinaryFunc
  11. val Lt: BinaryFunc
  12. val Lte: BinaryFunc
  13. val Neq: BinaryFunc
  14. val Not: UnaryFunc
  15. val Or: BinaryFunc
  16. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  17. def basicUntyper[N <: Nat]: Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  18. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  19. def constTyper[N <: Nat](codomain: Codomain): Typer[N]
    Attributes
    protected
    Definition Classes
    Library
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  22. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. def flip(f: GenericFunc[shapeless.Nat._2]): slamdata.Predef.Option[GenericFunc[shapeless.Nat._2]]
  24. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def negate(f: GenericFunc[shapeless.Nat._2]): slamdata.Predef.Option[GenericFunc[shapeless.Nat._2]]
  29. val noSimplification: Simplifier
    Attributes
    protected
    Definition Classes
    Library
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. def numericWidening: Typer[shapeless.Nat._2]
    Attributes
    protected
    Definition Classes
    Library
  33. def partialTyper[N <: Nat](f: slamdata.Predef.PartialFunction[Domain[N], Codomain]): Typer[N]
    Attributes
    protected
    Definition Classes
    Library
  34. def partialTyperOV[N <: Nat](f: (Domain[N]) ⇒ slamdata.Predef.Option[VCodomain]): Typer[N]
    Definition Classes
    Library
  35. def partialTyperV[N <: Nat](f: slamdata.Predef.PartialFunction[Domain[N], VCodomain]): Typer[N]
    Definition Classes
    Library
  36. def partialUntyper[N <: Nat](f: slamdata.Predef.PartialFunction[Codomain, Domain[N]]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  37. def partialUntyperOV[N <: Nat](f: (Codomain) ⇒ slamdata.Predef.Option[VDomain[N]]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  38. def partialUntyperV[N <: Nat](f: slamdata.Predef.PartialFunction[Codomain, VDomain[N]]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. def untyper[N <: Nat](f: (Codomain) ⇒ VDomain[N]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Library

Inherited from AnyRef

Inherited from Any

Ungrouped