syntax bookmarklet

Haskell hat viele syntaktische Elemente. Davon benötigen wir allerdings nicht alle, da einige zu fortgeschritten für unsere an Einsteiger gerichteten Levels sind.

Zu diesem Zweck markiert das folgende Bookmarklet auf der Syntax-Seite der haskell-src-exts-Doku diejenigen Typen und Konstruktoren mit einem roten Balken, die für uns zunächst die wichtigsten sein sollten. Da wir aber erst am Anfang des Projektes stehen, ist davon auszugehen, dass noch nicht alle der benötigten Syntaktischen Elemente markiert sind. Diese werden (hoffentlich) ergänzt. Außerdem blendet es alle Instanzen aus.

Leider bekomme ich das Bookmarklet nicht als Link ins Wiki, deshalb muss man es leider manuell erstellen.

javascript: (function () { function releasetheKraken() {
$(".caption.collapser").each(function(){$(this).click();});
var ids_str = "t:Module t:Decl v:TypeDecl v:DataDecl v:TypeSig v:FunBind v:PatBind t:QName v:UnQual t:Name t:QOp v:QVarOp t:Alt t:Pat v:PVar v:PApp v:PWildCard t:QualConDecl t:Match v:Match t:Rhs v:UnGuardedRhs t:Type v:TyFun v:TyList v:TyVar v:TyCon v:TyParen t:Exp v:Var v:Con v:Lit v:InfixApp v:App v:NegApp v:Lambda v:Let v:If v:Case v:Do v:Tuple v:List v:Paren v:ListComp v:ExpTypeSig v:BracketExp t:Stmt v:Generator";
var ids = ids_str.split(' ');
for(var i = 0;i < ids.length;i++){
    var id = ids[i].replace(':','\\:');
    $('.src:has(#'+id+')').css('border-left','50px solid red');
}
}
if (typeof jQuery=='undefined') { var jq = document.createElement('script'); jq.src = "https://ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.min.js"; document.getElementsByTagName('head')[0].appendChild(jq); jq.onload=releasetheKraken; } else { releasetheKraken(); } }());

Das Bookmarklet ist zurzeit nur unter Firefox 52 getestet.

History

2017-04-17: Erste Version