Included are several utilities for you to manage the performance of your React app. The strategy is simple: avoid work where possible.
These utilities help you avoid work in two ways.
- By making components'
shouldComponentUpdate
fns both easy to create, and accurate (safe). If it compiles, the logic inshouldComponentUpdate
will be what you expect. - By allowing you to cache your own arbitrary data, and build on it in a way such that derivative data is also cached effeciently.
libraryDependencies += "com.github.japgolly.scalajs-react" %%% "extra" % "0.11.3"
React addons come with performance tools. See https://facebook.github.io/react/docs/perf.html.
A Scala facade is now available via japgolly.scalajs.react.Addons.Perf
.
Reusability
is a typeclass that tests whether one instance can be used in place of another.
It's used to compare properties and state of a component to avoid unnecessary updates.
Imagine a class with 8 fields - typical equality like ==
would compare all 8 fields (and if
you're not using scalaz.Equal
you've no way of knowing whether all those 8 fields have correct
equals
methods defined).
When deciding whether a component needs updating, full equality comparison can be overkill (and slow) -
in many cases it is sufficient to check only the ID field, the update-date, or the revision number.
Reusability
is designed for you to do just that.
When building your component, pass in Reusability.shouldComponentUpdate
to your ReactComponentB.configure
.
It will not compile until it knows how to compare the reusability of your props and state.
Out-of-the-box, it knows how to compare Scala primatives, String
s, Option
, Either
, Scala tuples, js.UndefOr
,
Scala and JS Date
s, UUID
s, Set
s, List
s, Vector
s,
and Scalaz classes \/
and \&/
. For all other types, you'll need to teach it how. Use one of the following methods:
Reusability.by_==
uses universal equality (ie.a == b
).Reusability.byRef
uses reference equality (ie.a eq b
).Reusability.byRefOr_==
uses reference equality and if different, tries universal equality.Reusability.caseClass
for case classes of your own.Reusability.caseClassDebug
as above, but shows you the code that the macro generates.Reusability.caseClassExcept
for case classes of your own where you want to exclude some fields.Reusability.caseClassExceptDebug
as above, but shows you the code that the macro generates.Reusability.by(A => B)
to use a subset (B
) of the subject data (A
).Reusability.fn((A, B) => Boolean)
to hand-write custom logic.Reusability.byIterator
uses anIterable
's iterator to check each element in order.Reusability.indexedSeq
uses.length
and.apply(index)
to check each element in order.Reusability.{double,float}
exist and require a tolerance to be specified.Reusability.{always,never,const(bool)}
are available too.
If you're using the Scalaz module, you also gain:
Reusability.byEqual
uses a ScalazEqual
typeclass.Reusability.byRefOrEqual
uses reference equality and if different, tries using a ScalazEqual
typeclass.
The following component will only re-render when one of the following change:
props.name
props.age
props.pic.id
case class Picture(id: Long, url: String, title: String)
case class Props(name: String, age: Option[Int], pic: Picture)
implicit val picReuse = Reusability.by((_: Picture).id) // ← only check id
implicit val propsReuse = Reusability.caseClass[Props] // ← check all fields
val component = ReactComponentB[Props]("Demo")
.render_P(p =>
<.div(
<.p("Name: ", p.name),
<.p("Age: ", p.age.fold("Unknown")(_.toString)),
<.img(^.src := p.pic.url, ^.title := p.pic.title))
)
.configure(Reusability.shouldComponentUpdate) // ← hook into lifecycle
.build
Alternatively, picReuse
could be written using caseClassExcept
as follows.
// Not natural in this case but demonstrates how to use caseClassExcept
implicit val picReuse = Reusability.caseClassExcept[Picture]('url, 'title)
There exist two mixins, out-of-the-box, to help you monitor reusability. Use them instead of shouldComponentUpdate
.
shouldComponentUpdateWithOverlay
- Adds an overlay beside each mounted instance of the component, showing how many updates were prevented and how many were rendered. You can hover over it for some detail, and click it to print more to the JS console. Live demo.shouldComponentUpdateAndLog
- Logs each callback evaluation to the console.
Usage:
// No monitoring
.configure(Reusability.shouldComponentUpdate)
// Display stats on screen, clickable for detail
.configure(Reusability.shouldComponentUpdateWithOverlay)
// Log to console
.configure(Reusability.shouldComponentUpdateAndLog("MyComponent"))
In effective usage of React, callbacks are passed around as component properties. Due to the ease of function creation in Scala it is often the case that functions are created inline and thus provide no means of determining whether a component can safely skip its update.
ReusableFn
exists as a solution. It is a wrapper around a function that allows it to be both reused, and curried in a way that allows reuse.
- Just wrap
ReusableFn
around your function. - Store the
ReusableFn
as aval
somewhere outside of yourrender
function, usually in the body of your backend class. - Replace the callback (say
A => B
) in components' props, to take aReusableFn[A, B]
or the shorthandA ~=> B
. - Treat the
ReusableFn
as you would a normal function, save for one difference: application is curried (or Schönfinkel'ed), and each curried argument must haveReusability
.
In this example personEditor
will only rerender if props.name
changes, or the curried PersonId
in its props.update
function changes (which it won't - observable from the code).
type State = Map[PersonId, PersonData]
type PersonId = Long
type PersonData = String
val topComponent = ReactComponentB[State]("Demo")
.initialState_P(identity)
.renderBackend[Backend]
.build
class Backend($: BackendScope[_, State]) {
val updateUser = ReusableFn((id: PersonId, data: PersonData) => // ← Create a 2-arg fn
$.modState(map => map.updated(id, data)))
def render(state: State) =
<.div(
state.map { case (id, name) =>
personEditor.withKey(id)(PersonEditorProps(name, updateUser(id))) // ← Apply 1 arg
}.toJsArray
)
}
case class PersonEditorProps(name: String, update: String ~=> Callback) // ← Notice the ~=>
implicit val propsReuse = Reusability.caseClass[PersonEditorProps]
val personEditor = ReactComponentB[PersonEditorProps]("PersonEditor")
.render_P(p =>
<.input(
^.`type` := "text",
^.value := p.name,
^.onChange ==> ((e: ReactEventI) => p.update(e.target.value)))) // ← Use as normal
.configure(Reusability.shouldComponentUpdate) // ← shouldComponentUpdate like magic
.build
DO NOT feed the ReusableFn(...)
constructor a function directly derived from a component's props or state.
Access to props/state on the right-hand side of the function args is ok but if the function itself is a result of the
props/state, the function will forever be based on data that can go stale.
Example:
@Lenses case class Person(name: String, age: Int)
case class Props(person: ReusableVar[Person], other: Other)
// THIS IS BAD!!
ReusableFn($.props.runNow().person setL Props.name)
// It is equivalent to:
val g: String => Callback = $.props.runNow().person setL Person.name // ← $.props is evaluated once here
val f: String ~=> Callback = ReusableFn(g) // ← …and never again.
Alternatives:
-
Use
ReusableFn.byName
:ReusableFn.byName($.props.runNow().person setL Person.name)
-
Create a function with
$
on the right-hand side:ReusableFn(str => $.props.flatMap(_.person.setL(Person.name)(str)))
To cater for some common use cases, there are few convenience methods that are useful to know.
For these examples imagine $
to be your component's scope instance, eg. BackendScope[_,S]
, CompScope.Mounted[_,S,_,_]
or similar.
-
ReusableFn($).{set,mod}State
.You'll find that if you try
ReusableFn($.method)
Scala will fail to infer the correct types. UseReusableFn($).method
instead to get the types that you expect.Example: instead of
ReusableFn($.setState)
useReusableFn($).setState
and you will correctly get aS ~=> Callback
. -
ReusableFn.endo____
.Anytime the input to your
ReusableFn
is an endofunction (A => A
), additional methods starting withendo
become available.Specifically,
ReusableFn($).modState
returns a(S => S) ~=> Callback
which you will often want to transform. These examples would be available on an(S => S) ~=> U
:endoCall (S => (A => S)): A ~=> U
- Call a 1-arg function onS
.endoCall2(S => ((A, B) => S)): A ~=> B ~=> U
- Call a 2-arg function onS
.endoCall3(...): A ~=> B ~=> C ~=> U
- Call a 3-arg function onS
.endoZoom((S, A) => S): A ~=> U
- Modify a subset ofS
.endoZoomL(Lens[S, A]): A ~=> U
- Modify a subset ofS
using aLens
.contramap[A](A => (S => S)): A ~=> U
- Not exclusive to endos, but similarly useful in a different shape.
class Backend($: BackendScope[_, Map[Int, String]]) {
// Manual long-hand
val long: Int ~=> (String ~=> Callback) =
ReusableFn((id: Int, data: String) => $.modState(map => map.updated(id, data)))
// Shorter using helpers described above
val short: Int ~=> (String ~=> Callback) =
ReusableFn($).modState.endoCall2(_.updated)
ReusableFn($ zoomL lens)
Lenses provide an abstraction over read-and-write field access.
Using Monocle, you can annotate your case classes with @Lenses
to gain automatic lenses.
$ zoomL lens
will then narrow the scope of its state to the field targeted by the given lens.
This can then be used with ReusableFn
as follows:
@Lenses
case class Person(name: String, age: Int)
class Backend($: BackendScope[_, Person]) {
val nameSetter: String ~=> Callback =
ReusableFn($ zoomL Person.name).setState
Usually reusability is determined by type (ie. via an implicit Reusability[A]
available for an A
).
Instead, a ReusableVal
promises that whoever provides the value will also explicitly specify the value's reusability.
// Create and specify the Reusability
val i: ReusableVal[Int] =
ReusableVal(1027)(Reusability.fn((a,b) => a + 99 < b))
// For convenience, there's ReusableVal.byRef
val e: ReusableVal[ReactElement] =
ReusableVal.byRef(<.span("Hello"))
A ReusableVal2[A, S]
is a (lazy) value A
, and a value S
which is the reusability S
ource.
In other words, A
is reusable as long as S
is reusable.
In this example, we create a reusable ReactElement
(VDOM) which is
reusable as long as its input (age: Int
) is the same between render passes.
def renderAge(age: Int): ReactElement =
<.div(
<.h1("Your age is: ", age),
<.hr,
<.p("How exciting!"))
// Create a Reusable ReactElement
def ageDom(age: Int): ReusableVal2[ReactElement, Int] =
ReusableVal2(renderAge(age), age)
// Create a Reusable ReactElement (using shorthand)
def ageDom(age: Int): ReusableVal2[ReactElement, Int] =
ReusableVal2.function(age)(renderAge)
Just as there is ExternalVar
that provides a component with safe R/W access to an external variable,
there is also ReusableVar
.
@Lenses case class State(name: String, desc: String)
val topComponent = ReactComponentB[State]("Demo")
.initialState_P(identity)
.renderP { ($, p) =>
val setName = ReusableVar.state($ zoomL State.name)
val setDesc = ReusableVar.state($ zoomL State.desc)
<.div(
stringEditor(setName),
stringEditor(setDesc))
}
.build
lazy val stringEditor = ReactComponentB[ReusableVar[String]]("StringEditor")
.render_P(p =>
<.input(
^.`type` := "text",
^.value := p.value,
^.onChange ==> ((e: ReactEventI) => p.set(e.target.value))))
.configure(Reusability.shouldComponentUpdate)
.build
Px
is a mechanism for caching data with dependencies.
It's basically a performance-focused, lightweight implementation of pull-based
FRP;
pull-based meaning that in the chain A→B→C, an update to A doesn't affect C until the value of C is requested.
Values are only compared when they are set or modified. When data is retrieved, only the revision number (an integer) is compared to determine if an update is required.
NOTE: Px
does not have Reusability
. Details below.
What does Px mean? I don't know, I just needed a name and I liked the way @lihaoyi's Rx type name looked in code.
You can consider this "Performance eXtension". If this were Java it'd be named
AutoRefreshOnRequestDependentCachedVariable
.
Px
comes in two flavours: those with reusable values, and those without.
If its values are reusable then when its underlying value A
changes, it will compare the new A
value to the previous A
(using Reusability[A]
) and discard the change if it can.
If its values are reusable, all changes to the underlying value (including duplicates) are accepted.
Create a non-derivative Px
using one of these:
Px(…)
&Px.NoReuse(…)
- A variable in the traditional sense.
Doesn't change until you explicitly call set()
.
val num = Px(123)
num.set(666)
Px.thunkM(…)
&Px.NoReuse.thunkM(…)
- The value of a zero-param function.
The M
in ThunkM
denotes "Manual refresh", meaning that the value will not update until you explicitly call refresh()
.
case class State(name: String, age: Int)
class ComponentBackend($: BackendScope[User, State]) {
val user = Px.thunkM($.props)
val stateAge = Px.thunkM($.state.age)
def render: ReactElement = {
// Every render cycle, refresh Pxs. Unnecessary changes will be discarded.
Px.refresh(user, stateAge)
<.div(
"Age is ", stateAge.value,
UserInfoComponent(user),
SomeOtherComponent(user, stateAge)
)
}
}
Px.thunkA(…)
&Px.NoReuse.thunkA(…)
- The value of a zero-param function.
The A
in ThunkA
denotes "Auto refresh", meaning that the function will be called every time the value is requested, and the value updated if necessary.
// Suppose this is updated by some process that periodically pings the server
object InternalGlobalState {
var usersOnline = 0
}
class ComponentBackend($: BackendScope[Props, _]) {
val usersOnline = Px.thunkA(InternalGlobalState.usersOnline)
// Only updated when the InternalGlobalState changes
val coolGraphOfUsersOnline: Px[ReactElement] =
for (u <- usersOnline) yield
<.div(
<.h3("Users online: ", u),
coolgraph(u))
def render: ReactElement =
<.div(
"Hello ", $.props.username,
coolGraphOfUsersOnline.value())
}
Px.bs($).{props,state}{A,M}
- A value extracts from a component's backend's props or state.
The A
suffix denotes "Auto refresh", meaning that the function will be called every time the value is requested, and the value updated if necessary.
The M
suffix denotes "Manual refresh", meaning you must call .refresh
yourself to check for updates.
Px.const(A)
&Px.lazyConst(=> A)
- A constant value.
These Px
s do not have the ability to change.
Px.cb{A,M}(CallbackTo[A])
- A value which is the result of running a callback.
The A
suffix denotes "Auto refresh", meaning that the function will be called every time the value is requested, and the value updated if necessary.
The M
suffix denotes "Manual refresh", meaning you must call .refresh
yourself to check for updates.
Derivative Px
s are created by:
- calling
.map
- calling
.flatMap
- using in a for comprehension
- using
Px.applyn
Example:
val project : Px[Project] = Px.bs($).propsM
val viewSettings: Px[ViewSettings] = Px.bs($).stateM(_.viewSettings)
// Using .map
val columns : Px[Columns] = viewSettings.map(_.columns)
val textSearch: Px[TextSearch] = project map TextSearch.apply
// Using Px.applyn
val widgets: Px[Widgets] = Px.apply2(project, textSearch)(Widgets.apply)
// For comprehension
val rows: Px[Rows] =
for {
vs <- viewSettings
p <- project
ts <- textSearch
} yield
new Rows(vs, p, ts.index)
// column.value() will only change when viewSettings.refresh() is called and its state changes.
// textSearch.value() will only change when project.refresh() is called and the project changes.
// widgets.value() will only change when either project or textSearch changes.
// rows.value() will only change when viewSettings, project or textSearch changes.
For Reusability
to work it needs to compare two immutable values; Px
is mutable.
If you have (a: Px[T], b: Px[T])
you might assume that if they are the same by reference equality (a eq b)
and the revisions line up then they have Reusability
. No.
A Px
is useless unless you call .value()
and it's these values you would need to compare in shouldComponentUpdate
.
Comparing a.value()
and b.value()
will not work because .value()
always returns the latest value;
you would need to know which value in its history was seen by your component.
In short, do not use Px
in a component's props or state. Instead of Px[A]
, just use the A
.
// BAD!
case class Component2Props(count: Px[Int])
class Component1Backend {
val px: Px[Int] = ...
def render: ReactElement =
Component2(Component2Props(px))
}
// Good
case class Component2Props(count: Int)
class Component1Backend {
val px: Px[Int] = ...
def render: ReactElement =
Component2(Component2Props(px.value()))
}
There's also a convenience import in Px.AutoValue
that avoids the need to call .value()
on your Px
s, if you're into that kind of thing.
// Also good
import Px.AutoValue._
case class Component2Props(count: Int)
class Component1Backend {
val px: Px[Int] = ...
def render: ReactElement =
Component2(Component2Props(px)) // .value() called implicitly
}