Skip to content

Instantly share code, notes, and snippets.

@aavogt
aavogt / xmonad.hs
Last active May 5, 2016 17:15 — forked from lierdakil/xmonad.hs
A toy implementation of fully monadic config
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
data N = S N | Z
@aavogt
aavogt / ZipAlign.hs
Last active December 20, 2015 09:48 — forked from tonymorris/ZipAlign.hs
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}
import Data.Foldable as F
import Data.Traversable as T
import Data.Monoid
import Control.Monad.State
@aavogt
aavogt / xmonad.hs.txt
Created May 18, 2012 00:47 — forked from anonymous/xmonad.hs.txt
xmonad.hs
{-# LANGUAGE ImplicitParams, NoMonomorphismRestriction #-}
import XMonad
import Data.Monoid
import Control.Monad
import System.Exit
import XMonad.Util.Run
import XMonad.Util.WorkspaceCompare
import XMonad.Layout.PerWorkspace (onWorkspace)
CREATE TABLE `movies`.`movies_movie` (
`id` INT NOT NULL AUTO_INCREMENT,
`title` VARCHAR(255) NOT NULL,
`year` SMALLINT NOT NULL,
PRIMARY KEY (`id`)
)
ENGINE = InnoDB
CHARACTER SET utf8 COLLATE utf8_general_ci;