Package

quasar

fp

Permalink

package fp

Linear Supertypes
CatchableInstances, SKI, DebugOps, QFoldableOps, ProcessOps, JsonOps, PartialFunctionOps, ToCatchableOps, CoEnvInstances, LowPriorityCoEnvImplicits, WriterTInstances, StateTInstances, OptionTInstances, ListMapInstances, TreeInstances, LowPriorityTreeInstances, LowerPriorityTreeInstances, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. fp
  2. CatchableInstances
  3. SKI
  4. DebugOps
  5. QFoldableOps
  6. ProcessOps
  7. JsonOps
  8. PartialFunctionOps
  9. ToCatchableOps
  10. CoEnvInstances
  11. LowPriorityCoEnvImplicits
  12. WriterTInstances
  13. StateTInstances
  14. OptionTInstances
  15. ListMapInstances
  16. TreeInstances
  17. LowPriorityTreeInstances
  18. LowerPriorityTreeInstances
  19. AnyRef
  20. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. implicit class CatchableOfDisjunctionOps[F[_], A, B] extends AnyRef

    Permalink
    Definition Classes
    CatchableInstances

  2. trait CatchableOps[F[_], A] extends Ops[F[A]]

    Permalink
    Definition Classes
    ToCatchableOps

  3. type EnumT[F[_], A] = EnumeratorT[A, F]

    Permalink

  4. implicit class PFOps[A, B] extends AnyRef

    Permalink
    Definition Classes
    PartialFunctionOps

  5. implicit class PrOps[F[_], O] extends AnyRef

    Permalink
    Definition Classes
    ProcessOps

  6. implicit class ProcessOfTaskOps[O] extends AnyRef

    Permalink
    Definition Classes
    ProcessOps

  7. class SeqW[A] extends AnyRef

    Permalink
    Definition Classes
    ListMapInstances

  8. implicit class TaskOps[A] extends AnyRef

    Permalink
    Definition Classes
    ProcessOps

  9. implicit final class ToDebugOps[A] extends AnyRef

    Permalink
    Definition Classes
    DebugOps

  10. implicit final class ToQFoldableOps[F[_], A] extends AnyRef

    Permalink
    Definition Classes
    QFoldableOps

