fp - quasar.fp

Type Members

sealed trait :/:[F[_], G[_]] extends CoM
sealed trait :\:[F[_], T <: CoM] extends CoM
trait CatchableInstances extends AnyRef
implicit class CatchableOfDisjunctionOps[F[_], A, B] extends AnyRef

Definition Classes
CatchableInstances
trait CatchableOps[F[_], A] extends Ops[F[A]]

Definition Classes
ToCatchableOps
sealed trait CoM extends AnyRef

Builds nested scalaz Coproducts.
Builds nested scalaz Coproducts. Use like: * type MarkLogicFs[A] = ( Task :\: SessionIO :\: ContentSourceIO :\: GenUUID :\: MonotonicSeq :\: MLReadHandles :\: MLWriteHandles :/: MLResultHandles )#M[A]
trait DelayedA[A] extends AnyRef
trait DelayedFG[F[_], G[_]] extends AnyRef
trait EitherTInstances extends EitherTInstances0
trait EitherTInstances0 extends EitherTInstances1
trait EitherTInstances1 extends AnyRef
type EndoK[F[X]] = NaturalTransformation[F, F]

An endomorphism is a mapping from a category to itself.
An endomorphism is a mapping from a category to itself. It looks like scalaz already staked out "Endo" for the lower version.
type EnumT[F[_], A] = EnumeratorT[A, F]
trait EqualF[F[_]] extends Serializable
sealed abstract class ExternallyManaged extends AnyRef

Used for a normally-recursive parameter that has been “externalized”.
Used for a normally-recursive parameter that has been “externalized”. E.g., Tree[LogicalPlan[ExternallyManaged]] vs Fix[LogicalPlan]. This indicates that the recursive structure is intact, but is handled by some containing structure (Tree, in that example).
trait KleisliInstances extends AnyRef
implicit final class ListOps[A] extends AnyVal
type NTComp[F[X], G[Y]] = NaturalTransformation[F, [A]G[F[A]]]
implicit class PFOps[A, B] extends AnyRef

Definition Classes
PartialFunctionOps
implicit class PrOps[F[_], O] extends AnyRef

Definition Classes
ProcessOps
final case class PrismNT[F[_], G[_]](get: ~>[F, [A]Option[G[A]]], reverseGet: ~>[G, F]) extends Product with Serializable

Just like Prism, but operates over Functors.
implicit class ProcessOfTaskOps[O] extends AnyRef

Definition Classes
ProcessOps
trait ProcessOps extends AnyRef
implicit final class QuasarFreeOps[F[_], A] extends AnyVal
trait SemigroupF[F[_]] extends Serializable
class SeqW[A] extends AnyRef

Definition Classes
ListMapInstances
trait ShowF[F[_]] extends Serializable
implicit class TaskOps[A] extends AnyRef

Definition Classes
ProcessOps
sealed abstract class TaskRef[A] extends AnyRef

A thread-safe, atomically updatable mutable reference.
A thread-safe, atomically updatable mutable reference.
Cribbed from the IORef defined in oncue/remotely, an Apache 2 licensed project: https://github.com/oncue/remotely
implicit final class ToDebugOps[A] extends AnyRef

Definition Classes
DebugOps
implicit final class ToQFoldableOps[F[_], A] extends AnyRef

Definition Classes
QFoldableOps

Value Members

implicit val BooleanRenderTree: RenderTree[Predef.Boolean]

Definition Classes
TreeInstances
implicit val DoubleRenderTree: RenderTree[Predef.Double]

Definition Classes
TreeInstances
implicit def EitherRenderTree[A, B](implicit RA: RenderTree[A], RB: RenderTree[B]): RenderTree[\/[A, B]]

Definition Classes
TreeInstances
implicit def EqualEqualF[F[_], A, FF[A] <: F[A]](implicit arg0: Equal[A], FE: EqualF[F]): Equal[FF[A]]
object EqualF extends Serializable
implicit def EqualFNT[F[_]](implicit EF: EqualF[F]): ~>[Equal, [α]Equal[F[α]]]
object Extern extends ExternallyManaged with Product with Serializable
object ExternallyManaged
object Inj
implicit val IntRenderTree: RenderTree[Predef.Int]

Definition Classes
TreeInstances
implicit def LeftTuple3RenderTree[A, B, C](implicit RA: RenderTree[A], RB: RenderTree[B], RC: RenderTree[C]): RenderTree[((A, B), C)]

Definition Classes
LowPriorityTreeInstances
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)]

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

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

Definition Classes
TreeInstances
implicit def ListRenderTree[A](implicit RA: RenderTree[A]): RenderTree[Predef.List[A]]

Definition Classes
TreeInstances
implicit def OptionRenderTree[A](implicit RA: RenderTree[A]): RenderTree[Predef.Option[A]]

