hpastetwo
recent
new
New Revision
instance Functor fs => Functor (Cons fs) where fmap f (Cons a fs) = Cons (f a) (fmap f fs) instance Functor Nil where fmap _ Nil = Nil instance Functor fs => Functor (Unary fs) where fmap f (Z ffs) = Z $ fmap (fmap f) ffs fmap f (S n) = S (fmap f n) instance Foldable Nil where foldr f z Nil = z instance Foldable fs => Foldable (Cons fs) where foldr f z (Cons a fs) = a `f` foldr f z fs instance Foldable fs => Foldable (Unary fs) where foldr f z (Z ffs) = foldr (flip $ foldr f) z ffs foldr f z (S n) = foldr f z n instance Traversable Nil where traverse _ Nil = pure Nil instance Traversable fs => Traversable (Cons fs) where sequenceA (Cons ma fms) = Cons <$> ma <*> sequenceA fms instance Traversable fs => Traversable (Unary fs) where sequenceA (Z ffms) = Z <$> sequenceA (fmap sequenceA ffms) sequenceA (S n) = S <$> sequenceA n
author
title
language
ActionScript
ActionScript 3
ApacheConf
AppleScript
BBCode
Bash
Batchfile
Befunge
Boo
Brainfuck
C
C#
C++
CSS
CSS+Django/Jinja
CSS+Genshi Text
CSS+Mako
CSS+Myghty
CSS+PHP
CSS+Ruby
CSS+Smarty
Cheetah
Clojure
Common Lisp
D
Darcs Patch
Debian Control file
Debian Sourcelist
Delphi
Diff
Django/Jinja
Dylan
ERB
Erlang
Fortran
GAS
Genshi
Genshi Text
Gettext Catalog
Gnuplot
Groff
HTML
HTML+Cheetah
HTML+Django/Jinja
HTML+Genshi
HTML+Mako
HTML+Myghty
HTML+PHP
HTML+Smarty
Haskell
INI
IRC logs
Io
Java
Java Server Page
JavaScript
JavaScript+Cheetah
JavaScript+Django/Jinja
JavaScript+Genshi Text
JavaScript+Mako
JavaScript+Myghty
JavaScript+PHP
JavaScript+Ruby
JavaScript+Smarty
LLVM
Lighttpd configuration file
Literate Haskell
Logtalk
Lua
MOOCode
Makefile
Makefile
Mako
Matlab
Matlab session
MiniD
MoinMoin/Trac Wiki markup
MuPAD
MySQL
Myghty
NASM
Nginx configuration file
NumPy
OCaml
Objective-C
PHP
POVRay
Perl
Python
Python 3
Python 3.0 Traceback
Python Traceback
Python console session
RHTML
Raw token data
Redcode
Ruby
Ruby irb session
S
SQL
Scala
Scheme
Smalltalk
Smarty
SquidConf
Tcl
Tcsh
TeX
Text only
VB.net
VimL
XML
XML+Cheetah
XML+Django/Jinja
XML+Mako
XML+Myghty
XML+PHP
XML+Ruby
XML+Smarty
XSLT
YAML
c-objdump
cpp-objdump
d-objdump
objdump
reStructuredText
sqlite3con
channel
none