roberth

Haskell links

Where to find this page: https://gist.github.com/roberth NB: Make sure you're not looking at the preview. Click the preview!

• Haskell intro slides by SPJ
• Interactive tutorial
• Getting familiar with some of the syntax using a few examples

Depending on workflow:

roberth

Keybase proof

I hereby claim:

• I am roberth on github.
• I am roberthensing (https://keybase.io/roberthensing) on keybase.
• I have a public key ASBIj1yZBuayQXvS0kloMZKPWSAqrFjuJnit5nyj2cMaewo

To claim this, I am signing this object:

roberth

Intro

nix-shell is a tool unlike any other for working with project dependencies. However, so much more can be done! A lot of this can already be accomplished with nix-shell, so a simple approach might be to fix the flaws in nix-shell and leave the rest of the effort for the community to figure out. That's very modular, but doesn't improve the situation much beyond the status quo. In fact, solutions like IDEs and docker-compose currently provide better solutions for some of the problems (but are stuck in local optima).

Scope?

• Build dependencies
• Merge dependencies (buildEnv)

roberth

pkgs.mkShell {
  buildInputs = [...];
  shellHook = ''
    nixShellAddXdgDataDirs(){
      local dirs="$(find $buildInputs -mindepth 1 -maxdepth 1 -path '*/share' -printf ':%p')"
      dirs=''${dirs/:/}
      export XDG_DATA_DIRS=''${XDG_DATA_DIRS:-}''${XDG_DATA_DIRS:+''${dirs:+:}}''${dirs}
    }
    nixShellAddXdgDataDirs
  '';

roberth

module LambdaCI.CLI.Config where

import           Prelude()
import           Protolude

import           System.Directory
import qualified Data.Text.IO as T

import           Dhall hiding (Text)
import           Dhall.Pretty(prettyExpr, annToAnsiStyle)

roberth

{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Gather where

import Protolude

-- | Fold over the outcomes of a type that has an 'Alternative'.
--
-- @Gather@ embodies two steps.
--

roberth

--| Didn't need this after all, but, at least conceptually, this is kind of nice.
module Katip.Extras where

import Protolude

import Data.IORef
import Katip

ioScribe :: IO Scribe
  -> IO () -- ^ Finalizer, see 'scribeFinalizer'

roberth

module Control.Concurrent.Extras.Gate where

import           Protolude
import           Data.IORef
import           Control.Concurrent.STM
import           Data.UUID
import qualified Data.UUID.V4                  as UUID
import qualified Data.Map                      as M

-- | State of a multi-task process to help with graceful termination

roberth

git checkout feature-branch
git commit -m 'Buffer' --allow-empty
git rebase -i <origin/master or similar>
# uncomment buffer commit, reorder into
#   pick Buffer
#   <pick feature-branch commits>
git filter-branch --tree-filter './scripts/format-all' <origin/master or similar>..HEAD
# inspect the new Buffer commit and act accordingly

roberth

# Import this module from an arion service to enable the nix daemon.

{ pkgs, lib, ... }:
{
  # ENABLING THIS WILL MOST LIKELY DAMAGE THE HOST.
  # You're probably looking for service.useHostNixDaemon instead of this module.
  service.useHostStore = lib.mkForce false; # DID YOU READ THE COMMENT?

  nixos.configuration = { pkgs, lib, ...}: {