Definition Classes
TreeInstances
implicit def PathRenderTree[B, T, S]: RenderTree[Path[B, T, S]]

Definition Classes
TreeInstances
object ProcessOps extends ProcessOps
object SemigroupF extends Serializable
object ShowF extends Serializable
implicit def ShowFNT[F[_]](implicit SF: ShowF[F]): ~>[Show, [α]Show[F[α]]]
implicit def ShowShowF[F[_], A, FF[A] <: F[A]](implicit arg0: Show[A], FS: ShowF[F]): Show[FF[A]]
implicit val StringRenderTree: RenderTree[Predef.String]

Definition Classes
TreeInstances
implicit val SymbolEqual: Equal[Predef.Symbol]

Definition Classes
TreeInstances
object TaskRef
implicit def ToCatchableOpsFromCatchable[F[_], A](a: F[A]): CatchableOps[F, A]

Definition Classes
ToCatchableOps
implicit def TraverseListMap[K]: Traverse[[β$0$]ListMap[K, β$0$]] with IsEmpty[[β$1$]ListMap[K, β$1$]]

Definition Classes
ListMapInstances
implicit def Tuple2RenderTree[A, B](implicit RA: RenderTree[A], RB: RenderTree[B]): RenderTree[(A, B)]

Definition Classes
LowerPriorityTreeInstances
implicit def VectorRenderTree[A](implicit RA: RenderTree[A]): RenderTree[Predef.Vector[A]]

Definition Classes
TreeInstances
package binder
object catchable extends CatchableInstances
def coenvPrism[F[_], A]: PrismNT[[γ$27$]CoEnv[A, F, γ$27$], F]
implicit def constEqual[A](implicit arg0: Equal[A]): ~>[Equal, [B]Equal[Const[A, B]]]
implicit def constShow[A](implicit arg0: Show[A]): ~>[Show, [B]Show[Const[A, B]]]
implicit def coproductEqual[F[_], G[_]](implicit F: Delay[Equal, F], G: Delay[Equal, G]): ~>[Equal, [A]Equal[Coproduct[F, G, A]]]
implicit def coproductShow[F[_], G[_]](implicit F: Delay[Show, F], G: Delay[Show, G]): ~>[Show, [A]Show[Coproduct[F, G, A]]]
def decodeJson[A](text: Predef.String)(implicit DA: DecodeJson[A]): \/[Predef.String, A]

Definition Classes
JsonOps
object eitherT extends EitherTInstances
object enumeratee
def evalNT[F[_], S](initial: S)(implicit arg0: Monad[F]): ~>[[γ$15$]IndexedStateT[F, S, S, γ$15$], F]
implicit def finEqual[N <: Succ[_]]: Equal[Fin[N]]
implicit def finShow[N <: Succ[_]]: Show[Fin[N]]
package free
def idPrism[F[_]]: PrismNT[F, F]
def ignore[A](a: A): Predef.Unit

Accept a value (forcing the argument expression to be evaluated for its effects), and then discard it, returning Unit.
Accept a value (forcing the argument expression to be evaluated for its effects), and then discard it, returning Unit. Makes it explicit that you're discarding the result, and effectively suppresses the "NonUnitStatement" warning from wartremover.
object kleisli extends KleisliInstances
def liftCo[T[_[_]], F[_], A](f: (F[T[[γ$22$]CoEnv[A, F, γ$22$]]]) ⇒ CoEnv[A, F, T[[γ$23$]CoEnv[A, F, γ$23$]]]): (CoEnv[A, F, T[[γ$24$]CoEnv[A, F, γ$24$]]]) ⇒ CoEnv[A, F, T[[γ$25$]CoEnv[A, F, γ$25$]]]
def liftFF[F[_], G[_], A](orig: (F[A]) ⇒ F[A])(implicit F: :<:[F, G]): (G[A]) ⇒ G[A]
def liftFG[F[_], G[_], A](orig: (F[A]) ⇒ G[A])(implicit F: :<:[F, G]): (G[A]) ⇒ G[A]
def liftFGM[M[_], F[_], G[_], A](orig: (F[A]) ⇒ M[G[A]])(implicit arg0: Monad[M], F: :<:[F, G]): (G[A]) ⇒ M[G[A]]
def liftMT[F[_], G[_[_], _]](implicit arg0: Monad[F], arg1: MonadTrans[G]): ~>[F, [β$12$]G[F, β$12$]]

liftM as a natural transformation
liftM as a natural transformation
TODO: PR to scalaz
val minspace: PrettyParams

Definition Classes
JsonOps
val multiline: PrettyParams

Nicely formatted, order-preserving, 2-space indented.
Nicely formatted, order-preserving, 2-space indented.

