Skip to content

Instantly share code, notes, and snippets.

View reactormonk's full-sized avatar

Simon Hafner reactormonk

223 followers · 44 following
  • Berlin
View GitHub Profile
@reactormonk
reactormonk / Types.hs
Last active September 3, 2017 23:33
data JSONTypeF l a =
JSONTypeF
{ jsObject :: (Compose Maybe (Label l)) (JObject a)
, jsArray :: (Compose Maybe (Label l)) (JArray a)
, jsInvalidArray :: (Compose Maybe (Label l)) (JInvalidArray a)
, jsString :: (Compose Maybe (Label l)) JString
, jsNumber :: (Compose Maybe (Label l)) JNumber
, jsBool :: (Compose Maybe (Label l)) JBool
, jsNull :: (Compose Maybe (Label l)) JNull
} deriving (Generic, Functor, Eq)
@reactormonk
reactormonk / Spec.hs
Created August 30, 2017 14:13
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE OverloadedStrings #-}
import Data.Aeson.QQ
import Data.Aeson (Value)
import Test.Hspec
import Control.Comonad.Cofree
import Data.Functor.Compose
import qualified Data.Vector as Vector
import Data.Semigroup
@reactormonk
reactormonk / *Flycheck errors*.txt
Created August 28, 2017 15:54
89 11 error error:
• Couldn't match type ‘Group b’ with ‘HashMap.HashMap Text t0’
Expected type: m (HashMap.HashMap Text t0
-> JSONTypeF a -> b -> JSONTypeF t0 -> JSONTypeF a -> ())
Actual type: (JSONTypeF t0
-> JSONTypeF a -> JSONTypeF t0 -> JSONTypeF a -> ())
-> Group b -> JSONTypeF a -> b -> JSONTypeF t0 -> JSONTypeF a -> ()
• Possible cause: ‘flip’ is applied to too many arguments
In a stmt of a 'do' block: kb <- flip getGroup
In the expression:
@reactormonk
reactormonk / bucket.hs
Last active August 17, 2017 13:19
#!/usr/bin/stack
{- stack --install-ghc
--resolver lts-9.0
script
--compile
--package bytestring
--package conduit
--package lens
--package conduit-combinators
--package conduit-extra
@reactormonk
reactormonk / sample.hs
Created August 17, 2017 12:52
sample :: Monad m => Int -> ConduitM a a m ()
sample every =
whileM_ (pure True) $ do
dropC (every -1)
takeC 1
@reactormonk
reactormonk / batch.hs
Created August 17, 2017 12:30
#!/usr/bin/stack
{- stack --install-ghc
--resolver lts-9.0
script
--compile
--package bytestring
--package conduit
--package lens
--package conduit-combinators
--package conduit-extra
@reactormonk
reactormonk / batch.hs
Created August 17, 2017 10:02
#!/usr/bin/stack
{- stack --install-ghc
--resolver lts-9.0
script
--compile
--package bytestring
--package conduit
--package lens
--package conduit-combinators
--package conduit-extra
@reactormonk
reactormonk / tailRecM.scala
Created July 6, 2017 13:51
import scala.collection.mutable
object IteratorUtils {
def tailRecM[State, Out](initial: State)(more: State => Iterator[Either[State, Out]]): Iterator[Out] = {
new Iterator[Out] {
private val states: mutable.Queue[State] = mutable.Queue(initial)
private var nextElement: Option[Out] = None
private var moreHolder: Option[Iterator[Either[State, Out]]] = None
def next: Out = {
@reactormonk
reactormonk / reveal.html
Created June 27, 2017 12:37
<!DOCTYPE html>
<html>
<head>
<title>Title</title>
<meta charset="utf-8">
<style>
@import url(https://fonts.googleapis.com/css?family=Yanone+Kaffeesatz);
@import url(https://fonts.googleapis.com/css?family=Droid+Serif:400,700,400italic);
@import url(https://fonts.googleapis.com/css?family=Ubuntu+Mono:400,700,400italic);
body { font-family: 'Droid Serif'; }
@reactormonk
reactormonk / test.hs
Created June 25, 2017 16:26
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}
import GHC.Generics
import Data.Aeson
import Data.Text as T
import Data.Aeson.Types
data OAuth2Token = OAuth2Token {
accessToken :: Text