moduleDDC.Interface.Source(Source(..),lineStartOfSource,nameOfSource)where-- | Where some source code was obtained from.---- This is used when generating error messages.dataSource-- | Read directly from a file.=SourceFileFilePath-- | Supplied on the command line.|SourceArgs-- | Typed into the console.|SourceConsoleInt-- | Part of a @.dcx@ batch file.|SourceBatchFilePathIntderiving(Eq,Show)-- | Get the starting source line number to report for this source.lineStartOfSource::Source->IntlineStartOfSourcess=casessofSourceFile{}->1SourceArgs{}->1SourceConsolei->iSourceBatch_i->i-- | Get the name of a source.nameOfSource::Source->StringnameOfSourcess=casessofSourceFilef->fSourceArgs->"<arg>"SourceConsole{}->"<console>"SourceBatch{}->"<batch>"