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
package eip | |
trait Functor[F[_]] { | |
def fmap[A, B](f: A => B): F[A] => F[B] | |
} | |
trait Pointed[F[_]] { | |
def point[A](entity: => A): F[A] | |
} |
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
#!/bin/sh | |
git merge "$@" | |
git push origin master | |
yes | git-cleanup-and-prune |
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
#!/bin/sh | |
git sweep cleanup | |
git remote prune origin | |
git branch --merged | grep -v "\*" | xargs -n 1 git branch -d |
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
ZSH_THEME_GIT_PROMPT_DIRTY="%{$FG[202]%} ✘✘✘" | |
ZSH_THEME_GIT_PROMPT_CLEAN="%{$FG[040]%} ✔" |
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
#!/bin/sh | |
# Usage: github-split org/project directory new-project | |
REPO=$1 | |
FOLDER=$2 | |
NEW_REPO=$3 | |
function usage() { | |
echo "" | |
echo "Usage: $0 <repo> <folder> <new_repo>" |
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
data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAaQAAAGkCAIAAADxLsZiAAAHqUlEQVR42u3VUQ0AIQxEwVrBf3CCnApARL+anc1TANxcnXcVWAfP7WdWjgB2sBPsBDvYCXaCHewEO8EOdoKdYAc7wU6wg51gJ9jBTrAT7GAn2Al2sIOdYAc7wU6wg51gJ9jBTrAT7GAn2Al2sBPsBDvYCXaCHewEO8EOdoKdYAc72Al2sBPsBDvYCXaCHewEO8EOdoKdYAc7wU6wg51gJ9jBTrAT7GAn2Al2sIOdYAc7wU6wg51gJ9jBTrAT7GAn2Al2sBPsBDvYCXaCHewEO8EOdoKdYOcBwE6wg51gJ9jBTrAT7GAn2Al2sBPsBDvYCXaCHewEO8EOdoKdYAc7wU6wE+wEO9gJdoId7AQ7wQ52gp1gBzvBTrCDnWAn2MFOsBPsYCfYCXawE+xgBzvBTrCDnWAn2MFOsBPsYCfYCXawE+wEO9gJdoId7AQ7wQ52gp1gBzvBDnawE+wEO9gJdoId7AQ7wQ52gp1gBzvBTrCDnWAn2MFOsBPsYCfYCXawE+xgBzvBTrCDnWAn2MFOsBPsYCfYCXawE+wEO9gJdoId7AQ7wQ52gp1gBzvBDnawE+wEO9gJdoId7LQKuzYfPOgtYLCDHewMdgY72BnsDHawM9gZ7GBnsDPYwc5gZ7CDncHOYAc7g53BDnYGO4Md7GBnsIOdwc5gBzuDncEOdgY7gx3sDHYGO9gZ7Ax2sDPYGexgZ7Az2MHOYGewgx3sDHawM9gZ7GBnsDPYwc5gZ7CDncHOYAc7g53BDnYGO4Md7Ax2BjvYGewMdrCDncEOdgY7gx3sDHYGO9gZ7Ax2sDPYGexgZ7Az2MHOYGewg53BzmAHO4Odwc7tw85gBzuDncEOdgY7gx3sDHYGO9gZ7Ax2sDPYGexgZ7Az2MHOYGewg53BzmBnsDPYwc5gZ7CDncHOYAc7g53BDnYGO4Md7Ax2BjvYGewMdrAz2B |
NewerOlder