Pepe Iborra pepeiborra

Functional programmer

isovector / Clowns.hs

Created January 23, 2022 21:47

blog post: review of clowns and jokers

	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE DerivingVia #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE NoStarIsType #-}
	{-# LANGUAGE PatternSynonyms #-}

gelisam / Handler.hs

Last active October 18, 2023 12:29

A variant of my FunDay-based composable handlers which is compatible with ExceptT and friends.

	-- A variant of https://gist.github.com/gelisam/d9b067a1ef78670d6e4c67b18740bbea
	-- which suports ExceptT. Kind of.
	{-# LANGUAGE FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, PolyKinds, RankNTypes, TupleSections, TypeOperators, UndecidableInstances #-}
	module Main where
	import Test.DocTest

	import Control.Monad.Except
	import Control.Monad.Reader
	import Control.Monad.State
	import Control.Monad.Writer

gelisam / FunDay.hs

Last active May 12, 2024 06:20

a concrete use for FunDay, the right-adjoint of Day

	-- A concrete use case for the type which is to '(->)' as 'Day' is to '(,)'.
	-- I call it "FunDay", but I don't know what its proper name is. I've been
	-- trying to find a use for 'FunDay', and I think I've found a pretty neat one.

	{-# LANGUAGE FlexibleContexts, FlexibleInstances, PolyKinds, RankNTypes, TypeSynonymInstances #-}
	module Main where
	import Test.DocTest

	import Control.Monad.Except
	import Control.Monad.Reader