package monocle.function
import monocle.{PTraversal, Traversal}
import scala.annotation.implicitNotFound
import scalaz.Traverse
@implicitNotFound("Could not find an instance of Each[${S},${A}], please check Monocle instance location policy to " +
"find out which import is necessary")
trait Each[S, A] extends Serializable {
def each: Traversal[S, A]
}
object Each extends EachFunctions
trait EachFunctions {
def each[S, A](implicit ev: Each[S, A]): Traversal[S, A] = ev.each
def traverseEach[S[_]: Traverse, A]: Each[S[A], A] = new Each[S[A], A] {
def each = PTraversal.fromTraverse[S, A, A]
}
}