Ertugrul Söylemez esoeylemez

esoeylemez / versions.hs

Created April 26, 2018 11:10

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE TypeFamilies #-}

	import Data.Functor.Const
	import Data.Functor.Identity


	data Nat = Z \| S Nat

esoeylemez / crc32.hs

Created April 20, 2018 07:09

	-- \|
	-- Copyright: (c) 2018 Ertugrul Söylemez
	-- License: BSD3
	-- Maintainer: Ertugrul Söylemez <[email protected]>

	{-# LANGUAGE BangPatterns #-}
	{-# LANGUAGE FlexibleContexts #-}

	module Crc32 (crc32M) where

esoeylemez / png-parser-bench.hs

Created April 17, 2018 08:29

	--
	-- Benchmark results at the bottom
	--

	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE OverloadedStrings #-}

	module Main where

	import Control.Monad

esoeylemez / reactive-banana-example.hs

Last active April 8, 2018 04:14

reactive-banana main loop example

	-- \|
	-- Copyright: (c) 2018 Ertugrul Söylemez
	-- License: BSD3
	-- Maintainer: Ertugrul Söylemez <[email protected]>

	{-# LANGUAGE OverloadedStrings #-}

	module Main (main) where

	import Control.Exception

esoeylemez / light.hs

Created April 5, 2018 01:35

esoeylemez / software-shadows.hs

Created January 25, 2018 14:43

	{-# LANGUAGE BangPatterns #-}
	{-# LANGUAGE OverloadedStrings #-}

	module Main where

	import Control.Exception
	import Control.Monad.Codensity
	import Control.Monad.Fix
	import Control.Monad.IO.Class
	import Control.Monad.ST

esoeylemez / stream-traversal-foldl.hs

Created September 20, 2017 10:25

	import Control.Applicative
	import Control.Foldl (FoldM(..))
	import Control.Monad
	import Data.Foldable
	import Data.Sequence ((\|>))


	chunksOf :: (Applicative m) => ([a] -> m ()) -> Int -> FoldM m a ()
	chunksOf yield n =
	FoldM go

esoeylemez / stream-traversal.hs

Created September 20, 2017 10:13

	import Control.Monad
	import Data.Foldable
	import Data.Sequence ((\|>))


	data Trav a m r = Trav (a -> m (Trav a m r)) (m r)


	chunksOf :: (Applicative m) => ([a] -> m ()) -> Int -> Trav a m ()
	chunksOf yield n = go mempty

esoeylemez / rings-and-fields.hs

Created September 20, 2017 09:32

	{-# LANGUAGE DefaultSignatures #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeFamilyDependencies #-}

	import Data.Monoid


	class (Monoid a) => Inverse a where

esoeylemez / sdl-example-develmain.hs

Created July 1, 2017 15:44

	-- \|
	-- Copyright: (c) 2017 Ertugrul Söylemez
	-- License: BSD3
	-- Maintainer: Ertugrul Söylemez <[email protected]>

	module DevelMain (update) where

	import Control.Concurrent
	import Control.Concurrent.Async
	import Control.Exception