Setting phasers to stun... (port 3000) (ctrl-c to quit)
Setting phasers to stun... (port 3003) (ctrl-c to quit)
Setting phasers to stun... (port 3002) (ctrl-c to quit)
Setting phasers to stun... (port 3001) (ctrl-c to quit)
benchmarking renderText
time 6.612 ms (6.528 ms .. 6.686 ms)
0.999 R² (0.999 R² .. 1.000 R²)
mean 6.563 ms (6.546 ms .. 6.585 ms)
std dev 58.50 μs (43.10 μs .. 75.69 μs)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE DataKinds, TypeFamilies, ScopedTypeVariables, TypeOperators, GADTs, UndecidableInstances, FlexibleContexts #-} | |
module Main where | |
import GHC.TypeLits | |
import Data.Proxy | |
main :: IO () | |
main = print $ hlength (HCons "Hello" (HCons (1 :: Int) HNil)) | |
hlength :: forall xs. KnownNat (Length xs) => HList xs -> Integer |
objc[11695]: Class JavaLaunchHelper is implemented in both /Users/rahulmuttineni/.jenv/versions/1.8/bin/java and /Library/Java/JavaVirtualMachines/jdk1.8.0_102.jdk/Contents/Home/jre/lib/libinstrument.dylib. One of the two will be used. Which one is undefined.
[main] INFO eta.main - >> main(1=[])
[main] INFO eta.runtime.RtsConfig - >> getDefault()
[main] INFO eta.runtime.RtsFlags$RtsOptsEnabled - >> <clinit>()
[main] INFO eta.runtime.RtsFlags$RtsOptsEnabled - >> RtsFlags$RtsOptsEnabled(1=RtsOptsNone, 2=0)
[main] INFO eta.runtime.RtsFlags$RtsOptsEnabled - << RtsFlags$RtsOptsEnabled(1=RtsOptsNone, 2=0)
[main] INFO eta.runtime.RtsFlags$RtsOptsEnabled - >> RtsFlags$RtsOptsEnabled(1=RtsOptsSafeOnly, 2=1)
[main] INFO eta.runtime.RtsFlags$RtsOptsEnabled - << RtsFlags$RtsOptsEnabled(1=RtsOptsSafeOnly, 2=1)
[main] INFO eta.runtime.RtsFlags$RtsOptsEnabled - >> RtsFlags$RtsOptsEnabled(1=RtsOptsAll, 2=2)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
main :: IO () | |
main = putStrLn "Hello World!" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
import Control.Lens | |
import Data.Aeson | |
import Data.Aeson.Lens | |
import Data.Aeson.Encode.Pretty | |
import qualified Data.ByteString.Lazy.Char8 as BS | |
main :: IO () | |
main = do |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"id": 1, | |
"first_name": "Jerrold", | |
"last_name": "Hache", | |
"email": "[email protected]", | |
"gender": "Male", | |
"ip_address": "149.180.165.206", | |
"events": { | |
"clicks": 99 | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Example.Transform where | |
import Java | |
import Control.Lens | |
import Data.Aeson | |
import Data.Aeson.Lens | |
import Data.Text (Text) | |
import qualified Data.Text as T |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env stack | |
{- stack | |
--resolver lts-6.27 | |
--install-ghc | |
runghc | |
--package containers | |
-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE DataKinds #-} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
public static class id extends Function { | |
public Closure enter(StgContext context) { | |
// context.R(2) is the first argument of the function | |
// All id simply does is evaluate the argument - | |
// it cannot do much more! | |
return context.R(2).evaluate(context); | |
} | |
public int arity() { return 1; } | |
} |