Value Members

  1. implicit val BooleanRenderTree: RenderTree[Predef.Boolean]

    Permalink
    Definition Classes
    TreeInstances

  2. implicit val DoubleRenderTree: RenderTree[Predef.Double]

    Permalink
    Definition Classes
    TreeInstances

  3. implicit def EitherRenderTree[A, B](implicit RA: RenderTree[A], RB: RenderTree[B]): RenderTree[\/[A, B]]

    Permalink
    Definition Classes
    TreeInstances

  4. implicit def EqualEqualF[F[_], A, FF[A] <: F[A]](implicit arg0: Equal[A], FE: EqualF[F]): Equal[FF[A]]

    Permalink

  5. implicit def EqualFNT[F[_]](implicit EF: EqualF[F]): ~>[Equal, [α]Equal[F[α]]]

    Permalink

  6. implicit val IntRenderTree: RenderTree[Predef.Int]

    Permalink
    Definition Classes
    TreeInstances

  7. implicit def LeftTuple3RenderTree[A, B, C](implicit RA: RenderTree[A], RB: RenderTree[B], RC: RenderTree[C]): RenderTree[((A, B), C)]

    Permalink
    Definition Classes
    LowPriorityTreeInstances

  8. implicit def LeftTuple4RenderTree[A, B, C, D](implicit RA: RenderTree[A], RB: RenderTree[B], RC: RenderTree[C], RD: RenderTree[D]): RenderTree[(((A, B), C), D)]

    Permalink
    Definition Classes
    TreeInstances

  9. implicit def ListMapEqual[A, B](implicit arg0: Equal[A], arg1: Equal[B]): Equal[Predef.ListMap[A, B]]

    Permalink
    Definition Classes
    TreeInstances

  10. implicit def ListMapRenderTree[K, V](implicit arg0: Show[K], RV: RenderTree[V]): RenderTree[Predef.ListMap[K, V]]

    Permalink
    Definition Classes
    TreeInstances

  11. implicit def ListRenderTree[A](implicit RA: RenderTree[A]): RenderTree[Predef.List[A]]

    Permalink
    Definition Classes
    TreeInstances

  12. implicit def OptionRenderTree[A](implicit RA: RenderTree[A]): RenderTree[Predef.Option[A]]

    Permalink
    Definition Classes
    TreeInstances

  13. implicit def PathRenderTree[B, T, S]: RenderTree[Path[B, T, S]]

    Permalink
    Definition Classes
    TreeInstances

  14. implicit def RenderTreeToShow[N](implicit arg0: RenderTree[N]): Show[N]

    Permalink
    Definition Classes
    TreeInstances

  15. implicit def ShowFNT[F[_]](implicit SF: ShowF[F]): ~>[Show, [α]Show[F[α]]]

    Permalink

  16. implicit def ShowShowF[F[_], A, FF[A] <: F[A]](implicit arg0: Show[A], FS: ShowF[F]): Show[FF[A]]

    Permalink

  17. implicit val StringRenderTree: RenderTree[Predef.String]

    Permalink
    Definition Classes
    TreeInstances

  18. implicit val SymbolEqual: Equal[Predef.Symbol]

    Permalink
    Definition Classes
    TreeInstances

  19. implicit def ToCatchableOpsFromCatchable[F[_], A](a: F[A]): CatchableOps[F, A]

    Permalink
    Definition Classes
    ToCatchableOps

  20. implicit def TraverseListMap[K]: Traverse[[β$0$]ListMap[K, β$0$]] with IsEmpty[[β$1$]ListMap[K, β$1$]]

    Permalink
    Definition Classes
    ListMapInstances

  21. implicit def Tuple2RenderTree[A, B](implicit RA: RenderTree[A], RB: RenderTree[B]): RenderTree[(A, B)]

    Permalink
    Definition Classes
    LowerPriorityTreeInstances

  22. implicit def VectorRenderTree[A](implicit RA: RenderTree[A]): RenderTree[Predef.Vector[A]]

    Permalink
    Definition Classes
    TreeInstances

  23. def coEnvHmap[F[_], G[_], A, B](fa: CoEnv[A, F, B])(f: ~>[F, G]): CoEnv[A, G, B]

    Permalink

  24. def coEnvHtraverse[G[_], F[_], H[_], A, B](fa: CoEnv[A, F, B])(f: ~>[F, [A]G[H[A]]])(implicit arg0: Applicative[G]): G[CoEnv[A, H, B]]

    Permalink

  25. implicit def coenvFunctor[F[_], E](implicit arg0: Functor[F]): Functor[[γ$11$]CoEnv[E, F, γ$11$]]

    Permalink
    Definition Classes
    CoEnvInstances

  26. def coenvPrism[F[_], A]: PrismNT[[γ$54$]CoEnv[A, F, γ$54$], F]

    Permalink

  27. implicit def coenvTraverse[F[_], E](implicit arg0: Traverse[F]): Traverse[[γ$10$]CoEnv[E, F, γ$10$]]

    Permalink
    Definition Classes
    LowPriorityCoEnvImplicits

  28. implicit def constEqual[A](implicit arg0: Equal[A]): Delay[Equal, [β$23$]Const[A, β$23$]]

    Permalink

  29. implicit def constShow[A](implicit arg0: Show[A]): Delay[Show, [β$25$]Const[A, β$25$]]

    Permalink

  30. implicit def coproductEqual[F[_], G[_]](implicit F: Delay[Equal, F], G: Delay[Equal, G]): Delay[Equal, [γ$19$]Coproduct[F, G, γ$19$]]

    Permalink

  31. implicit def coproductShow[F[_], G[_]](implicit F: Delay[Show, F], G: Delay[Show, G]): Delay[Show, [γ$21$]Coproduct[F, G, γ$21$]]

    Permalink

  32. def decodeJson[A](text: Predef.String)(implicit DA: DecodeJson[A]): \/[Predef.String, A]

    Permalink
    Definition Classes
    JsonOps

  33. def distTraverse[F[_], G[_]](implicit arg0: Traverse[F], arg1: Applicative[G]): DistributiveLaw[F, G]

    Permalink

  34. def elgotM[M[_], F[_], A, B](a: A)(φ: (F[B]) ⇒ M[B], ψ: (A) ⇒ M[\/[B, F[A]]])(implicit arg0: Monad[M], arg1: Traverse[F]): M[B]

    Permalink

  35. implicit def equalTEqual[T[_[_]], F[_]](implicit T: EqualT[T], F: Delay[Equal, F]): Equal[T[F]]

    Permalink

  36. implicit val equalTFix: EqualT[Fix]

    Permalink

  37. def evalNT[F[_], S](initial: S)(implicit arg0: Monad[F]): ~>[[γ$17$]IndexedStateT[F, S, S, γ$17$], F]

    Permalink

  38. implicit def finEqual[N <: Succ[_]]: Equal[Fin[N]]

    Permalink

  39. implicit def finShow[N <: Succ[_]]: Show[Fin[N]]

    Permalink

  40. def freeCata[F[_], E, A](free: Free[F, E])(φ: Algebra[[γ$31$]CoEnv[E, F, γ$31$], A])(implicit arg0: Functor[F]): A

    Permalink

  41. def freeCataM[M[_], F[_], E, A](free: Free[F, E])(φ: AlgebraM[M, [γ$32$]CoEnv[E, F, γ$32$], A])(implicit arg0: Monad[M], arg1: Traverse[F]): M[A]

    Permalink

  42. def freeGcataM[W[_], M[_], F[_], E, A](free: Free[F, E])(k: DistributiveLaw[[γ$33$]CoEnv[E, F, γ$33$], W], φ: GAlgebraM[W, M, [γ$34$]CoEnv[E, F, γ$34$], A])(implicit arg0: Comonad[W], arg1: Traverse[W], arg2: Monad[M], arg3: Traverse[F]): M[A]

    Permalink

  43. def freeTransCata[T[_[_]], F[_], G[_], A, B](free: Free[F, A])(f: (CoEnv[A, F, T[[γ$39$]CoEnv[B, G, γ$39$]]]) ⇒ CoEnv[B, G, T[[γ$40$]CoEnv[B, G, γ$40$]]])(implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: Functor[F], arg3: Functor[G]): Free[G, B]

    Permalink

  44. def freeTransCataM[T[_[_]], M[_], F[_], G[_], A, B](free: Free[F, A])(f: (CoEnv[A, F, T[[γ$42$]CoEnv[B, G, γ$42$]]]) ⇒ M[CoEnv[B, G, T[[γ$43$]CoEnv[B, G, γ$43$]]]])(implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: Monad[M], arg3: Traverse[F], arg4: Functor[G]): M[Free[G, B]]

    Permalink

  45. def freeTransFutu[T[_[_]], F[_], G[_], A, B](free: Free[F, A])(f: (CoEnv[A, F, T[[γ$46$]CoEnv[A, F, γ$46$]]]) ⇒ CoEnv[B, G, Free[[γ$48$]CoEnv[B, G, γ$48$], T[[γ$47$]CoEnv[A, F, γ$47$]]]])(implicit arg0: Recursive[T], arg1: Corecursive[T], arg2: Functor[F], arg3: Traverse[G]): Free[G, B]

    Permalink

  46. def ginterpretM[W[_], M[_], F[_], A, B](f: (A) ⇒ M[B], φ: GAlgebraM[W, M, F, B]): GAlgebraM[W, M, [γ$29$]CoEnv[A, F, γ$29$], B]

    Permalink

  47. def idPrism[F[_]]: PrismNT[F, F]

    Permalink

  48. def ignore[A](a: A): Predef.Unit

    Permalink

  49. def interpret[F[_], A, B](f: (A) ⇒ B, φ: Algebra[F, B]): Algebra[[γ$27$]CoEnv[A, F, γ$27$], B]

    Permalink

  50. def interpretM[M[_], F[_], A, B](f: (A) ⇒ M[B], φ: AlgebraM[M, F, B]): AlgebraM[M, [γ$28$]CoEnv[A, F, γ$28$], B]

    Permalink

  51. def liftCo[T[_[_]], F[_], A](f: (F[T[[γ$49$]CoEnv[A, F, γ$49$]]]) ⇒ CoEnv[A, F, T[[γ$50$]CoEnv[A, F, γ$50$]]]): (CoEnv[A, F, T[[γ$51$]CoEnv[A, F, γ$51$]]]) ⇒ CoEnv[A, F, T[[γ$52$]CoEnv[A, F, γ$52$]]]

    Permalink

  52. def liftFF[F[_], G[_], A](orig: (F[A]) ⇒ F[A])(implicit F: :<:[F, G]): (G[A]) ⇒ G[A]

    Permalink

  53. def liftFG[F[_], G[_], A](orig: (F[A]) ⇒ G[A])(implicit F: :<:[F, G]): (G[A]) ⇒ G[A]

    Permalink

  54. def liftFGM[M[_], F[_], G[_], A](orig: (F[A]) ⇒ M[G[A]])(implicit arg0: Monad[M], F: :<:[F, G]): (G[A]) ⇒ M[G[A]]

    Permalink

  55. def liftMT[F[_], G[_[_], _]](implicit arg0: Monad[F], arg1: MonadTrans[G]): ~>[F, [β$14$]G[F, β$14$]]

    Permalink

  56. val minspace: PrettyParams

    Permalink
    Definition Classes
    JsonOps

  57. val multiline: PrettyParams

    Permalink
    Definition Classes
    JsonOps

  58. implicit def natEqual[N <: Nat]: Equal[N]

    Permalink

  59. implicit def natShow[N <: Nat]: Show[N]

    Permalink

  60. implicit def optionTCatchable[F[_]](implicit arg0: Catchable[F], arg1: Functor[F]): Catchable[[β$4$]OptionT[F, β$4$]]

    Permalink
    Definition Classes
    OptionTInstances

  61. def optional[A](cur: ACursor)(implicit arg0: DecodeJson[A]): DecodeResult[Predef.Option[A]]

    Permalink
    Definition Classes
    JsonOps

  62. def orElse[A](cur: ACursor, default: ⇒ A)(implicit arg0: DecodeJson[A]): DecodeResult[A]

    Permalink
    Definition Classes
    JsonOps

  63. def pointNT[F[_]](implicit arg0: Applicative[F]): ~>[scalaz.Scalaz.Id, F]

    Permalink

  64. def recover[F[_], A](φ: Algebra[F, A]): Algebra[[γ$30$]CoEnv[A, F, γ$30$], A]

    Permalink

  65. def reflNT[F[_]]: ~>[F, F]

    Permalink

  66. implicit def seqW[A](xs: Predef.Seq[A]): SeqW[A]

    Permalink
    Definition Classes
    ListMapInstances

  67. implicit val showTFix: ShowT[Fix]

    Permalink

  68. implicit def showTShow[T[_[_]], F[_]](implicit T: ShowT[T], F: Delay[Show, F]): Show[T[F]]

    Permalink

  69. implicit def sizedEqual[A, N <: Nat](implicit arg0: Equal[A]): Equal[Sized[A, N]]

    Permalink

  70. implicit def sizedShow[A, N <: Nat](implicit arg0: Show[A]): Show[Sized[A, N]]

    Permalink

  71. implicit def stateTCatchable[F[_], S](implicit arg0: Catchable[F], arg1: Monad[F]): Catchable[[γ$6$]IndexedStateT[F, S, S, γ$6$]]

    Permalink
    Definition Classes
    StateTInstances

  72. def substitute[T[_[_]], F[_]](original: T[F], replacement: T[F])(implicit T: Equal[T[F]]): (T[F]) ⇒ \/[T[F], T[F]]

    Permalink

  73. def transApoT[T[_[_]], F[_]](t: T[F])(f: (T[F]) ⇒ \/[T[F], T[F]])(implicit arg0: FunctorT[T], arg1: Functor[F]): T[F]

    Permalink

  74. def transFutu[T[_[_]], F[_], G[_]](t: T[F])(f: GCoalgebraicTransform[T, [β$45$]Free[G, β$45$], F, G])(implicit arg0: FunctorT[T], arg1: Corecursive[T], arg2: Functor[F], arg3: Traverse[G]): T[G]

    Permalink

  75. def unzipDisj[A, B](ds: Predef.List[\/[A, B]]): (Predef.List[A], Predef.List[B])

    Permalink

  76. implicit def writerTCatchable[F[_], W](implicit arg0: Catchable[F], arg1: Functor[F], arg2: Monoid[W]): Catchable[[γ$8$]WriterT[F, W, γ$8$]]

    Permalink
    Definition Classes
    WriterTInstances

  77. def ι[A]: (A) ⇒ A

    Permalink
    Definition Classes
    SKI

  78. def κ[A, B](x: B): (A) ⇒ B

    Permalink
    Definition Classes
    SKI

  79. def κ2[A, B, C](x: C): (A, B) ⇒ C

    Permalink
    Definition Classes
    SKI

  80. def κ3[A, B, C, D](x: D): (A, B, C) ⇒ D

    Permalink
    Definition Classes
    SKI

  81. def κ6[A, B, C, D, E, F, G](x: G): (A, B, C, D, E, F) ⇒ G

    Permalink
    Definition Classes
    SKI

  82. def σ[A, B, C](x: (A) ⇒ (B) ⇒ C, y: (A) ⇒ B, z: A): C

    Permalink
    Definition Classes
    SKI

Inherited from CatchableInstances

Inherited from SKI

Inherited from DebugOps

Inherited from QFoldableOps

Inherited from ProcessOps

Inherited from JsonOps

Inherited from PartialFunctionOps

Inherited from ToCatchableOps

Inherited from CoEnvInstances

Inherited from LowPriorityCoEnvImplicits

Inherited from WriterTInstances

Inherited from StateTInstances

Inherited from OptionTInstances

Inherited from ListMapInstances

Inherited from TreeInstances

Inherited from LowPriorityTreeInstances

Inherited from LowerPriorityTreeInstances

Inherited from AnyRef

Inherited from Any

Ungrouped