TupleInfo class

Available extensions

• TupleInfoExtension

Constructors

TupleInfo(DatatypeSort sort, FuncDecl constructor, List<FuncDecl> accessors)

Properties

accessors → List<FuncDecl>

final

constructor → FuncDecl

final

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

sort → DatatypeSort

final

Methods

call([Object? x1, Object? x2, Object? x3, Object? x4, Object? x5, Object? x6, Object? x7, Object? x8, Object? x9]) → App

Available on TupleInfo, provided by the TupleInfoExtension extension

Construct this tuple with the given arguments.

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited