k0001’s gists

k0001 / gist:4359024

Created December 22, 2012 14:17

	import Control.Monad.Instances
	import Control.Monad.Reader


	data Env = Env Int Int


	foo :: Int -> Env -> Int
	foo a (Env x _) = a + x

k0001 / gist:4410640

Last active December 10, 2015 08:58

Playing with pipes-bytestring, pipes-attoparsec, and aeson

	{-# LANGUAGE NoMonomorphismRestriction #-}

	module Main where

	import Control.Applicative
	import Control.Proxy
	import qualified Data.ByteString.Internal as BS
	import qualified Data.ByteString.Lazy as BL
	import qualified Data.ByteString.Lazy as BLI
	import qualified Control.Proxy.Attoparsec as PA

k0001 / Main.hs

Created January 3, 2013 18:11

	{ # LANGUAGE OverloadedStrings #-}

	module Main where

	import qualified RFC2616
	import Control.Applicative
	import Control.Monad
	import Control.Proxy ((>->), request, respond, lift)
	import qualified Control.Proxy as P
	import qualified Control.Proxy.Attoparsec as PA

k0001 / Parse.hs

Last active December 10, 2015 15:18

Control.Proxy.Trans.Parse

	{ # LANGUAGE GeneralizedNewtypeDeriving #-}

	module Control.Proxy.Trans.Parse (
	-- * ParseP
	ParseP(..),
	runParseP,
	runParseK
	) where

	import Control.Applicative (Applicative)

k0001 / gist:4458384

Created January 4, 2013 23:17

	src/Control/Proxy/Trans/Parse.hs:138:30:
	Could not deduce (e ~ ReadParserError)
	from the context (Read b)
	bound by the instance declaration
	at src/Control/Proxy/Trans/Parse.hs:132:10-41
	`e' is a rigid type variable bound by
	the type signature for parse :: ReadParser b -> a -> Result e a b1
	at src/Control/Proxy/Trans/Parse.hs:137:3
	In the second argument of `Fail', namely `e'
	In the expression: Fail a' e

k0001 / Eip.hs

Last active December 31, 2018 14:45

	-- \| This module holds the messy code I wrote while walking through:
	--
	-- The Essence of the Iterator Pattern
	-- Jeremy Gibbons, Bruno César dos Santos Oliveira. 2009.
	-- http://www.cs.ox.ac.uk/publications/publication1409-abstract.html
	--

	{-# LANGUAGE GeneralizedNewtypeDeriving #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE FunctionalDependencies #-}

k0001 / ex1.hs

Last active December 13, 2015 21:38

Simple pipes-network benchmark

	module Main where


	import Control.Monad
	import Control.Proxy ((>->))
	import qualified Control.Proxy as P
	import qualified Control.Proxy.Safe as P
	import qualified Control.Proxy.Network.TCP as NT
	import qualified Control.Proxy.Safe.Network.TCP as NTS
	import qualified Network.Socket.ByteString as NSB (recv)

k0001 / interleave.hs

Created March 21, 2013 08:02

	{-# LANGUAGE OverloadedStrings #-}
	{-# OPTIONS_GHC -fno-warn-unused-do-bind #-}

	module Main where

	import Control.Applicative
	import Control.Error
	import Control.Monad.Trans.Class
	import Control.Monad
	import Control.Proxy

k0001 / example1.hs

Created April 17, 2013 04:40

	{-# LANGUAGE OverloadedStrings #-}

	module Main (main) where

	import Control.Applicative
	import qualified Data.Attoparsec.Text as A
	import qualified Data.Text as T
	import Control.Monad
	import Control.Monad.Trans.Class
	import Control.Monad.ST

k0001 / hello.hs

Last active December 17, 2015 22:39

	import Control.Proxy ((>->), (\>\))
	import qualified Control.Proxy as P
	import qualified Control.Proxy.Trans.State as P
	import qualified Control.Proxy.Trans.Either as P
	import qualified Control.Proxy.Parse as Pa
	import qualified Control.Proxy.Binary as Pb
	import qualified Data.Binary as Bin
	import qualified Data.ByteString.Lazy as BL
	import qualified Data.ByteString as BS
	import Data.Monoid

k0001 k0001