Tony Morris tonymorris

Most of my repositories are moving to gitlab.com

tonymorris / Natural.hs

Created December 4, 2025 01:07

	{-# OPTIONS_GHC -Wall #-}

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE MultiParamTypeClasses #-}

tonymorris / filter.hs

Last active July 8, 2025 23:41

tonymorris / vh-rmv-wb.md

Last active May 10, 2025 04:36

VH-RMV W&B

tonymorris / pure-functional-io.clj

Last active November 22, 2024 03:23

	;; Pure functional I/O using clojure
	;; =================================
	;;
	;; Defines a grammar of three operations in `defrecord Operation` using the free monad technique
	;; 1. read file
	;; 2. write file
	;; 3. print to standard output
	;;
	;; Defines I/O operations by combining the Operation grammar in `defrecord IO`
	;;

tonymorris / skipRight.hs

Last active March 17, 2022 23:01

tonymorris / ValidationT.hs

Created December 10, 2021 00:47

	import Control.Applicative(Alternative(..), liftA2)

	newtype ValidationT f a b =
	ValidationT (f (Either a b))

	instance Functor f => Functor (ValidationT f a) where
	fmap f (ValidationT x) =
	ValidationT (fmap (fmap f) x)

	instance Applicative f => Applicative (ValidationT f a) where

tonymorris / c182_wb.hs

Last active October 26, 2021 05:39

	#!/usr/bin/env runhaskell

	module Main where

	import Text.Printf(printf)
	import Data.List(intercalate)
	import Data.Bool (bool)

	kg2lb =
	(*2.2)

tonymorris / main.hs

Created July 2, 2021 06:54 — forked from gregberns/main.hs

How to make a Foldable Instance with multiple parameters

	import Data.Monoid

	-- This code doesn't work...
	-- How can you make a multi-parameter data type be Foldable?

	-- foldMap over `a` so it can be converted to a Monoid
	data BinaryTree3 a v
	= Node3 a (BinaryTree3 a v) (BinaryTree3 a v)
	\| Leaf3 a v
	deriving (Show)

tonymorris / 1-in-60-error.hs

Last active June 10, 2021 22:19

	#!/usr/bin/env runhaskell

	import Text.Printf

	fromRadian a = a / pi * 180
	toRadian a = a / 180 * pi
	showDiff :: Int -> String
	showDiff x =
	let x' = toRadian (fromIntegral x)
	diff = fromRadian (x' - sin x')

tonymorris / echo.hs

Last active June 9, 2021 11:21