hardentoo

-- cabal install MonadRandom
-- ghc random_monad_example
-- ./random_monad_example

-- The code here is stolen from a comment in the MonadRandom source code.

import Control.Monad.Random

die :: RandomGen g => Rand g Int
die = getRandomR (1,6)

hardentoo

module STLC where

-- Simple substitution à la Conor, as described in http://strictlypositive.org/ren-sub.pdf

id : {A : Set} → A → A
id x = x

data Type : Set where
  *   : Type
  _⇒_ : (S T : Type) → Type

hardentoo

{-

Dependently typed metaprogramming (in Agda)
Conor McBride, 2013

Dependently typed programming
Conor McBride, 2011

-}

hardentoo

{-# LANGUAGE OverloadedStrings #-}

import Control.Monad.IO.Class				(liftIO)
import Network						(withSocketsDo)
import System.Environment				(getArgs, getProgName)

import qualified Data.ByteString.Char8			as BS
import qualified Data.ByteString.Lazy.Char8		as LBS
import qualified Data.CaseInsensitive			as CI
import qualified Network.HTTP.Enumerator		as HE

hardentoo

{-# START_FILE {{name}}.cabal #-}
name:                {{name}}
version:             0.1.0.0
synopsis:            Initial project template from stack
description:         Please see README.md
license:             GPL-3
license-file:        LICENSE
author:              {{author-name}}{{^author-name}}Author name here{{/author-name}}
maintainer:          {{author-email}}{{^author-email}}[email protected]{{/author-email}}
copyright:           {{copyright}}{{^copyright}}{{year}}{{^year}}2017{{/year}} {{author-name}}{{^author-name}}Author name here{{/author-name}}{{/copyright}}

hardentoo

#!/usr/bin/env python
""" Print all of the clone-urls for a GitHub organization.

It requires the pygithub3 module, which you can install like this::

    $ sudo yum -y install python-virtualenv
    $ mkdir scratch
    $ cd scratch

    $ virtualenv my-virtualenv

hardentoo

{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE TypeFamilies #-}

import Control.Comonad.Cofree
import Control.Monad.Free
import Data.Functor.Foldable

oddIndices :: [a] -> [a]
oddIndices = histo $ \case
  Nil                           -> []

hardentoo

{-# LANGUAGE RankNTypes, TypeFamilies, DataKinds, TypeOperators,
  ScopedTypeVariables, PolyKinds, ConstraintKinds, GADTs,
  MultiParamTypeClasses, FlexibleInstances, UndecidableInstances,
  FlexibleContexts #-}

module InductiveConstraints where

import GHC.Prim (Constraint)

hardentoo

Introducing the stack hoogle feature!

With the release of hoogle5, we can now hoogle all local packages.

This let us implement stack hoogle, which is on the master branch of stack, but is not yet on a stack release. We'd like you to try it out before we do!

To upgrade to the latest stack from git, use:

hardentoo

import Data.Maybe (isJust)

data Tree a = Leaf | Node (Tree a) a (Tree a)

replace :: a -> Tree a -> Tree a
replace a Leaf = Node Leaf a Leaf
replace a (Node l _ r) = Node l a r

rotateR :: Tree a -> Tree a
rotateR (Node (Node x a y) b z) = Node x a (Node y b z)