chpatrick

import argparse
from pathlib import Path
import tempfile
from subprocess import check_call

def main():
  parser = argparse.ArgumentParser()
  parser.add_argument("--input", type=Path, required=True)
  parser.add_argument("--media-dir", type=Path, default=Path("/run/media/your_user/your_device"))

chpatrick

{

services.displayManager.extraSessionFilePackages =
  let gnome-flashback-xmonad = pkgs.callPackage ({ stdenv, gnome3, bash, haskellPackages, glib, wrapGAppsHook }: stdenv.mkDerivation {
    name = "gnome-flashback-xmonad";

    buildInputs = [ gnome3.gnome-flashback gnome3.gnome-panel bash haskellPackages.xmonad glib ];
    nativeBuildInputs = [ wrapGAppsHook ];

    unpackPhase = "true";

chpatrick

#!/usr/bin/env python3

# let's say you have a C++ project in Nix that you want to work on with CLion so that the Nix dependencies are available
# put this script in your project directory
# then, in Settings -> Build, Execution, Deployment -> Toolchains set CMake to this script
# if you need any extra nix-shell arguments, add them to the invocation at the bottom

import os
import sys
import shlex

chpatrick

import qualified Data.ByteString as BS
import qualified Data.ByteString.Char8 as BSC
import System.Process.ByteString
import System.Exit

data VirusScanResult
  = VSRClean
  | VSRVirusFound BS.ByteString
    deriving (Eq, Ord, Show)

chpatrick

Keybase proof

I hereby claim:

• I am chpatrick on github.
• I am chpatrick (https://keybase.io/chpatrick) on keybase.
• I have a public key whose fingerprint is 6201 EA12 3C34 F7ED BD9D 0C12 47F5 0B15 D747 AA30

To claim this, I am signing this object:

chpatrick

{-# LANGUAGE LambdaCase #-} 
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE TupleSections #-}

module Lib where

import           Control.Applicative
import           Control.Monad.Identity
import           Control.Monad.Trans.Free

chpatrick

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}

chpatrick

{-# LANGUAGE DeriveFunctor, GeneralizedNewtypeDeriving, MultiParamTypeClasses, InstanceSigs, ScopedTypeVariables, RankNTypes #-}

import Control.Monad.Codensity
import Control.Monad.Free
import Control.Monad.State

data Source = Deck | Discard

data Card
data Player

chpatrick

{-# LANGUAGE FlexibleInstances, TypeOperators, PatternSynonyms, LambdaCase, TupleSections, DefaultSignatures, FlexibleContexts, DeriveAnyClass #-}

import Control.Applicative
import Control.Monad.State.Strict
import Language.Haskell.TH
import Language.Haskell.TH.Syntax
import GHC.Generics

newtype DemotedSymbol = DemotedSymbol { getSymbol :: String }
  deriving (Eq, Ord, Show)

chpatrick

{-# LANGUAGE FlexibleInstances, GeneralizedNewtypeDeriving, PatternSynonyms, RankNTypes #-}

import Control.Applicative
import Control.Monad.Codensity
import Control.Monad.Trans
import Text.Parser.Combinators
import Text.Parser.Char

import qualified Data.Attoparsec.ByteString.Char8 as AP