ddrone’s gists

ddrone / prefix_function.py

Created August 29, 2023 19:52

ddrone / Dfs.hs

Created October 14, 2015 08:36

	module Dfs where

	import Control.Monad.State
	import Data.IntMap (IntMap)
	import Data.IntSet (IntSet)
	import Data.Maybe (fromMaybe)
	import qualified Data.IntMap as IntMap
	import qualified Data.IntSet as IntSet

	type Vertex = Int

ddrone / Lecture1.hs

Created June 26, 2015 12:18

Raw notes from Patterns of Functional Programming course from Midlands Graduate School 2015

	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# OPTIONS -Wall -fno-warn-orphans #-}
	module Lecture1 where

	import Data.List (partition)

ddrone / Main.hs

Created December 6, 2014 16:11

ProjectEuler score calculator

	module Main where

	import Control.Monad
	import Data.Functor ((<$>))
	import Text.HTML.TagSoup

	extractData tags =
	case dropWhile (~/= "<td class=problem_solved>") tags of
	[] -> []
	ls@(hd : tl) -> (take 8 ls : extractData tl)

ddrone / Lecture6.hs

Created October 10, 2014 11:23

	{-# LANGUAGE TypeOperators #-}

	module Lecture6 where

	import Control.Applicative
	import Control.Monad.State hiding (sequence)
	import Data.Char (isSpace)
	import Data.Monoid hiding (getAll)
	import Prelude hiding (sequence)

ddrone / Typelevel.hs

Created July 28, 2014 11:49

	{-# LANGUAGE UndecidableInstances #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	module Typelevel where

	import Prelude hiding (sum)

	-- type-level natural numbers
	data Zero = Zero

ddrone / Indexed.hs

Created June 23, 2014 19:53

	module Indexed where

	import Prelude hiding ((>>=), (>>))

	class IxFunctor f where
	imap :: (a -> b) -> f j k a -> f j k b

	class IxFunctor f => IxPointed f where
	ireturn :: a -> f i i a

ddrone / Streams.hs

Created April 28, 2014 21:29

	{-# OPTIONS_GHC -Wall #-}
	{-# LANGUAGE FlexibleInstances, TupleSections #-}

	import Prelude hiding (repeat)

	class Functor w => Comonad w where
	extract :: w a -> a
	extend :: (w a -> b) -> (w a -> w b)

	data Product e a = Product e a

ddrone / Rotate.elm

Created February 9, 2014 14:51

ddrone / Refresher.agda

Created October 25, 2013 23:20