Skip to content

Instantly share code, notes, and snippets.

View mpickering's full-sized avatar

Matthew Pickering mpickering

  • Well Typed LLP
  • Sheffield, UK
View GitHub Profile
module Main where
import Text.Pandoc.JSON
import Text.Pandoc.Walk
import Text.Pandoc.Generic
import Text.Pandoc.Definition
main = toJSONFilter (listFilter . breaksFilter)
breaksFilter :: Pandoc -> Pandoc
@mpickering
mpickering / Map.hs
Created March 17, 2017 12:22
Static Argument Transformation
module Map where
m1 :: (a -> b) -> [a] -> [b]
m1 f [] = []
m1 f (x:xs) = f x : m1 f xs
m2 :: (a -> b) -> [a] -> [b]
m2 f xs = go xs
where
go [] = []
{-# LANGUAGE BangPatterns #-}
module Main where
import qualified Data.Text as Text
import Data.Text (Text, pack)
import Criterion.Main
import Test.QuickCheck.Arbitrary
import Test.QuickCheck
import Data.List
{ mkDerivation, base, containers, directory, fetchgit, filepath
, ghc, ghc-boot-th, ghc-paths, stdenv
}:
mkDerivation {
pname = "coxswain";
version = "0.1.0.0";
src = fetchgit {
url = "https://github.com/nfrisby/coxswain.git";
sha256 = "1dw53d3wal6akz39gf1jjyig4gdnagl4hglj0iw6j2ngfm7yr57g";
rev = "3928a5f46d6bfd925390b46901008c0f1fc025d2";
{ reflex-platform ? import ./reflex-platform.nix
, compiler ? "ghcjs"
} :
let
pkgs = reflex-platform.nixpkgs.pkgs;
haskellPackages = reflex-platform.${compiler}.override {
overrides = self: super: {
wai-middleware-static = pkgs.haskell.lib.dontCheck (super.wai-middleware-static); }; };
{-# LANGUAGE ExistentialQuantification #-}
module Main where
import GHC.Prim
import Criterion.Main
import GHC.Prim
main :: IO ()
main = defaultMain [b1, b2] where
{-# LANGUAGE BangPatterns #-}
module Main where
import GHC.Exts
import Criterion.Main
main :: IO ()
main = defaultMain [b1, b2, b3] where
b1 = bench "INLINE" $ whnf filterTest1 x
b2 = bench "Skip " $ whnf filterTest2 x
# /usr/bin/sh
# batch script for converting raw lidar data
# into a set of 250x250 m tiles suitable for contour and vegetation
# processing.
# Usage: lidar-batch <lidar_directory\*.laz> or <lidar_directory\*.las>
# Assumes all the lastools binaries and the perl files to be in the "c:\data\orientering" directory:
# if exist tiles_classified\tile*.laz goto tiles_generated
#: create buffered tiling
{ nixpkgs ? import <nixpkgs> {}, compiler ? "ghc821" }:
let
# compare-ticky = nixpkgs.callPackage ./nofib/compare-ticky.nix {} ;
hp = nixpkgs.haskell.packages.ghc821.override {
overrides = self: super: {
Cabal = self.callPackage ./Cabal.nix {};
cabal-install = self.callPackage ./cabal-install.nix {};
};};
in
nixpkgs.stdenv.mkDerivation {
This file has been truncated, but you can view the full file.
<?xml version="1.0" encoding="UTF-8"?>
<map xmlns="http://openorienteering.org/apps/mapper/xml/v2" version="6"><notes></notes><georeferencing scale="15000" declination="0.000000" grivation="0.000000"><ref_point x="0" y="0"/><projected_crs id="UTM"><ref_point x="532618.611931" y="5699861.807042"/><spec language="PROJ.4">+proj=utm +datum=WGS84 +zone=30</spec><parameter>30 N</parameter></projected_crs><geographic_crs id="Geographic coordinates"><ref_point_deg lat="51.449000" lon="-2.530600"/><spec language="PROJ.4">+proj=latlong +datum=WGS84</spec></geographic_crs></georeferencing><colors count="22"><color priority="0" name="Purple" c="0.200" m="1.000" y="0.000" k="0.000" opacity="1.000"><spotcolors><namedcolor>PURPLE</namedcolor></spotcolors><cmyk method="custom"/><rgb method="custom" r="0.800" g="0.000" b="1.000"/></color><color priority="1" name="Black" c="0.000" m="0.000" y="0.000" k="1.000" opacity="1.000"><spotcolors knockout="true"><namedcolor>BLACK</namedcolor></spotcolors><cmyk method="custom"/><rgb met