PlutusCore.Annotation

Pos is the type for positive integers. This is used to represent line number, column number, and similar things like indentation level. The Semigroup instance can be used to safely and efficiently add Poses together.

The data type SourcePos represents source positions. It contains the name of the source file, a line number, and a column number. Source line and column positions change intensively during parsing, so we need to make them strict to avoid memory leaks.