alexpeits

Heading

Task

alexpeits

{-# LANGUAGE AllowAmbiguousTypes #-}  -- GHC prompted me
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeApplications #-}  -- required for the examples
module EnvAccess where

data EnvType = LocalEnv | GlobalEnv

data Env = Env {localEnv :: Int, globalEnv :: Int} deriving Show

alexpeits

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
module Main where

import Data.Proxy

alexpeits

{-# LANGUAGE GADTs #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module Eliminate where

data Nat = Zero | Succ Nat | Pred Nat

type family n + m where

alexpeits

# Usage:
# python solarized_brighten.py [args]

# args are:
# -b/--black to create another theme with black background
# -a/--amount to tweak the amount of brightness
# -c/--custom custom lisp folder name (not path, inside .emacs.d in my case)
# -t/--themes custom theme folder name (not path, inside .emacs.d in my case)

# This creates 2 files, one in the custom folder and one in the themes folder.

alexpeits

{-# LANGUAGE TypeOperators, FlexibleInstances, DeriveGeneric, OverloadedStrings #-}
module JSON where

import GHC.Generics
import Data.Aeson

import qualified Data.HashMap.Lazy as M

data A = A {a :: String} deriving (Show, Generic)
data B = B {b :: Float} deriving (Show, Generic)

alexpeits

{-# LANGUAGE DataKinds              #-}
{-# LANGUAGE FlexibleContexts       #-}
{-# LANGUAGE FlexibleInstances      #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs                  #-}
{-# LANGUAGE InstanceSigs           #-}
{-# LANGUAGE KindSignatures         #-}
{-# LANGUAGE RankNTypes             #-}
{-# LANGUAGE ScopedTypeVariables    #-}
{-# LANGUAGE TypeApplications       #-}

alexpeits

module Parse
  ( lexeme
  , identifier
  , reserved
  , operator
  , reservedOp
  , charLiteral
  , stringLiteral
  , symbol
  , whiteSpace

alexpeits

{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TemplateHaskell       #-}
{-# LANGUAGE UndecidableInstances  #-}
module ApecsReturnVariant where

import           Data.Kind                 (Constraint, Type)

import qualified Control.Monad.Reader      as R

alexpeits

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
module ArgsToHList where