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"
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |
JordanMartinez
/ optics.hs
Created
June 7, 2019 20:52
— forked from emilypi/optics.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE TupleSections #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE TypeInType #-} | |
| {-# LANGUAGE GADTs #-} | |
| module Data.Sheaves.Optics where | |
| type a + b = Either a b |