sigmastate.eval.SigmaLibrary.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sigma-state_2.13 Show documentation

Interpreter of a Sigma-State language

The newest version!

package sigmastate.eval

import scalan.Library
import sigma.SigmaDslModule

/** Main trait which represents sigma operations in graph IR cake. */
trait SigmaLibrary extends Library
    with sigma.wrappers.WrappersModule
    with SigmaDslModule
{
  import WRType._

  implicit lazy val wRTypeAnyElement = wRTypeElement(AnyElement)

  /** During compilation represent a global value Global, see also SGlobal type. */
  def sigmaDslBuilder: Ref[SigmaDslBuilder]
}