Tom Smalley tomsmalley

I hereby claim:

To claim this, I am signing this object:

	data Flow t m a
	= FlowPure a
	\| Flow (m (Event t a))

	runFlow :: PostBuild t m => Flow t m a -> m (Event t a)
	runFlow = \case
	FlowPure a -> (a <$) <$> getPostBuild
	Flow m -> m

	runFlowEither :: Applicative m => Flow t m a -> m (Either a (Event t a))

	{ mkDerivation, base, exeBuildDepends, exeBuildToolDepends
	, exeBuildTools, exeExtraLibraries, exePkgConfig, intBuildDepends
	, intBuildToolDepends, intBuildTools, intExtraLibraries
	, intPkgConfig, libBuildDepends, libBuildToolDepends, libBuildTools
	, libExtraLibraries, libPkgConfig, stdenv, testBuildDepends
	, testBuildToolDepends, testBuildTools, testExtraLibraries
	, testPkgConfig
	}:
	mkDerivation {
	pname = "example";

	[1 of 1] Compiling Main ( polykinds.hs, polykinds.o )

	polykinds.hs:14:24: error:
	• Expected kind ‘k’, but ‘Void’ has kind ‘*’
	• In the first argument of ‘Test’, namely ‘Void’
	In the type signature:
	test :: Test Void b => b -> Proxy a
	In the class declaration for ‘Test’

	{-# LANGUAGE OverloadedStrings #-}

	-- \| Testing speed differences between dynamic and static dom generation
	module Main where

	import Control.Monad (replicateM_, (<=<), void)
	import Control.Monad.Fix (MonadFix)
	import Data.Text (Text)
	import Reflex
	import Reflex.Dom.Core

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveDataTypeable #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE RecordWildCards #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE ScopedTypeVariables #-}