| -- 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) |
| 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 |
| {- | |
| Dependently typed metaprogramming (in Agda) | |
| Conor McBride, 2013 | |
| Dependently typed programming | |
| Conor McBride, 2011 | |
| -} |
| {-# 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 |
| {-# 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}}example@example.com{{/author-email}} | |
| copyright: {{copyright}}{{^copyright}}{{year}}{{^year}}2017{{/year}} {{author-name}}{{^author-name}}Author name here{{/author-name}}{{/copyright}} |
| #!/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 |
| {-# LANGUAGE LambdaCase #-} | |
| {-# LANGUAGE TypeFamilies #-} | |
| import Control.Comonad.Cofree | |
| import Control.Monad.Free | |
| import Data.Functor.Foldable | |
| oddIndices :: [a] -> [a] | |
| oddIndices = histo $ \case | |
| Nil -> [] |
| {-# LANGUAGE RankNTypes, TypeFamilies, DataKinds, TypeOperators, | |
| ScopedTypeVariables, PolyKinds, ConstraintKinds, GADTs, | |
| MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, | |
| FlexibleContexts #-} | |
| module InductiveConstraints where | |
| import GHC.Prim (Constraint) | |
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:
| 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) |