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

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

module ThisIsWeird where

import           ClassyPrelude
import           Data.Kind (Constraint)

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

#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)

jkachmar

module Chuckles where

import           ClassyPrelude     hiding (bool)

import           Control.Category
import qualified Generics.SOP      as SOP
import qualified GHC.Generics      as G
import           Squeal.PostgreSQL

type Schema =