jkachmar

module Main where

import Prelude

import Control.Monad.Eff as Eff
import Control.Monad.Eff.Console as Eff.Console
import Semigroup as Semigroup
import Semiring as Semiring

main :: ∀ eff. Eff.Eff (console :: Eff.Console.CONSOLE | eff) Unit

jkachmar

import Control.Lens hiding (from, to)
import GHC.Generics

class Empty a where
  impossible :: a -> x
  default impossible :: (Generic a, GEmpty (Rep a)) => a -> x
  impossible = gimpossible . from

instance Empty Void where
  impossible = absurd

jkachmar

;;; init.el --- jkachmar's Emacs setup.  -*- lexical-binding: t; -*-
;;
;;; Commentary:
;; This file loads use-package, org-mode, and compiles and executes readme.org
;;
;;; Code:

(require 'package)

(setq package-enable-at-startup nil)

jkachmar

module Main where

--------------------------------------------------------------------------------
-- | This is the `Maybe` data type:
-- |
-- | > data Maybe a
-- | > = Nothing
-- | > | Just a
-- |
-- | `Maybe` is a sum type that can be parameterized over a given `a` type, such

jkachmar

resolver: lts-13.23
packages:
  - '.'
  - vendor/haskell-tree-sitter
  - vendor/haskell-tree-sitter/languages/go
  - vendor/haskell-tree-sitter/languages/haskell
  - vendor/haskell-tree-sitter/languages/java
  - vendor/haskell-tree-sitter/languages/json
  - vendor/haskell-tree-sitter/languages/php
  - vendor/haskell-tree-sitter/languages/python

jkachmar

newtype ClientInterpreter params m
  = ClientInterpreter
  (  forall response
   . params
  -> ClientEnv
  -> ClientF response
  -> ExceptT ServantError m response
  )

class HasClientInterpreter (context :: Type -> (Type -> Type) -> Type) where

jkachmar

Keybase proof

I hereby claim:

• I am jkachmar on github.
• I am jkachmar (https://keybase.io/jkachmar) on keybase.
• I have a public key ASDsrA8DW3FUcHdfREv4Ws2lnjzCinJTes8DTm6K72iRcQo

To claim this, I am signing this object:

jkachmar

{-# LANGUAGE OverloadedStrings     #-}
{-# LANGUAGE PartialTypeSignatures #-}

module Main where

import           Control.Exception.Safe   (MonadMask)
import qualified Control.Exception.Safe   as Exc
import           Control.Monad.IO.Class   (MonadIO)
import           Data.ByteString          (ByteString)
import qualified Data.ByteString          as BS

jkachmar

module Main where

import           Control.Monad.Trans.Writer.Ref
import qualified Control.Monad.Writer.CPS       as CPS
import           Control.Monad.ST
import           Data.Foldable (for_)
import           Data.Monoid
import           Data.Semigroup
import           Data.Mutable
import qualified Data.Vector.Generic.Mutable    as M

jkachmar

module ServantAuthGoogle where

import           ClassyPrelude                      hiding (Handler)
import           Control.Error.Util                 (hush)
import           Control.Lens                       ((.~), (^.), (^?))
import           Control.Monad.Except
import qualified Crypto.JOSE                        as Jose
import qualified Crypto.JWT                         as Jose
import           Crypto.Util                        (constTimeEq)
import           Data.Aeson