git.iko.soy/Idris-dev
on master help sign in
history ofdf4cd71..master
compare
0659508Text.Lexer, Text.Parser: quantity combinatorsMichael Morgan 09e7194Merge pull request #4165 from janschultecom/4161-fix-data-list-isElemAhmad Salim Al-Sibahi 0324753Fixes #4161. Extracted mkNo to a top-level function for performance improvementsjanschultecom 12691f6Fix some calls to P.unexpectedJason Felice 979404eRemove trifecta dependencyJason Felice 61d52a2Fix up parsing typeclassesJason Felice a858866WIPJason Felice e148a68WIPJason Felice 3bdb58eUse runparser in Idris.ParserJason Felice 59ac463Text.Lexer, Text.Parser: add `choiceMap`Michael Morgan 8656531Text.Lexer: add `concatMap`, move `concat` out of coreMichael Morgan 85a7676Text.Lexer: rearrange and refactor functionsMichael Morgan 8ac5aa0Text.Lexer: use `%access export`Michael Morgan ea41144Text.Lexer: split core into its own moduleMichael Morgan 62b06ebText.Lexer: avoid using private names outside coreMichael Morgan 538aa6aText.Lexer: rewrite `exact` and `approx` in terms of `concat`Michael Morgan a792d6bText.Lexer: add `concat`Michael Morgan 565ccf5Text.Lexer: rearrange functions to prepare for splitMichael Morgan 5d0b8a3Text.Parser: flip argument order of `parse`Michael Morgan a33e785Text.Parser: additional combinatorsMichael Morgan 36aa1b3Text.Parser: refactor and generalize combinatorsMichael Morgan 61e7a85Text.Parser.Core: remove useless `inf`sMichael Morgan 8783e4eData.Bool.Extra: proofs for booleans used in typesMichael Morgan 3287187Text.Parser: use `%access export`Michael Morgan 8b98ba2Text.Parser: move core of parser into its own moduleMichael Morgan fd9a45aControl.Delayed: utilities for conditional `Lazy` or `Inf`Michael Morgan b6d3c48Merge pull request #4163 from mpickering/patch-1Ahmad Salim Al-Sibahi aad7688Megaparsec prep (#4164)Jason Felice 1142989integer is unusedJason Felice 0f62a75Implement whiteSpace directlyJason Felice e3089d1Remove remanining HasLastTokenSpan referencesJason Felice 3e6b727Use TokenParsing from Text.ParsersJason Felice a817addConvert IdeMode.hs to use megaparsecJason Felice 0a7dcf0Run stylishJason Felice 8d460e9Don't need a newtype for inner parserJason Felice 497bf25Remove a use of P.tokenJason Felice c0ff21aImplement our own someSpaceJason Felice 6cb8f74Remove unused parsing typeclassesJason Felice 6263397Use modifyJason Felice 09b9c07Move someSpaceJason Felice b188fe1Refactor package parser somewhatJason Felice 6a10910Extract textUntilEolJason Felice fdfcdd3Explicitly import parser helpersJason Felice e057386Simplify symbol parsingJason Felice 0ac4f96identifiers & reserved without Text.Parsers.TokenJason Felice 5b3f95aRemove unused Core.TT.vinstancesJason Felice f590608Reexport parseErrorDoc from Idris.ParserJason Felice 22587b2Make ParseError a newtypeJason Felice 5048ad4Introduce ParseError type aliasJason Felice e680962Return parse results using EitherJason Felice