• Home
• eu.timepit
• singleton-ops_sjs0.6_2.13
• 0.4.3
• source code
• Checked.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.

singleton.twoface.Checked.scala Maven / Gradle / Ivy

package singleton.twoface
import impl._
import singleton.ops.impl.NoSym

object Checked {
  type F1[_]
  type F2[_,_]
  type Shell1[Cond[_], Msg[_], Arg1, Arg1Wide] =
    impl.CheckedShell1[Cond, Msg, NoSym, Arg1, Arg1Wide]
  type Shell1Sym[Cond[_], Msg[_], Sym, Arg1, Arg1Wide] =
    impl.CheckedShell1[Cond, Msg, Sym, Arg1, Arg1Wide]
  type Shell2[Cond[_,_], Msg[_,_], Arg1, Arg1Wide, Arg2, Arg2Wide] =
    impl.CheckedShell2[Cond, Msg, NoSym, Arg1, Arg1Wide, Arg2, Arg2Wide]
  type Shell2Sym[Cond[_,_], Msg[_,_], Sym, Arg1, Arg1Wide, Arg2, Arg2Wide] =
    impl.CheckedShell2[Cond, Msg, Sym, Arg1, Arg1Wide, Arg2, Arg2Wide]
}

object Checked0Param {
  trait Char    extends Checked0ParamAny.Char.Alias
  trait Int     extends Checked0ParamAny.Int.Alias
  trait Long    extends Checked0ParamAny.Long.Alias
  trait Float   extends Checked0ParamAny.Float.Alias
  trait Double  extends Checked0ParamAny.Double.Alias
  trait String  extends Checked0ParamAny.String.Alias
  trait Boolean extends Checked0ParamAny.Boolean.Alias
}

object Checked1Param {
  trait Char    extends Checked1ParamAny.Char.Alias
  trait Int     extends Checked1ParamAny.Int.Alias
  trait Long    extends Checked1ParamAny.Long.Alias
  trait Float   extends Checked1ParamAny.Float.Alias
  trait Double  extends Checked1ParamAny.Double.Alias
  trait String  extends Checked1ParamAny.String.Alias
  trait Boolean extends Checked1ParamAny.Boolean.Alias
}