Searched refs:TermRows (Results 1 – 3 of 3) sorted by relevance
84 data TermRows = TermRows { type94 initTermRows :: TermRows95 initTermRows = TermRows {rowLengths = Map.empty, lastRow=0} function97 setRow :: Int -> Int -> TermRows -> TermRows98 setRow r len rs = TermRows {rowLengths = Map.insert r len (rowLengths rs),101 lookupCells :: TermRows -> Int -> Int102 lookupCells (TermRows rc _) r = Map.findWithDefault 0 r rc106 (StateT TermRows112 MonadState TermRows, MonadReader Handles)253 advancePos :: Int -> Layout -> TermRows -> TermPos -> TermPos[all …]
84 data TermRows = TermRows { function94 initTermRows :: TermRows95 initTermRows = TermRows {rowLengths = Map.empty, lastRow=0} function97 setRow :: Int -> Int -> TermRows -> TermRows98 setRow r len rs = TermRows {rowLengths = Map.insert r len (rowLengths rs),101 lookupCells :: TermRows -> Int -> Int102 lookupCells (TermRows rc _) r = Map.findWithDefault 0 r rc106 (StateT TermRows112 MonadState TermRows, MonadReader Handles)253 advancePos :: Int -> Layout -> TermRows -> TermPos -> TermPos[all …]