Proptics core/proptics/Grate_

Grate_

object Grate_
Companion:
class
class Object
trait Matchable
class Any
Grate_.type

Value members

Concrete methods

final def apply[S, T, A, B](grate: S => A => B => T): Grate_[S, T, A, B]

create a polymorphic Grate_ from a nested continuation function

create a polymorphic Grate_ from a nested continuation function

final def fromDistributive[F[_], A, B](implicit ev: Distributive[F]): Grate_[F[A], F[B], A, B]

create a polymorphic Grate_ from a cats.Distributive

create a polymorphic Grate_ from a cats.Distributive

final def id[S, T]: Grate_[S, T, S, T]

polymorphic identity of a Grate_

polymorphic identity of a Grate_