• Home
• com.github.japgolly.scalajs-react
• core-generic_sjs1_3
• 3.0.0-beta10
• source code
• UpdateSnapshot.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

japgolly.scalajs.react.UpdateSnapshot.scala Maven / Gradle / Ivy

package japgolly.scalajs.react

import scala.annotation.implicitNotFound
import scala.language.`3.0`

sealed trait UpdateSnapshot

object UpdateSnapshot {

  sealed trait None extends UpdateSnapshot
  sealed trait Some[A] extends UpdateSnapshot

  type Value[U <: UpdateSnapshot] =
    U match {
      case None    => Unit
      case Some[a] => a
    }

  @implicitNotFound("You can only specify getSnapshotBeforeUpdate once, and it has to be before " +
    "you specify componentDidUpdate, otherwise the snapshot type could become inconsistent.")
  sealed trait SafetyProof[U <: UpdateSnapshot]

  inline given safetyProof[U <: UpdateSnapshot](using inline ev: U =:= UpdateSnapshot.None): SafetyProof[U] =
    null
}