Definition Classes
JsonOps
implicit def natEqual[N <: Nat]: Equal[N]
implicit def natShow[N <: Nat]: Show[N]
package numeric
implicit def optionTCatchable[F[_]](implicit arg0: Catchable[F], arg1: Functor[F]): Catchable[[β$4$]OptionT[F, β$4$]]

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

Definition Classes
JsonOps
def orElse[A](cur: ACursor, default: ⇒ A)(implicit arg0: DecodeJson[A]): DecodeResult[A]

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

point as a natural transformation
def reflNT[F[_]]: ~>[F, F]
implicit def seqW[A](xs: Predef.Seq[A]): SeqW[A]

Definition Classes
ListMapInstances
implicit def sizedEqual[A, N <: Nat](implicit arg0: Equal[A]): Equal[Sized[A, N]]
implicit def sizedShow[A, N <: Nat](implicit arg0: Show[A]): Show[Sized[A, N]]
implicit def stateTCatchable[F[_], S](implicit arg0: Catchable[F], arg1: Monad[F]): Catchable[[γ$6$]IndexedStateT[F, S, S, γ$6$]]

Definition Classes
StateTInstances
package tree

"Generic" types for building partially-constructed trees in some "functorized" type.
def unzipDisj[A, B](ds: Predef.List[\/[A, B]]): (Predef.List[A], Predef.List[B])
implicit def writerTCatchable[F[_], W](implicit arg0: Catchable[F], arg1: Functor[F], arg2: Monoid[W]): Catchable[[γ$8$]WriterT[F, W, γ$8$]]

Definition Classes
WriterTInstances
object zoomNT

Lift a State computation to operate over a "larger" state given a Lens.
Lift a State computation to operate over a "larger" state given a Lens.
NB: Uses partial application of F[_] for better type inference, usage:
zoomNT[F](lens)

fp

package fp

Type Members

sealed trait :/:[F[_], G[_]] extends CoM

sealed trait :\:[F[_], T <: CoM] extends CoM

trait CatchableInstances extends AnyRef

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

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

sealed trait CoM extends AnyRef

trait DelayedA[A] extends AnyRef

trait DelayedFG[F[_], G[_]] extends AnyRef

trait EitherTInstances extends EitherTInstances0

trait EitherTInstances0 extends EitherTInstances1

trait EitherTInstances1 extends AnyRef

type EndoK[F[X]] = NaturalTransformation[F, F]

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

trait EqualF[F[_]] extends Serializable

sealed abstract class ExternallyManaged extends AnyRef

trait KleisliInstances extends AnyRef

implicit final class ListOps[A] extends AnyVal

type NTComp[F[X], G[Y]] = NaturalTransformation[F, [A]G[F[A]]]

implicit class PFOps[A, B] extends AnyRef

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

final case class PrismNT[F[_], G[_]](get: ~>[F, [A]Option[G[A]]], reverseGet: ~>[G, F]) extends Product with Serializable

implicit class ProcessOfTaskOps[O] extends AnyRef

trait ProcessOps extends AnyRef

implicit final class QuasarFreeOps[F[_], A] extends AnyVal

trait SemigroupF[F[_]] extends Serializable

class SeqW[A] extends AnyRef

trait ShowF[F[_]] extends Serializable

implicit class TaskOps[A] extends AnyRef

sealed abstract class TaskRef[A] extends AnyRef

implicit final class ToDebugOps[A] extends AnyRef

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

Value Members

implicit val BooleanRenderTree: RenderTree[Predef.Boolean]

implicit val DoubleRenderTree: RenderTree[Predef.Double]

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

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

object EqualF extends Serializable

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

object Extern extends ExternallyManaged with Product with Serializable

object ExternallyManaged

object Inj

implicit val IntRenderTree: RenderTree[Predef.Int]

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

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)]

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

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

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

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

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

object ProcessOps extends ProcessOps

object SemigroupF extends Serializable

object ShowF extends Serializable

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

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

implicit val StringRenderTree: RenderTree[Predef.String]

implicit val SymbolEqual: Equal[Predef.Symbol]

object TaskRef

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

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

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

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

package binder

object catchable extends CatchableInstances

def coenvPrism[F[_], A]: PrismNT[[γ$27$]CoEnv[A, F, γ$27$], F]

implicit def constEqual[A](implicit arg0: Equal[A]): ~>[Equal, [B]Equal[Const[A, B]]]

implicit def constShow[A](implicit arg0: Show[A]): ~>[Show, [B]Show[Const[A, B]]]

implicit def coproductEqual[F[_], G[_]](implicit F: Delay[Equal, F], G: Delay[Equal, G]): ~>[Equal, [A]Equal[Coproduct[F, G, A]]]

implicit def coproductShow[F[_], G[_]](implicit F: Delay[Show, F], G: Delay[Show, G]): ~>[Show, [A]Show[Coproduct[F, G, A]]]

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

object eitherT extends EitherTInstances

object enumeratee

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

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

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

package free

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

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