PAKCS
Exported names: Imported modules:

Module AST.Span

Summary of exported operations:

showPos :: (Int,Int) -> String   
Shows a position.
start :: ((Int,Int),(Int,Int)) -> (Int,Int)   
end :: ((Int,Int),(Int,Int)) -> (Int,Int)   
startPos :: (Int,Int)   
virtualPos :: (Int,Int)   
virtualSpan :: ((Int,Int),(Int,Int))   
isVirtualPos :: (Int,Int) -> Bool   

Exported datatypes:

Pos

Type synonym: Pos = (Int,Int)

Span

Type synonym: Span = (Pos,Pos)

Exported operations:

showPos :: (Int,Int) -> String   

Shows a position.

start :: ((Int,Int),(Int,Int)) -> (Int,Int)   

Further infos:
  • solution complete, i.e., able to compute all solutions

end :: ((Int,Int),(Int,Int)) -> (Int,Int)   

Further infos:
  • solution complete, i.e., able to compute all solutions

startPos :: (Int,Int)   

Further infos:
  • solution complete, i.e., able to compute all solutions

virtualPos :: (Int,Int)   

Further infos:
  • solution complete, i.e., able to compute all solutions

virtualSpan :: ((Int,Int),(Int,Int))   

Further infos:
  • solution complete, i.e., able to compute all solutions

isVirtualPos :: (Int,Int) -> Bool