Module Curry.SpanInfo

Summary of exported operations:

fromSpanInfoList :: [SpanInfo] -> SpanInfo  Deterministic 
fromSrcSpan :: Span -> SpanInfo  Deterministic 
fromSrcSpanBoth :: Span -> SpanInfo  Deterministic 
getSrcSpan :: HasSpanInfo a => a -> Span  Deterministic 
setSrcSpan :: HasSpanInfo a => Span -> a -> a  Deterministic 
fromSrcInfoPoints :: [Span] -> SpanInfo  Deterministic 
getSrcInfoPoints :: HasSpanInfo a => a -> [Span]  Deterministic 
setSrcInfoPoints :: HasSpanInfo a => [Span] -> a -> a  Deterministic 
getStartPosition :: HasSpanInfo a => a -> Position  Deterministic 
getEndPosition :: HasSpanInfo a => a -> Position  Deterministic 
getSrcSpanEnd :: HasSpanInfo a => a -> Position  Deterministic 
setStartPosition :: HasSpanInfo a => Position -> a -> a  Deterministic 
setEndPosition :: HasSpanInfo a => Position -> a -> a  Deterministic 
spanInfo2Pos :: HasSpanInfo a => a -> Position  Deterministic 

Exported datatypes:


SpanInfo

Constructors:

  • SpanInfo :: Span -> [Span] -> SpanInfo
  • NoSpanInfo :: SpanInfo

LayoutInfo

Constructors:

  • ExplicitLayout :: [Span] -> LayoutInfo
  • WhitespaceLayout :: LayoutInfo

Exported operations:

fromSrcSpan :: Span -> SpanInfo  Deterministic 

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

fromSrcSpanBoth :: Span -> SpanInfo  Deterministic 

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

getSrcSpan :: HasSpanInfo a => a -> Span  Deterministic 

setSrcSpan :: HasSpanInfo a => Span -> a -> a  Deterministic 

fromSrcInfoPoints :: [Span] -> SpanInfo  Deterministic 

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

getSrcInfoPoints :: HasSpanInfo a => a -> [Span]  Deterministic 

setSrcInfoPoints :: HasSpanInfo a => [Span] -> a -> a  Deterministic 

getEndPosition :: HasSpanInfo a => a -> Position  Deterministic 

getSrcSpanEnd :: HasSpanInfo a => a -> Position  Deterministic 

setStartPosition :: HasSpanInfo a => Position -> a -> a  Deterministic 

setEndPosition :: HasSpanInfo a => Position -> a -> a  Deterministic 

spanInfo2Pos :: HasSpanInfo a => a -> Position  Deterministic