• Home
• io.7mind.izumi
• fundamentals-bio_2.13
• 1.2.16
• source code
• PredefinedHelper.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.

izumi.functional.bio.PredefinedHelper.scala Maven / Gradle / Ivy

package izumi.functional.bio

import izumi.functional.bio.PredefinedHelper.NotPredefined

trait PredefinedHelper {
  type IsPredefined = NotPredefined
}
object PredefinedHelper {
  type Predefined
  type NotPredefined

  object Predefined {
    /**
      * Unlike for [[DivergenceHelper.Divergent.Of]] a contradictory
      * value is required here because we do not use a type variable
      * for `ConvertFrom*` conversions
      */
    type Of[A] = A { type IsPredefined = Predefined }
    @inline def apply[A <: PredefinedHelper, A1 >: A](a: A): Predefined.Of[A1] = a.asInstanceOf[Predefined.Of[A1]]
  }
  object NotPredefined {
    type Of[A] = A { type IsPredefined = NotPredefined }
  }
}