liquid-fixpoint-0.5.0.1: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Types.Spans

Contents

Synopsis

Concrete Location Type

data SourcePos :: *

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances

data SrcSpan Source

A Reusable SrcSpan Type ------------------------------------------

Constructors

SS 

Fields

sp_start :: !SourcePos
 
sp_stop :: !SourcePos
 

Instances

Located Values

class Loc a where Source

Located Values ---------------------------------------------------

Methods

srcSpan :: a -> SrcSpan Source

Instances

data Located a Source

Constructors

Loc 

Fields

loc :: !SourcePos

Start Position

locE :: !SourcePos

End Position

val :: a
 

Instances

Constructing spans

dummySpan :: SrcSpan Source

locAt :: String -> a -> Located a Source

dummyLoc :: a -> Located a Source

dummyPos :: String -> SourcePos Source

atLoc :: Located a -> b -> Located b Source

Destructing spans

sourcePosElts :: SourcePos -> (SourceName, Line, Column) Source