docs
API
Generated with
docs/scalus/scalus.compiler/scalus.compiler.intrinsics/IntrinsicsNativeList

IntrinsicsNativeList

scalus.compiler.intrinsics.IntrinsicsNativeList
object IntrinsicsNativeList

Native list intrinsics — thin delegation to NativeListOperations.

The IntrinsicResolver dispatches to these when the list has native element representation (SumBuiltinList with !isPackedData element repr). Each method delegates to NativeListOperations which has the actual implementations.

Type parameters carry @UplcRepr(TypeVar(Transparent)) so element bytes flow through without Data wrapping (matching the historical stampTransparent post-load semantics this annotation replaces). find is unannotated — see NativeListOperations.find for the rationale.

Simple methods (isEmpty, head, tail) are implemented inline since they're single builtins.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def contains[A](self: List[A], elem: A): Boolean
def deleteFirst[A](self: List[A], elem: A): List[A]
def diff[A](self: List[A], other: List[A]): List[A]
def distinct[A](self: List[A]): List[A]
def filter[A](self: List[A], predicate: A => Boolean): List[A]
def find[A](self: List[A], predicate: A => Boolean): Option[A]
def foldLeft[A, B](self: List[A], init: B, combiner: (B, A) => B): B
def foldRight[A, B](self: List[A], init: B, combiner: (A, B) => B): B
def head[A](self: List[A]): A
def indexOf[A](self: List[A], elem: A): BigInt
def isEmpty[A](self: List[A]): Boolean
def map[A, B](self: List[A], mapper: A => B): List[B]
def tail[A](self: List[A]): List[A]

Concrete fields

lazy val sirDeps: List[SIRModuleWithDeps]
lazy val sirModule: Module
Generated with