docs
API
Generated with
docs/scalus/scalus.uplc/ExprBuilder

ExprBuilder

scalus.uplc.ExprBuilder
object ExprBuilder

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

trait Unlift[A]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object given_Unlift_BigInt extends Unlift[BigInt]

Attributes

Supertypes
trait Unlift[BigInt]
class Object
trait Matchable
class Any
Self type
object given_Unlift_ByteString extends Unlift[ByteString]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def Z[A, B]: Expr[((A => B) => A => B) => A => B]
def app[A, B](f: Expr[A => B], x: Expr[A]): Expr[B]
def chooseList[A, B](ls: Expr[List[A]])(e: Expr[B])(ne: Expr[B]): Expr[B]
def const[A : LiftValue](a: A): Expr[A]
def delay[A](x: Expr[A]): Expr[Delayed[A]]
def equalsByteString(lhs: Expr[ByteString])(rhs: Expr[ByteString]): Expr[Boolean]
def err(msg: String): Expr[Nothing]
def error(msg: String): Expr[Delayed[Nothing]]
inline def fieldAsData[A : ToData](inline expr: A => Any): (Expr[Data]) => Expr[Data]
def force[A](x: Expr[Delayed[A]]): Expr[A]
def fstPair[A, B](x: Expr[(A, B)]): Expr[A]
def ifThenElse[A](cond: Expr[Boolean])(t: Expr[Delayed[A]])(f: Expr[Delayed[A]]): Expr[Delayed[A]]
def ifThenElse2[A](cond: Expr[Boolean])(t: Expr[A])(f: Expr[A]): Expr[A]
def lam[A](name: String): [B] => (x$1: (Expr[A]) => Expr[B]) => Expr[A => B]
inline def lam[A, B](inline f: (Expr[A]) => Expr[B]): Expr[A => B]
def let[A, B](expr: Expr[A])(f: (Expr[A]) => Expr[B]): Expr[B]
def rec[A, B](f: (Expr[A => B]) => Expr[A => B]): Expr[A => B]
def sndPair[A, B](x: Expr[(A, B)]): Expr[B]
def vr[A](name: String): Expr[A]
def z[A, B](f: Expr[(A => B) => A => B]): Expr[A => B]

Concrete fields

val ZTerm: Term
val addInteger: Expr[BigInt => BigInt => BigInt]
val equalsInteger: Expr[BigInt => BigInt => Boolean]
val headList: Expr[(List[Data]) => Data]
val lessThanEqualsInteger: Expr[BigInt => BigInt => Boolean]
val lessThanInteger: Expr[BigInt => BigInt => Boolean]
val nullList: Expr[(List[Data]) => Boolean]
val substractInteger: Expr[BigInt => BigInt => BigInt]
val tailList: Expr[(List[Data]) => List[Data]]
val unConstrData: Expr[Data => (BigInt, List[Data])]
val unIData: Expr[Data => BigInt]
val unListData: Expr[Data => List[Data]]

Givens

Givens

given liftableToExpr[A : LiftValue]: Conversion[A, Expr[A]]

Extensions

Extensions

extension (lhs: Expr[BigInt])
def <(rhs: Expr[BigInt]): Expr[Boolean]
def <=(rhs: Expr[BigInt]): Expr[Boolean]
def ===(rhs: Expr[BigInt]): Expr[Boolean]
def |+|(rhs: Expr[BigInt]): Expr[BigInt]
def |-|(rhs: Expr[BigInt]): Expr[BigInt]
extension (lhs: Expr[ByteString])
infix def =*=(rhs: Expr[ByteString]): Expr[Boolean]
extension [A, B](lhs: Expr[A => B])
def apply(rhs: Expr[A]): Expr[B]
extension [B, C](lhs: Expr[B => C])
def compose[A](rhs: Expr[A => B]): Expr[A => C]
extension [A](lhs: Expr[A])
def unary_~: Expr[Delayed[A]]
extension [A](lhs: Expr[Delayed[A]])
def unary_!: Expr[A]
Generated with