| /* | |
| * The GW2DayNight(,) macro | |
| * | |
| * The following defines a macro (think function) that allows parameters of a | |
| * reshade preset to fade smoothly with no stutter or sudden changes between one | |
| * value at daytime (in the Guild Wars 2 game world), and another at nighttime. | |
| * | |
| * The macro is used as follows: Instead of a plain number in your preset, say | |
| * '1.02', you put 'GW2DayNight(1.02,1.06)'. Now, that number will be 1.02 at | |
| * daytime, 1.06 at nighttime, and something inbetween (changing every second) |
| -module(map_adt). | |
| -compile(export_all). | |
| -export_type([t/0, t/1, m/0, s/1, sm/1]). | |
| -opaque t() :: #{atom() => integer()}. | |
| -opaque t(A) :: #{A => integer()}. |
Existing map specification syntax, as was introduced in 17.0, allows the following different syntaxes:
map() or #{}: the type of any map (of any size).
#{a => integer(), b => list()}
A map that may only contain keys a and b. If it contains a key a, then it must be mapped to an integer value. Analogously for b.
| //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | |
| // ReShade effect file | |
| // visit facebook.com/MartyMcModding for news/updates | |
| //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | |
| // MasterEffect ReBorn 1.1.287 public beta by Marty McFly | |
| // Continuation of MasterEffect 1.6.1 | |
| // Copyright © 2008-2015 Marty McFly | |
| //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | |
| /*==============================================================================*\ |
| Write-Host -NoNewline "Loading Posh-Git..." | |
| [Console]::CursorLeft = 0 | |
| Import-Module posh-git | |
| $Global:GitPromptSettings.BeforeText = "[" | |
| $Global:GitPromptSettings.AfterText = "] " | |
| $Global:GitPromptSettings.UntrackedText = "" | |
| $Global:GitPromptSettings.UntrackedForegroundColor = [ConsoleColor]::Red | |
| $Global:GitPromptSettings.WorkingForegroundColor = [ConsoleColor]::Red | |
| $Global:GitPromptSettings.ShowStatusWhenZero = false |
| (require 'multiple-cursors) | |
| (global-set-key (kbd "C-S-c C-S-c") 'mc/edit-lines) | |
| ;; CUA mode might make the first C-S-c into a C-c | |
| (global-set-key (kbd "C-c C-S-c") 'mc/edit-lines) | |
| (global-set-key (kbd "C->") 'mc/mark-next-symbol-like-this) | |
| (global-set-key (kbd "C-<") 'mc/mark-previous-symbol-like-this) | |
| (global-set-key (kbd "C-M->") 'mc/mark-next-like-this) | |
| (global-set-key (kbd "C-M-<") 'mc/mark-previous-like-this) | |
| (global-set-key (kbd "C-c C-<") 'mc/mark-all-like-this) | |
| (global-set-key (kbd "M-S-<down>") 'mc/mark-next-lines) |
| # | |
| # Other direct PATH settings | |
| # | |
| if [[ "$MAGNUS_PATH_ADDED" != "yes" ]]; then | |
| export MAGNUS_PATH_ADDED=yes | |
| export PATH="${HOME}/bin:${PATH}:/usr/hacks/bin:/usr/hacks/games" | |
| export MANPATH="${MANPATH}:/usr/hacks/man" | |
| fi | |
| # |
| -- | |
| -- This file defines a command | |
| -- quickCheck <options> <files> | |
| -- which invokes quickCheck on all properties defined in the files given as | |
| -- arguments, by generating an input script for ghci and then piping it in. | |
| -- | |
| import Data.List | |
| import System.Environment (getArgs) | |
| import System.Process |
| (normal-erase-is-backspace-mode 0) | |
| ;; (define-key key-translation-map [?\C-h] [?\C-?]) | |
| (global-set-key [(deletechar)] 'backward-delete-char) | |
| (global-set-key [(delete)] 'delete-char) |
| (custom-set-variables | |
| ;; custom-set-variables was added by Custom. | |
| ;; If you edit it by hand, you could mess it up, so be careful. | |
| ;; Your init file should contain only one such instance. | |
| ;; If there is more than one, they won't work right. | |
| '(TeX-PDF-mode t) | |
| '(adaptive-wrap-extra-indent 1) | |
| '(c-basic-offset 4) | |
| '(column-number-mode t) | |
| '(cua-enable-cua-keys nil) |