Scalaz | |||
Symbol | Code | Ascii | Example |
---|---|---|---|
η | 951 | pure | 1.η[List] |
μ | 03BC | join | List(List(1,2,3), nil, List(5,6,7)) μ |
∅ | 2205 | zero | ∅[Int] |
<∅> | empty | <∅>[Option, Int] |
|
∙ | 2219 | contramap | ((_:String).length ∙ (_:Int).toString ∙ ((_:Int) + 6))(5) |
∘ | 2218 | map | (((_:Int) + 6) ∘ (_:Int).toString ∘ (_:String).length)(5) |
∘∘ |
This file contains hidden or 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
advancement grant <targets> everything | |
advancement grant <targets> from <advancement> | |
advancement grant <targets> only <advancement> | |
advancement grant <targets> only <advancement> <criterion> | |
advancement grant <targets> through <advancement> | |
advancement grant <targets> until <advancement> | |
advancement revoke <targets> everything | |
advancement revoke <targets> from <advancement> | |
advancement revoke <targets> only <advancement> | |
advancement revoke <targets> only <advancement> <criterion> |
This file contains hidden or 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
#define _GNU_SOURCE | |
#include <stdio.h> | |
#include <limits.h> | |
#include <string.h> | |
#include <errno.h> | |
/* ========================================================================= */ | |
static int indent_level = 0; |
This file contains hidden or 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
// Wrapper for windows subsystem for linux (Bash on Ubuntu on Windows) | |
// It allows running native ubuntu applications from Windows | |
// 1. Compile (on windows, the command below is for mingw-gcc): | |
// g++ -O3 -flto -fwhole-program -fvisibility=hidden -fno-exceptions -fno-rtti -s win2lin.cpp -o win2lin.exe | |
// 2. make a copy for each program | |
// for i in git python perl; do cp win2lin.exe ${i}.exe; done | |
// 3. put directory with exes in windows PATH | |
// 4. example (from cmd.exe): | |
// cat "c:\test 1.txt" | |
// will be translated to: bash -c "exec cat \"/mnt/c/test 1.txt\"" |
This file contains hidden or 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/bash | |
# author: Tomás Girardi | |
# Based on http://helw.net/2011/04/28/updating-osx-for-egypts-dst-changes/ by Ahmed El-Helw | |
# CHANGE THIS: | |
# go to https://www.iana.org/time-zones and get the URL for the last DATA | |
# release | |
URLTZDATASRC=https://www.iana.org/time-zones/repository/releases/tzdata2016d.tar.gz | |
# BACKUP your current icu file first |
This file contains hidden or 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
-- See http://blog.ezyang.com/2012/08/applicative-functors/ | |
module Main | |
where | |
import Prelude hiding ((**)) | |
import Control.Monad | |
bind :: Monad m => m a -> (a -> m b) -> m b | |
bind = (>>=) |
NewerOlder