JordanMartinez

JordanMartinez / optics.hs

Created June 7, 2019 20:52 — forked from emilypi/optics.hs

	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE TupleSections #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE TypeInType #-}
	{-# LANGUAGE GADTs #-}
	module Data.Sheaves.Optics where


	type a + b = Either a b

JordanMartinez / Modern FP with mtl.purs

Last active March 19, 2021 06:55 — forked from ocharles/Modern FP with mtl.hs

Purescript port of the original Haskell "Modern FP with MTL"

	module Modern_FP_With_MTL where

	import Effect.Console as Console
	import Effect (Effect)
	import Effect.Class (class MonadEffect, liftEffect)
	import Control.Monad.Trans.Class (class MonadTrans, lift)
	import Prelude

	{-
	Since Purescript does not have Haskell's "GeneralizedNewtypeDeriving" language