Applicative

mill.define.internal.Applicative
@Scaladoc(value = "/**\n * A generic Applicative-functor macro: translates calls to\n *\n * Applier.apply{ ... applyable1.apply() ... applyable2.apply() ... }\n *\n * into\n *\n * Applier.zipMap(applyable1, applyable2){ (a1, a2, ctx) => ... a1 ... a2 ... }\n */")
object Applicative

A generic Applicative-functor macro: translates calls to

Applier.apply{ ... applyable1.apply() ... applyable2.apply() ... }

into

Applier.zipMap(applyable1, applyable2){ (a1, a2, ctx) => ... a1 ... a2 ... }

Attributes

Source
Applicative.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

trait Applyable[M[_], +T]

Attributes

Source
Applicative.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Task[T]
class AnonImpl[T]
trait NamedTask[T]
class Command[T]
trait Target[T]
class InputImpl[T]
class SourceImpl
class SourcesImpl
class TargetImpl[T]
class Worker[T]
Show all
Self type
M[T]

Types

type Id[+T] = T

Attributes

Source
Applicative.scala

Value members

Concrete methods

def impl[M[_] : Type, W[_] : Type, Z[_] : Type, T : Type, Ctx : Type](using Quotes)(traverseCtx: (Expr[Seq[W[Any]]], Expr[(Seq[Any], Ctx) => Z[T]]) => Expr[M[T]], t: Expr[Z[T]]): Expr[M[T]]

Attributes

Source
Applicative.scala