Packages

object RelationsLib extends RelationsLib

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RelationsLib
  2. RelationsLib
  3. Library
  4. AnyRef
  5. 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
    Definition Classes
    RelationsLib
  5. val Between: TernaryFunc
    Definition Classes
    RelationsLib
  6. val Cond: TernaryFunc
    Definition Classes
    RelationsLib
  7. val Eq: BinaryFunc
    Definition Classes
    RelationsLib
  8. val Gt: BinaryFunc
    Definition Classes
    RelationsLib
  9. val Gte: BinaryFunc
    Definition Classes
    RelationsLib
  10. val IfUndefined: BinaryFunc
    Definition Classes
    RelationsLib
  11. val Lt: BinaryFunc
    Definition Classes
    RelationsLib
  12. val Lte: BinaryFunc
    Definition Classes
    RelationsLib
  13. val Neq: BinaryFunc
    Definition Classes
    RelationsLib
  14. val Not: UnaryFunc
    Definition Classes
    RelationsLib
  15. val Or: BinaryFunc
    Definition Classes
    RelationsLib
  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]]
    Definition Classes
    RelationsLib
  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]]
    Definition Classes
    RelationsLib
  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 partialTyperV[N <: Nat](f: slamdata.Predef.PartialFunction[Domain[N], VCodomain]): Typer[N]
    Definition Classes
    Library
  35. def partialUntyper[N <: Nat](f: slamdata.Predef.PartialFunction[Codomain, Domain[N]]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  36. def partialUntyperOV[N <: Nat](f: (Codomain) ⇒ slamdata.Predef.Option[VDomain[N]]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  37. def partialUntyperV[N <: Nat](f: slamdata.Predef.PartialFunction[Codomain, VDomain[N]]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  38. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  39. def toString(): String
    Definition Classes
    AnyRef → Any
  40. def untyper[N <: Nat](f: (Codomain) ⇒ VDomain[N]): Untyper[N]
    Attributes
    protected
    Definition Classes
    Library
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from RelationsLib

Inherited from Library

Inherited from AnyRef

Inherited from Any

Ungrouped