git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/Docs.hs
all commits
4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson a463bb1Collected language PRAGMAs and removed debugging commentsAhmad Salim Al-Sibahi fb33d8cIndentation configuration via command line args.Steven Shaw 488c5b7Add RigCount to PPi/PlicityEdwin Brady 1c155dePrint interface constraints as a separate sectionOskar Wickström 9ca1d73Print interface parameter constraints in :docOskar Wickström e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ) 53fae80use interface in error message when check instancezjhmale 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) c3f0755replace code level class symbol with inferfacezjhmale 088846bFixes #3264 Show auto implicit documentaton in Idris Doc.Jan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady a009be6Allow setting function flags on instancesEdwin Brady e3e35a5New rules for name visibilityEdwin Brady 68c019aChange export qualifier keywordsEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 3ec5b5cFix parameters documentation in the record's customized displayGuglielmo Fachini 0fe4649Add a customized display for records documentationGuglielmo Fachini 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen 6e7f896Careful when to show namespaces in :docEdwin Brady 09d107aChange namespace display in :t and :docEdwin Brady 0922ca1Fix #2176 by adding totality status to the REPL :doc command outputGuglielmo Fachini 17ad946Process of determining the documentation in the REPL changed from comparing on the "show" instance on the given name to pattern matching. Also renamed pprintType1Doc to more appropriate pprintTypeDoc.RossMeikleham 3643346Fixed REPL for `:doc Type` to display documentation rather than an error messageRossMeikleham a7e434aAllow Elab scripts to register type class instancesDavid Raymond Christiansen 56b6850Precise highlighting of instancesDavid Raymond Christiansen 73b666bMerge remote-tracking branch 'refs/remotes/upstream/master' into name-highlightsDavid Raymond Christiansen 689e64bHighlight pi and lambda bindersDavid Raymond Christiansen c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 12bcfe4Allow type classes to have explicitly-named instance constructorsDavid Raymond Christiansen 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek beda221Improve display of documenation for named instancesDavid Raymond Christiansen c974e3bUpdate display of instances in :doc for a type classDavid Raymond Christiansen 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 8855d25Instance docs: align instance doc with member docAdam Sandberg Eriksson 3d7aba5Instance docs: show in :doc outputAdam Sandberg Eriksson 2d205a6Instance docs: basic plumbing of types and parsingAdam Sandberg Eriksson 83793a6Add the ability for IDEs to get documentation overviewsDavid Raymond Christiansen 6b803b7Allow documentation for modulesDavid Raymond Christiansen e90316aSupport type errors in docstringsDavid Raymond Christiansen 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