jkachmar

All actions should be performed in the root directory of a Haskell project that uses stack. The following lines should be present in the project's stack.yaml file:

docker:
  enable: true

Additionally, the BaseImage and Dockerfile files from this gist should also be present in the project's root directory.

jkachmar

" -----------------------------------------------------------------------------
" Plugins
" -----------------------------------------------------------------------------
call plug#begin('~/.vim/plugged')

" User Interface
Plug 'airblade/vim-gitgutter'
Plug 'vim-airline/vim-airline'
Plug 'scrooloose/nerdtree', { 'on':  'NERDTreeToggle' }
Plug 'terryma/vim-multiple-cursors'

jkachmar

module Tree where

import Data.List
import Data.Maybe

--------------------------------------------------------------------------------

data Pair a
  = Pair a a

jkachmar

;; -*- mode: emacs-lisp -*-
;; This file is loaded by Spacemacs at startup.
;; It must be stored in your home directory.

(defun dotspacemacs/layers ()
  "Configuration Layers declaration.
You should not put any user code in this function besides modifying the variable
values."
  (setq-default
   dotspacemacs-distribution 'spacemacs

jkachmar

const daggy = require('daggy');

/* ------------------------------------------------------------------------- */

// type Predicate a = a -> Bool
// a is the _input_ to the function
const Predicate = daggy.tagged('f');

// :: (a -> Bool) -> (b -> a) -> b -> Bool
// :: Predicate a ~> (b -> a) -> Predicate b

jkachmar

const R = require('ramda');
const L = require('partial.lenses');

/* -------------------------------------------------------------------------- */

const arr = [1, 2, 3];

// 'get', pulls value from some data structure
L.get(L.index(0), arr);
// > 1

jkachmar

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds       #-}
{-# LANGUAGE GADTs           #-}
{-# LANGUAGE TypeFamilies    #-}
{-# LANGUAGE TypeOperators   #-}

module ThisIsWeird where

import           ClassyPrelude
import           Data.Kind (Constraint)

jkachmar

#include <stdio.h>

#include "common/cs_dbg.h"
#include "common/platform.h"
#include "frozen/frozen.h"

#include "fw/src/mgos_app.h"
#include "fw/src/mgos_adc.h"
#include "fw/src/mgos_aws_shadow.h"
#include "fw/src/mgos_gpio.h"

jkachmar

module Handler.AuthTest where

-- * Prelude.
import           ClassyPrelude

-- * Database imports.
import           Database.Persist
import           Database.Persist.Sql

-- * Testing imports.

jkachmar

module Main where

import Prelude

import Control.Monad.Aff (Aff, launchAff)
import Control.Monad.Aff.AVar (AVAR, AVar, makeVar', putVar, takeVar)
import Control.Monad.Aff.Class (class MonadAff, liftAff)
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Class (liftEff)
import Control.Monad.Eff.Console (log)