SourcePos package:liquid-fixpoint

data () => SourcePos
liquid-fixpoint Language.Fixpoint.Types.Spans
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.
SourcePos :: FilePath -> Pos -> Pos -> SourcePos
liquid-fixpoint Language.Fixpoint.Types.Spans
sourcePosElts :: SourcePos -> (SourceName, Line, Column)
liquid-fixpoint Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Spans
ofSourcePos :: SourcePos -> (SourceName, Line, Column)
liquid-fixpoint Language.Fixpoint.Types.Spans
safeSourcePos :: FilePath -> Int -> Int -> SourcePos
liquid-fixpoint Language.Fixpoint.Types.Spans
Create a source position from integers, using 1 in case of non-positive numbers.
toSourcePos :: (SourceName, Line, Column) -> SourcePos
liquid-fixpoint Language.Fixpoint.Types.Spans