Variable names:
- kind:
k
(Kind) - type constructor:
tc
(Tycon) - type variable:
v
(Tyvar) - fixed type variable:
f
-- requires "mtl" | |
import Control.Monad.State | |
import Control.Monad.Except | |
import Data.Map (Map) | |
import qualified Data.Map as Map | |
data Err = Missing String | OtherErr | |
deriving (Eq, Show) |
data CrazyList a = CL a (CrazyList [a]) | End | |
-- Try compiling this without either type annotation: | |
f :: CrazyList a -> Int | |
f End = 0 | |
f (CL x rest) = g x rest | |
g :: a -> CrazyList [a] -> Int | |
g x rest = 1 + (f rest) |
" Vim color file | |
" Maintaner: Radu Dineiu <radu.dineiu@gmail.com> | |
" URL: http://ld.yi.org/vim/rdark/ | |
" Last Change: 2007 Jun 23 | |
" Version: 0.6 | |
" | |
" Features: | |
" - let rdark_current_line = 1 if you want to highlight the current line | |
" | |
" Changelog: |
// ==UserScript== | |
// @name Fix gmail images | |
// @namespace fixGmailImages | |
// @match https://mail.google.com/* | |
// ==/UserScript== | |
// | |
(function() { | |
function fix() { | |
var images = document.getElementsByTagName('img'); | |
for (var i = 0; i < images.length; i++) { |
var walk; | |
(function() { | |
function showId(tag) { | |
return tag.id ? '#' + tag.id : ''; | |
} | |
function showClasses(tag) { | |
var classes = ""; | |
for (var i = 0; i < tag.classList.length; i++) { |