git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Idris/Docs.hs
all commits
edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi 16ff91fAdd syntax for example code to docsDavid Raymond Christiansen b65e8acLinked TODO issue found in Docs.Jan de Muijnck-Hughes 37292e1Save terms in docstringsDavid Raymond Christiansen c4eca4fMerge branch 'master' into parenthasizeInfixbmsherman 7d38943Proper and complete parenthasization of infix operator names.bmsherman a713659Merge current master into fix/911- branchPaul Koerbitz 49d28a9Correct filtering for subclasses in pprintDocs for multiparameter subclassesPaul Koerbitz 671719eCorrect filtering for subclasses in pprintDocs (fixes #1212)Paul Koerbitz 22143e4Fix if - operator precedence mistake, fixes #911Paul Koerbitz f979614Merge pull request #1208 from david-christiansen/primitive-docsDavid Christiansen e16c068Documentation for primitivesDavid Raymond Christiansen f1d8f86Make ':doc' say 'No constructors.' when a data type has no constructors.Paul Koerbitz 9491c3cAdd ppOptionIst function.Peter Minten 5e3c248Change impl argument to a pretty printing opt recordPeter Minten 6669a26Add superclass info to ClassDoc and output it in pprintDocs (:doc command)Paul Koerbitz bfe6499Give the pretty-printer access to info about infixesDavid Raymond Christiansen 663d9eeUpdate subclass display in 'subclasses' to use consistent parameter namesPaul Koerbitz bb00be2Remove superfluous 'getContext' in docClassPaul Koerbitz f5705ebDisplay docstrings for typeclass parameters and simplify dispaly of subclassesPaul Koerbitz bb25a8bShow defined and automatically generated class instances in different blocksPaul Koerbitz 71bdbbbProperly pretty-print typeclasses for REPL command ':doc'Paul Koerbitz 31ca891Parse _|_ as a name in :docDavid Raymond Christiansen d1e12d5Only show documented arguments in :docDavid Raymond Christiansen 04e2cd8Stop showing __pi_arg and MNs in docsDavid Raymond Christiansen 7faf4e8Show argument names in :docDavid Raymond Christiansen d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen c1ef938New syntax for documentation commentsDavid Raymond Christiansen 68d9e6eAdd some indentation to functions in :docDavid Raymond Christiansen b3be13bMore accurately find argument types in :docDavid Raymond Christiansen e20a6bfMore reliably find argument names in :docDavid Raymond Christiansen 791bd36Use the pretty-printer to show :docDavid Raymond Christiansen 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev 0e76ac9Remember whether implicits are machine generatedEdwin Brady a807a34Remove the unused arg from lookup functionsDavid Christiansen 28ba8debetter lookup for operatorsraichoo 39e0fbaadded fixity of operators to :doc outputraichoo f9a1dabFix pattern variable problem when patterns generated by unificationEdwin Brady 2b7db6aFix 'where' lifting bug Make sure functions have unique names when liftedEdwin Brady 0b3b0b5Display useful information on :doc (It's ugly though...)Edwin Brady