patrickt’s gists

patrickt / RWS.hs

Created April 23, 2019 21:37

	{-# LANGUAGE FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, TypeOperators, UndecidableInstances, DeriveFunctor, StandaloneDeriving, RankNTypes #-}
	{-# OPTIONS_GHC -fno-warn-orphans #-}

	module RWS where

	import Control.Applicative
	import Control.Effect
	import Control.Effect.Carrier
	import Control.Effect.Reader
	import Control.Effect.State.Internal

patrickt / Instances.hs

Created April 23, 2019 02:41

	{-# LANGUAGE StandaloneDeriving, GeneralizedNewtypeDeriving #-}
	{-# OPTIONS_GHC -fno-warn-orphans #-}
	module Control.Effect.Parallel.Instances where

	import Control.Monad.Parallel
	import Control.Effect.Lift
	import Control.Effect.Pure
	import Control.Effect.State
	import Control.Effect.Trace
	--import Control.Effect.NonDet

patrickt / Thread.hs

Last active April 22, 2019 23:28

	{-# LANGUAGE DeriveFunctor, ExistentialQuantification, FlexibleContexts, StandaloneDeriving, RankNTypes, TypeOperators, FlexibleInstances, TypeFamilies, UndecidableInstances, MultiParamTypeClasses, ScopedTypeVariables, GeneralizedNewtypeDeriving, LambdaCase, TypeApplications #-}

	module Control.Effect.Thread where

	import Control.Effect
	import Control.Effect.Sum
	import Control.Effect.Carrier
	import Control.Effect.State
	import Control.Monad.IO.Class
	import Control.Monad.IO.Unlift

patrickt / Cont.hs

Created April 15, 2019 20:47

	{-# LANGUAGE DeriveFunctor, FlexibleContexts, FlexibleInstances, KindSignatures, ExistentialQuantification, RankNTypes, StandaloneDeriving, GeneralizedNewtypeDeriving, TypeOperators, MultiParamTypeClasses, QuantifiedConstraints, UndecidableInstances #-}

	module Control.Effect.Cont where

	import Control.Effect.Carrier
	import Control.Monad
	import Control.Effect.Sum
	import Data.Coerce

	data Cont (ref :: * -> ) (m :: -> *) k

patrickt / Await.hs

Created April 15, 2019 17:32

	{-# LANGUAGE DeriveFunctor, ExistentialQuantification, FlexibleContexts, FlexibleInstances, GeneralizedNewtypeDeriving,
	TypeApplications, KindSignatures, ScopedTypeVariables, LambdaCase, MultiParamTypeClasses, StandaloneDeriving, TypeOperators, UndecidableInstances #-}
	module Control.Effect.Await
	( Await (..)
	, await
	, awaits
	, peek
	, runAwaitList
	) where

patrickt / Control.hs

Created April 13, 2019 12:30

	{-# LANGUAGE StandaloneDeriving, MultiParamTypeClasses, FlexibleInstances, GeneralizedNewtypeDeriving, TupleSections, TypeFamilies, UndecidableInstances #-}
	{-# OPTIONS_GHC -fno-warn-orphans #-}

	module Control.Effect.Control where

	import Control.Monad
	import Control.Effect
	import Control.Effect.Reader
	import Control.Effect.Random
	import Control.Effect.Error

patrickt / region_effect.hs

Created April 12, 2019 21:18

	{-# LANGUAGE DataKinds, DeriveFunctor, ExistentialQuantification, FlexibleContexts, FlexibleInstances,
	GeneralizedNewtypeDeriving, KindSignatures, MultiParamTypeClasses, Rank2Types, StandaloneDeriving,
	TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances, LambdaCase, ScopedTypeVariables #-}

	module Control.Effect.Region.IO.Text
	( module Control.Effect.Region
	, module Control.Effect.Region.IO
	, newHandle
	, runFileRegion
	) where

patrickt / Async.hs

Created November 27, 2018 21:53

	{-# LANGUAGE DeriveFunctor, ExistentialQuantification, FlexibleContexts, FlexibleInstances, GADTs,
	MultiParamTypeClasses, RankNTypes, StandaloneDeriving, TypeOperators, UndecidableInstances, LambdaCase #-}
	module Control.Effect.Async
	( Asynchronous (..)
	, async
	, asyncBound
	, wait
	, poll
	, runAsynchronous
	, AsynchronousC (..)

patrickt / results.html

Created October 30, 2018 16:05

	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
	<html>
	<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<title>criterion report</title>
	<script language="javascript" type="text/javascript">
	/! jQuery v3.3.1 \| (c) JS Foundation and other contributors \| jquery.org/license /
	!function(e,t){"use strict";"object"==typeof module&&"object"==typeof module.exports?module.exports=e.document?t(e,!0):function(e){if(!e.document)throw new Error("jQuery requires a window with a document");return t(e)}:t(e)}("undefined"!=typeof window?window:this,function(e,t){"use strict";var n=[],r=e.document,i=Object.getPrototypeOf,o=n.slice,a=n.concat,s=n.push,u=n.indexOf,l={},c=l.toString,f=l.hasOwnProperty,p=f.toString,d=p.call(Object),h={},g=function e(t){return"function"==typeof t&&"number"!=typeof t.nodeType},y=function e(t){return null!=t&&t===t.window},v={type:!0,src:!0,noModule:!0};function m(e,t,n){var i,o=(t=t\|\|r).createElement

patrickt / Update.hs

Created October 2, 2018 17:03

	{-# LANGUAGE AllowAmbiguousTypes, DataKinds, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs,
	KindSignatures, MultiParamTypeClasses, ScopedTypeVariables, TypeApplications, TypeOperators #-}

	module Control.Monad.Effect.Update
	( Right (..)
	, Update (..)
	, runUpdate
	, update
	, query
	, test

Patrick Thomson patrickt