tomsmalley

Keybase proof

I hereby claim:

• I am tomsmalley on github.
• I am tomsmalley (https://keybase.io/tomsmalley) on keybase.
• I have a public key ASDKi-UA7ZFZTCysKE4F_nYvCqYd4XM4jFnV5wfId4wTaAo

To claim this, I am signing this object:

tomsmalley

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))

tomsmalley

{ 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";

tomsmalley

[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’

tomsmalley

{-# 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

tomsmalley

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