Module ACSpans.Span

Summary of exported operations:

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:

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