BuiltinList

A builtin list type corresponding to the Plutus Core builtin list.

This is the Scalus equivalent of BuiltinList in Plutus. It represents an immutable singly-linked list that can be used in Plutus smart contracts.

The list supports basic operations: checking emptiness, accessing head/tail, and prepending elements. These operations correspond directly to Plutus Core builtin functions.

==UPLC Builtin Operations==

The following UPLC builtins operate on lists:

• mkCons - Prepend element (corresponds to ::)
• headList - Get first element (corresponds to head)
• tailList - Get all but first (corresponds to tail)
• nullList - Check if empty (corresponds to isEmpty)
• chooseList - Pattern match on empty vs non-empty
• dropList - Drop first n elements (Plutus V4+)
• mkNilData - Create empty list of Data
• mkNilPairData - Create empty list of Data pairs