Leary LSLeary

LSLeary / Collapse.hs

Last active November 19, 2024 09:08 — forked from VictorTaelin/collapse_monad.hs

A* Collapse Monad (see https://www.reddit.com/r/haskell/comments/1gu476s/the_collapse_monad/lxsyge6/)

	{-# LANGUAGE LambdaCase #-}

	module Collapse where

	-- base
	import Data.Functor ((<&>))
	import Data.Functor.Classes (Show1)
	import Data.Foldable (toList)
	import Control.Monad (ap)

LSLeary / Graded.hs

Last active November 8, 2024 04:36 — forked from axman6/Tracked Exceptions.hs

Checked exceptions implemented by grading IO with the set of exceptions an action may throw.

	{-# LANGUAGE DataKinds, TypeFamilies, UndecidableInstances, RoleAnnotations
	, QuantifiedConstraints, RebindableSyntax, BlockArguments
	, RequiredTypeArguments
	#-}

	module Graded (

	GradedAppl(..), (<>), (<), (*>),
	GradedAlt(..),
	GradedMonad(..), (>>),