• Home
• io.github.iltotore
• iron-numeric_3
• 1.2-1.0.0
• source code
• Main.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.

io.github.iltotore.iron.numeric.Main.scala Maven / Gradle / Ivy

package io.github.iltotore.iron.numeric

import io.github.iltotore.iron._, constraint.{_, given} , numeric.constraint.{_, given}

object Main {

  def log(x: Double / Greater[0d]): Raw[Double] = refined {
    Math.log(x)
  }

  @main def testMain(): Unit = {
    val x: Double / Less[8d] = 4d
  }
}