GHCi.History.Parse.Common

Grammar describing the output of ghci's :history command, usable by either Parsec or Text.ParserCombinators.ReadP.

Documentation

someSpace :: Parsing m => m ()

one or more space characters

num :: Parser Int

a number – one or more digits

negNum :: Parser Int

negNum := '-' <num>

numSpan :: Parser (Int, Int)

numSpan := <num> '-' <num>

filePos :: Parser FilePos

filePos := '(' <num> ',' <num> ')'

unabbrevPosRange :: Parser (FilePos, FilePos)

unabbrevPosRange := '(' <filePos> ')-(' <filePos> ')'

abbrevPosRange :: Parser (FilePos, FilePos)

abbrevPosRange :=  <num> ':' <num> '-' <num>

pointRange :: Parser (FilePos, FilePos)

pointRange :=  <num> ':' <num>

A point range – i.e., a range whose start point and end point are the same.

posRange :: (Monad f, Parsing f) => f (FilePos, FilePos)

posRange := <abbrevPosRange> | <pointRange> | <unabbrevPosRange>

filename :: Parser String

string representing a filename. Can't contain ":".

funcname :: Parser String

discards terminal control codes

histLine :: Parser HistoryItem

histLine := <negNum> ':' <funcname> '(' <filename> ':' <posRange> ')'

emptyHistory :: Parser [HistoryItem]

An empty history starts with the string "Empty history".

nonEmptyHistory :: (Monad m, Parsing m) => m [HistoryItem]

A non-empty history: one or more histLines, followed by the string "<end of history>", or "..." if ghci has cut off remaining entries due to length.

history :: (Monad f, Parsing f) => f [HistoryItem]

history := <emptyHistory> | <nonEmptyHistory>