Trait/Object

tempus.timeSeries.laws

TimeSeriesLaws

Related Docs: object TimeSeriesLaws | package laws

Permalink

trait TimeSeriesLaws[F[_]] extends TraverseLaws[F] with MonoidKLaws[F] with FunctorFilterLaws[F]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TimeSeriesLaws
  2. FunctorFilterLaws
  3. MonoidKLaws
  4. SemigroupKLaws
  5. TraverseLaws
  6. UnorderedTraverseLaws
  7. FoldableLaws
  8. UnorderedFoldableLaws
  9. FunctorLaws
  10. InvariantLaws
  11. AnyRef
  12. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def F: TimeSeries[F]

    Permalink
    Definition Classes
    TimeSeriesLaws → FunctorFilterLaws → MonoidKLaws → SemigroupKLaws → TraverseLaws → UnorderedTraverseLaws → FoldableLaws → UnorderedFoldableLaws → FunctorLaws → InvariantLaws

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def collectConsistentWithMapFilter[A, B](fa: F[A], f: PartialFunction[A, B]): IsEq[F[B]]

    Permalink
    Definition Classes
    FunctorFilterLaws
  7. def collectFirstSome_Ref[A, B](fa: F[A], f: (A) ⇒ Option[B]): IsEq[Option[B]]

    Permalink
    Definition Classes
    FoldableLaws
  8. def collectFirst_Ref[A, B](fa: F[A], pf: PartialFunction[A, B]): IsEq[Option[B]]

    Permalink
    Definition Classes
    FoldableLaws
  9. def commutativeCombineK[A](fa: F[A], fb: F[A]): IsEq[F[A]]

    Permalink
  10. def covariantComposition[A, B, C](fa: F[A], f: (A) ⇒ B, g: (B) ⇒ C): IsEq[F[C]]

    Permalink
    Definition Classes
    FunctorLaws
  11. def covariantIdentity[A](fa: F[A]): IsEq[F[A]]

    Permalink
    Definition Classes
    FunctorLaws
  12. def dropWhile_Ref[A](fa: F[A], p: (A) ⇒ Boolean): IsEq[List[A]]

    Permalink
    Definition Classes
    FoldableLaws
  13. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  15. def existsConsistentWithFind[A](fa: F[A], p: (A) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    FoldableLaws
  16. def existsLazy[A](fa: F[A]): Boolean

    Permalink
    Definition Classes
    UnorderedFoldableLaws
  17. def filterConsistentWithMapFilter[A](fa: F[A], f: (A) ⇒ Boolean): IsEq[F[A]]

    Permalink
    Definition Classes
    FunctorFilterLaws
  18. def filter_Ref[A](fa: F[A], p: (A) ⇒ Boolean): IsEq[List[A]]

    Permalink
    Definition Classes
    FoldableLaws
  19. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. def flattenOptionConsistentWithMapFilter[A](fa: F[Option[A]]): IsEq[F[A]]

    Permalink
    Definition Classes
    FunctorFilterLaws
  21. def foldMIdentity[A, B](fa: F[A], b: B, f: (B, A) ⇒ B): IsEq[B]

    Permalink
    Definition Classes
    FoldableLaws
  22. def foldMapDerived[A, B](fa: F[A], f: (A) ⇒ B)(implicit B: Monoid[B]): IsEq[B]

    Permalink
    Definition Classes
    TraverseLaws
  23. def foldRef[A](fa: F[A])(implicit A: Monoid[A]): IsEq[A]

    Permalink
    Definition Classes
    FoldableLaws
  24. def foldRightLazy[A](fa: F[A]): Boolean

    Permalink
    Definition Classes
    FoldableLaws
  25. def forallConsistentWithExists[A](fa: F[A], p: (A) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    UnorderedFoldableLaws
  26. def forallEmpty[A](fa: F[A], p: (A) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    UnorderedFoldableLaws
  27. def forallLazy[A](fa: F[A]): Boolean

    Permalink
    Definition Classes
    UnorderedFoldableLaws
  28. def fromConsistency[A, G[_]](ga: G[(A, Instant)])(implicit arg0: Foldable[G]): IsEq[List[A]]

    Permalink
  29. implicit def functor: Functor[F]

    Permalink
    Definition Classes
    FunctorFilterLaws
  30. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  31. def getRef[A](fa: F[A], idx: Long): IsEq[Option[A]]

    Permalink
    Definition Classes
    FoldableLaws
  32. def groupByTimeIdentity[A](fa: F[A]): IsEq[F[NonEmptyList[A]]]

    Permalink
  33. def groupByTimeSequence[A](fa: F[A], periodInSecondsSeed: Long): IsEq[List[A]]

    Permalink
  34. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  35. def innerJoinWithDuplication[A, B](fa: F[A], f: (A, A) ⇒ B): IsEq[F[B]]

    Permalink
  36. def innerJoinWithLeftOnly[A, B](fa: F[A], f: (A, A) ⇒ B): IsEq[F[B]]

    Permalink
  37. def innerJoinWithRightOnly[A, B](fa: F[A], f: (A, A) ⇒ B): IsEq[F[B]]

    Permalink
  38. def invariantComposition[A, B, C](fa: F[A], f1: (A) ⇒ B, f2: (B) ⇒ A, g1: (B) ⇒ C, g2: (C) ⇒ B): IsEq[F[C]]

    Permalink
    Definition Classes
    InvariantLaws
  39. def invariantIdentity[A](fa: F[A]): IsEq[F[A]]

    Permalink
    Definition Classes
    InvariantLaws
  40. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  41. def lastConsistency[A, G[_]](ga: G[(A, Instant)])(implicit arg0: Foldable[G]): IsEq[Option[(A, Instant)]]

    Permalink
  42. def leftFoldConsistentWithFoldMap[A, B](fa: F[A], f: (A) ⇒ B)(implicit M: Monoid[B]): IsEq[B]

    Permalink
    Definition Classes
    FoldableLaws
  43. def mapFilterComposition[A, B, C](fa: F[A], f: (A) ⇒ Option[B], g: (B) ⇒ Option[C]): IsEq[F[C]]

    Permalink
    Definition Classes
    FunctorFilterLaws
  44. def mapFilterMapConsistency[A, B](fa: F[A], f: (A) ⇒ B): IsEq[F[B]]

    Permalink
    Definition Classes
    FunctorFilterLaws
  45. def mapWithIndexRef[A, B](fa: F[A], f: (A, Int) ⇒ B): IsEq[F[B]]

    Permalink
    Definition Classes
    TraverseLaws
  46. def mapWithTimeConsistentWithMap[A, B](fa: F[A], f: (A) ⇒ B): IsEq[F[B]]

    Permalink
  47. def monoidKLeftIdentity[A](a: F[A]): IsEq[F[A]]

    Permalink
    Definition Classes
    MonoidKLaws
  48. def monoidKRightIdentity[A](a: F[A]): IsEq[F[A]]

    Permalink
    Definition Classes
    MonoidKLaws
  49. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  50. def nonEmptyRef[A](fa: F[A]): IsEq[Boolean]

    Permalink
    Definition Classes
    UnorderedFoldableLaws
  51. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  52. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  53. def orderedConsistency[A](x: F[A], y: F[A])(implicit arg0: Eq[A], ev: Eq[F[A]]): IsEq[List[A]]

    Permalink
    Definition Classes
    FoldableLaws
  54. def outerJoinConsistent[A, B](fa: F[A], fb: F[B]): IsEq[F[Ior[A, B]]]

    Permalink
  55. def reduceLeftOptionConsistentWithReduceLeftToOption[A](fa: F[A], f: (A, A) ⇒ A): IsEq[Option[A]]

    Permalink
    Definition Classes
    FoldableLaws
  56. def reduceRightOptionConsistentWithReduceRightToOption[A](fa: F[A], f: (A, A) ⇒ A): IsEq[Option[A]]

    Permalink
    Definition Classes
    FoldableLaws
  57. def rightFoldConsistentWithFoldMap[A, B](fa: F[A], f: (A) ⇒ B)(implicit M: Monoid[B]): IsEq[B]

    Permalink
    Definition Classes
    FoldableLaws
  58. def semigroupKAssociative[A](a: F[A], b: F[A], c: F[A]): IsEq[F[A]]

    Permalink
    Definition Classes
    SemigroupKLaws
  59. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  60. def takeWhile_Ref[A](fa: F[A], p: (A) ⇒ Boolean): IsEq[List[A]]

    Permalink
    Definition Classes
    FoldableLaws
  61. def toListRef[A](fa: F[A]): IsEq[List[A]]

    Permalink
    Definition Classes
    FoldableLaws
  62. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  63. def traverseIdentity[A, B](fa: F[A], f: (A) ⇒ B): IsEq[F[B]]

    Permalink
    Definition Classes
    TraverseLaws
  64. def traverseOrderConsistent[A](fa: F[A]): IsEq[Option[A]]

    Permalink
    Definition Classes
    TraverseLaws
  65. def traverseParallelComposition[A, B, M[_], N[_]](fa: F[A], f: (A) ⇒ M[B], g: (A) ⇒ N[B])(implicit N: Applicative[N], M: Applicative[M]): IsEq[(M[F[B]], N[F[B]])]

    Permalink
    Definition Classes
    TraverseLaws
  66. def traverseSequentialComposition[A, B, C, M[_], N[_]](fa: F[A], f: (A) ⇒ M[B], g: (B) ⇒ N[C])(implicit N: Applicative[N], M: Applicative[M]): IsEq[Nested[M, N, F[C]]]

    Permalink
    Definition Classes
    TraverseLaws
  67. def traverseWithIndexMRef[G[_], A, B](fa: F[A], f: (A, Int) ⇒ G[B])(implicit G: Monad[G]): IsEq[G[F[B]]]

    Permalink
    Definition Classes
    TraverseLaws
  68. def traverseWithTimeConsistentWithTraverse[A, B, G[_]](fa: F[A], f: (A) ⇒ G[B])(implicit arg0: Applicative[G]): IsEq[G[F[B]]]

    Permalink
  69. def unorderedFoldConsistentWithUnorderedFoldMap[A](fa: F[A])(implicit arg0: CommutativeMonoid[A]): IsEq[A]

    Permalink
    Definition Classes
    UnorderedFoldableLaws
  70. def unorderedSequenceConsistent[A, G[_]](fga: F[G[A]])(implicit arg0: CommutativeApplicative[G]): IsEq[G[F[A]]]

    Permalink
    Definition Classes
    UnorderedTraverseLaws
  71. def unorderedTraverseIdentity[A, B](fa: F[A])(f: (A) ⇒ B)(implicit ev: Functor[F]): IsEq[F[B]]

    Permalink
    Definition Classes
    UnorderedTraverseLaws
  72. def unorderedTraverseParallelComposition[A, B, M[_], N[_]](fa: F[A], f: (A) ⇒ M[B], g: (A) ⇒ N[B])(implicit N: CommutativeApplicative[N], M: CommutativeApplicative[M]): IsEq[(M[F[B]], N[F[B]])]

    Permalink
    Definition Classes
    UnorderedTraverseLaws
  73. def unorderedTraverseSequentialComposition[A, B, C, M[_], N[_]](fa: F[A], f: (A) ⇒ M[B], g: (B) ⇒ N[C])(implicit N: CommutativeApplicative[N], M: CommutativeApplicative[M]): IsEq[Nested[M, N, F[C]]]

    Permalink
    Definition Classes
    UnorderedTraverseLaws
  74. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  75. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  76. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  77. def zipWithIndexRef[A, B](fa: F[A], f: ((A, Int)) ⇒ B): IsEq[F[B]]

    Permalink
    Definition Classes
    TraverseLaws

Inherited from FunctorFilterLaws[F]

Inherited from MonoidKLaws[F]

Inherited from SemigroupKLaws[F]

Inherited from TraverseLaws[F]

Inherited from UnorderedTraverseLaws[F]

Inherited from FoldableLaws[F]

Inherited from UnorderedFoldableLaws[F]

Inherited from FunctorLaws[F]

Inherited from InvariantLaws[F]

Inherited from AnyRef

Inherited from Any

Ungrouped