This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/// <summary> | |
/// Interface definition of Either | |
/// </summary> | |
/// <typeparam name="Tl">type of the Left value</typeparam> | |
/// <typeparam name="Tr">type of the Right value</typeparam> | |
public interface IEither<out Tl, out Tr> | |
{ | |
/// <summary> | |
/// Check the type of the value held and invoke the matching handler function | |
/// </summary> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ==UserScript== | |
// @name disable key events | |
// @namespace eev.ee | |
// @description Prevents JS on the page from receiving keyup, keydown, or keypress. Fixes, e.g., Twitter's disabling of shortcuts until the page has loaded. | |
// @include https://twitter.com/* | |
// @version 1 | |
// @grant none | |
// @run-at document-start | |
// ==/UserScript== |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
set -eou pipefail | |
readonly BRANCH="$1" | |
readonly GIT_USER="$(git config --get user.email)" | |
# Thanks to @eevee | |
git log --pretty=tformat: --numstat --author="$GIT_USER" "$BRANCH" |awk -F '\t' '/./{a+=$1;r+=$2;f[$3]=1}END{printf"%d; +%d -%d = %d\n",length(f),a,r,a-r}' |