Tatsuya Hirose lotz84

Disclaimer 1: Type classes are great but they are not the right tool for every job. Enjoy some balance and balance to your balance.

Disclaimer 2: I should tidy this up but probably won’t.

Disclaimer 3: Yeah called it, better to be realistic.

Type classes are a language of their own, this is an attempt to document features and give a name to them.

Swagger入門

Swaggerをつかってマシンリーダブルな環境を整備する

Suppose you're opening an issue and there's a lot noisey logs that may be useful.

Rather than wrecking readability, wrap it in a <details> tag!

<details>
 Summary Goes Here

löb is a well-known function in Haskell for implementing spreadsheet-like behaviors and tying the knot. It is defined as:

loeb :: Functor f => f (f a -> a) -> f a
loeb fs = xs
  where xs = fmap ($ xs) fs

	{-# LANGUAGE CPP #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE FlexibleInstances, FlexibleContexts #-}
	{-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeOperators, UndecidableInstances #-}

	#if __GLASGOW_HASKELL__ < 708
	#error "requires GHC 7.10 or newer"
	#endif
	module Main (main) where

	#!/usr/bin/env stack
	-- stack --resolver=lts-6.0 runghc --package constraints --package mtl --package lens --package text --package time
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, ConstraintKinds, UndecidableInstances, ScopedTypeVariables, InstanceSigs, OverloadedStrings, TemplateHaskell #-}

	-- This is short gist about problem I run today into,

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeSynonymInstances #-}

	{-# LANGUAGE ScopedTypeVariables #-}
	module Main where

	import Network ( withSocketsDo, listenOn, PortID(..) )
	import Network.Socket ( accept, close, recv, send, Socket )
	import Control.Concurrent ( forkIO, threadDelay, ThreadId )
	import Control.Concurrent.STM ( atomically
	, orElse
	, newTChan
	, readTChan

	{-# LANGUAGE DefaultSignatures #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE ScopedTypeVariables #-}

	module GenericsTypeName
	( TypeName(..)
	, readBS
	) where

	import Data.ByteString (ByteString)