Skip to content

Instantly share code, notes, and snippets.

View JordanMartinez's full-sized avatar

JordanMartinez

  • USA
View GitHub Profile
@JordanMartinez
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
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE GADTs #-}
module Data.Sheaves.Optics where
type a + b = Either a b