├── .gitignore ├── LICENSE ├── README.md ├── Setup.hs ├── docs ├── eabstract.pdf ├── fita.key ├── haskell14-2.key │ ├── Data │ │ ├── 110809_FamilyChineseOahu_EN_00317_2040x1360-small-12.jpg │ │ ├── 110809_FamilyChineseOahu_EN_02016_981x654-small-14.jpg │ │ ├── 110809_FamilyChineseOahu_EN_02390_2880x1921-small-10.jpg │ │ ├── Colour logo RGB_DM-192.png │ │ ├── Colour logo RGB_DM-small-193.png │ │ ├── mt0@2x-185.jpg │ │ ├── mt10@2x-87.jpg │ │ ├── mt1@2x-2161.jpg │ │ ├── mt1@2x-650.jpg │ │ ├── mt2@2x-79.jpg │ │ ├── mt3@2x-2162.jpg │ │ ├── mt4@2x-81.jpg │ │ ├── mt5@2x-194.jpg │ │ ├── mt5@2x-222.jpg │ │ ├── mt5@2x-82.jpg │ │ ├── mt6@2x-2163.jpg │ │ ├── mt7@2x-84.jpg │ │ ├── mt8@2x-2164.jpg │ │ ├── mt9@2x-86.jpg │ │ ├── pasted-image-577.pdf │ │ ├── pasted-image-small-578.png │ │ ├── st1-3380.jpg │ │ ├── st15-3108.jpg │ │ ├── st18-3092.jpg │ │ ├── st18-3308.jpg │ │ ├── st2-178.jpg │ │ ├── st2-2144.jpg │ │ ├── st20-3320.jpg │ │ ├── st22-2438.jpg │ │ ├── st28-3360.jpg │ │ ├── st3-2146.jpg │ │ ├── st4-2774.jpg │ │ ├── st5-1301.jpg │ │ └── st5-2773.jpg │ ├── Index.zip │ ├── Metadata │ │ ├── BuildVersionHistory.plist │ │ ├── DocumentIdentifier │ │ └── Properties.plist │ ├── preview-micro.jpg │ ├── preview-web.jpg │ └── preview.jpg ├── haskell14.key │ ├── Data │ │ ├── 110809_FamilyChineseOahu_EN_00317_2040x1360-small-12.jpg │ │ ├── 110809_FamilyChineseOahu_EN_02016_981x654-small-14.jpg │ │ ├── 110809_FamilyChineseOahu_EN_02390_2880x1921-small-10.jpg │ │ ├── Colour logo RGB_DM-2023.png │ │ ├── Colour logo RGB_DM-small-2024.png │ │ ├── mt0@2x-88.jpg │ │ ├── mt10@2x-87.jpg │ │ ├── mt1@2x-501.jpg │ │ ├── mt1@2x-90.jpg │ │ ├── mt2@2x-91.jpg │ │ ├── mt3@2x-92.jpg │ │ ├── mt4@2x-93.jpg │ │ ├── mt5@2x-575.jpg │ │ ├── mt5@2x-89.jpg │ │ ├── mt6@2x-94.jpg │ │ ├── mt7@2x-95.jpg │ │ ├── mt8@2x-85.jpg │ │ ├── mt9@2x-96.jpg │ │ ├── st0-2040.jpg │ │ ├── st1-2083.jpg │ │ ├── st11-1963.jpg │ │ ├── st12-1141.jpg │ │ ├── st12-1742.jpg │ │ ├── st13-1219.jpg │ │ ├── st15-1315.jpg │ │ ├── st15-1965.jpg │ │ ├── st17-1999.jpg │ │ ├── st18-2060.jpg │ │ ├── st19-1439.jpg │ │ ├── st2-754.jpg │ │ ├── st20-1957.jpg │ │ ├── st20-2078.jpg │ │ ├── st22-2081.jpg │ │ ├── st23-2080.jpg │ │ ├── st3-2046.jpg │ │ ├── st3-648.jpg │ │ ├── st4-1946.jpg │ │ ├── st5-741.jpg │ │ ├── st6-1795.jpg │ │ ├── st7-914.jpg │ │ └── st8-938.jpg │ ├── Index.zip │ ├── Metadata │ │ ├── BuildVersionHistory.plist │ │ ├── DocumentIdentifier │ │ └── Properties.plist │ ├── preview-micro.jpg │ ├── preview-web.jpg │ └── preview.jpg ├── index.html └── ixmonad-fita14.pdf ├── effect-monad.cabal ├── examples ├── ArrayReader.hs ├── AtomicState.hs ├── Counter.hs ├── CounterNat.hs ├── ExtensibleState.hs ├── ImplicitP.hs ├── Maybe.hs ├── Monad.hs ├── Problem1.hs ├── ReadOnceReader.hs ├── Reader.hs ├── SafeFiles.hs ├── Solution1.hs ├── Solution2.hs ├── State.hs ├── StencilSpecs.hs ├── Update.hs ├── WriteOnceWriter.hs └── Writer.hs ├── src └── Control │ ├── Coeffect.hs │ ├── Coeffect │ └── Coreader.hs │ ├── Effect.hs │ └── Effect │ ├── Cond.hs │ ├── Counter.hs │ ├── CounterNat.hs │ ├── Helpers │ └── List.hs │ ├── Maybe.hs │ ├── Monad.hs │ ├── Parameterised.hs │ ├── Parameterised │ ├── AtomicState.hs │ ├── ExtensibleState.hs │ ├── SafeFiles.hs │ └── State.hs │ ├── ParameterisedAsGraded.hs │ ├── ReadOnceReader.hs │ ├── Reader.hs │ ├── State.hs │ ├── Update.hs │ ├── Vector.hs │ ├── WriteOnceWriter.hs │ └── Writer.hs └── stack.yaml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/Setup.hs -------------------------------------------------------------------------------- /docs/eabstract.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/eabstract.pdf -------------------------------------------------------------------------------- /docs/fita.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/fita.key -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/110809_FamilyChineseOahu_EN_00317_2040x1360-small-12.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/110809_FamilyChineseOahu_EN_00317_2040x1360-small-12.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/110809_FamilyChineseOahu_EN_02016_981x654-small-14.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/110809_FamilyChineseOahu_EN_02016_981x654-small-14.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/110809_FamilyChineseOahu_EN_02390_2880x1921-small-10.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/110809_FamilyChineseOahu_EN_02390_2880x1921-small-10.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/Colour logo RGB_DM-192.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/Colour logo RGB_DM-192.png -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/Colour logo RGB_DM-small-193.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/Colour logo RGB_DM-small-193.png -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt0@2x-185.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt0@2x-185.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt10@2x-87.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt10@2x-87.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt1@2x-2161.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt1@2x-2161.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt1@2x-650.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt1@2x-650.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt2@2x-79.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt2@2x-79.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt3@2x-2162.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt3@2x-2162.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt4@2x-81.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt4@2x-81.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt5@2x-194.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt5@2x-194.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt5@2x-222.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt5@2x-222.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt5@2x-82.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt5@2x-82.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt6@2x-2163.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt6@2x-2163.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt7@2x-84.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt7@2x-84.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt8@2x-2164.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt8@2x-2164.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/mt9@2x-86.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/mt9@2x-86.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/pasted-image-577.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/pasted-image-577.pdf -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/pasted-image-small-578.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/pasted-image-small-578.png -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st1-3380.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st1-3380.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st15-3108.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st15-3108.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st18-3092.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st18-3092.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st18-3308.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st18-3308.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st2-178.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st2-178.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st2-2144.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st2-2144.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st20-3320.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st20-3320.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st22-2438.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st22-2438.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st28-3360.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st28-3360.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st3-2146.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st3-2146.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st4-2774.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st4-2774.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st5-1301.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st5-1301.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Data/st5-2773.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Data/st5-2773.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/Index.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Index.zip -------------------------------------------------------------------------------- /docs/haskell14-2.key/Metadata/BuildVersionHistory.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Metadata/BuildVersionHistory.plist -------------------------------------------------------------------------------- /docs/haskell14-2.key/Metadata/DocumentIdentifier: -------------------------------------------------------------------------------- 1 | 8C3AF342-D2A7-4849-B3F3-487A34347573 -------------------------------------------------------------------------------- /docs/haskell14-2.key/Metadata/Properties.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/Metadata/Properties.plist -------------------------------------------------------------------------------- /docs/haskell14-2.key/preview-micro.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/preview-micro.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/preview-web.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/preview-web.jpg -------------------------------------------------------------------------------- /docs/haskell14-2.key/preview.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14-2.key/preview.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/110809_FamilyChineseOahu_EN_00317_2040x1360-small-12.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/110809_FamilyChineseOahu_EN_00317_2040x1360-small-12.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/110809_FamilyChineseOahu_EN_02016_981x654-small-14.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/110809_FamilyChineseOahu_EN_02016_981x654-small-14.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/110809_FamilyChineseOahu_EN_02390_2880x1921-small-10.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/110809_FamilyChineseOahu_EN_02390_2880x1921-small-10.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/Colour logo RGB_DM-2023.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/Colour logo RGB_DM-2023.png -------------------------------------------------------------------------------- /docs/haskell14.key/Data/Colour logo RGB_DM-small-2024.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/Colour logo RGB_DM-small-2024.png -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt0@2x-88.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt0@2x-88.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt10@2x-87.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt10@2x-87.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt1@2x-501.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt1@2x-501.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt1@2x-90.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt1@2x-90.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt2@2x-91.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt2@2x-91.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt3@2x-92.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt3@2x-92.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt4@2x-93.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt4@2x-93.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt5@2x-575.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt5@2x-575.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt5@2x-89.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt5@2x-89.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt6@2x-94.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt6@2x-94.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt7@2x-95.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt7@2x-95.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt8@2x-85.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt8@2x-85.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/mt9@2x-96.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/mt9@2x-96.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st0-2040.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st0-2040.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st1-2083.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st1-2083.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st11-1963.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st11-1963.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st12-1141.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st12-1141.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st12-1742.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st12-1742.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st13-1219.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st13-1219.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st15-1315.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st15-1315.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st15-1965.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st15-1965.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st17-1999.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st17-1999.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st18-2060.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st18-2060.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st19-1439.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st19-1439.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st2-754.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st2-754.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st20-1957.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st20-1957.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st20-2078.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st20-2078.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st22-2081.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st22-2081.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st23-2080.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st23-2080.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st3-2046.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st3-2046.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st3-648.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st3-648.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st4-1946.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st4-1946.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st5-741.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st5-741.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st6-1795.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st6-1795.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st7-914.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st7-914.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Data/st8-938.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Data/st8-938.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/Index.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Index.zip -------------------------------------------------------------------------------- /docs/haskell14.key/Metadata/BuildVersionHistory.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Metadata/BuildVersionHistory.plist -------------------------------------------------------------------------------- /docs/haskell14.key/Metadata/DocumentIdentifier: -------------------------------------------------------------------------------- 1 | 75258A80-6C5F-407E-BE8A-F5E439FA2E8A -------------------------------------------------------------------------------- /docs/haskell14.key/Metadata/Properties.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/Metadata/Properties.plist -------------------------------------------------------------------------------- /docs/haskell14.key/preview-micro.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/preview-micro.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/preview-web.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/preview-web.jpg -------------------------------------------------------------------------------- /docs/haskell14.key/preview.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/haskell14.key/preview.jpg -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/ixmonad-fita14.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/docs/ixmonad-fita14.pdf -------------------------------------------------------------------------------- /effect-monad.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/effect-monad.cabal -------------------------------------------------------------------------------- /examples/ArrayReader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/ArrayReader.hs -------------------------------------------------------------------------------- /examples/AtomicState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/AtomicState.hs -------------------------------------------------------------------------------- /examples/Counter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Counter.hs -------------------------------------------------------------------------------- /examples/CounterNat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/CounterNat.hs -------------------------------------------------------------------------------- /examples/ExtensibleState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/ExtensibleState.hs -------------------------------------------------------------------------------- /examples/ImplicitP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/ImplicitP.hs -------------------------------------------------------------------------------- /examples/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Maybe.hs -------------------------------------------------------------------------------- /examples/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Monad.hs -------------------------------------------------------------------------------- /examples/Problem1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Problem1.hs -------------------------------------------------------------------------------- /examples/ReadOnceReader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/ReadOnceReader.hs -------------------------------------------------------------------------------- /examples/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Reader.hs -------------------------------------------------------------------------------- /examples/SafeFiles.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/SafeFiles.hs -------------------------------------------------------------------------------- /examples/Solution1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Solution1.hs -------------------------------------------------------------------------------- /examples/Solution2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Solution2.hs -------------------------------------------------------------------------------- /examples/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/State.hs -------------------------------------------------------------------------------- /examples/StencilSpecs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/StencilSpecs.hs -------------------------------------------------------------------------------- /examples/Update.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Update.hs -------------------------------------------------------------------------------- /examples/WriteOnceWriter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/WriteOnceWriter.hs -------------------------------------------------------------------------------- /examples/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/examples/Writer.hs -------------------------------------------------------------------------------- /src/Control/Coeffect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Coeffect.hs -------------------------------------------------------------------------------- /src/Control/Coeffect/Coreader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Coeffect/Coreader.hs -------------------------------------------------------------------------------- /src/Control/Effect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect.hs -------------------------------------------------------------------------------- /src/Control/Effect/Cond.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Cond.hs -------------------------------------------------------------------------------- /src/Control/Effect/Counter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Counter.hs -------------------------------------------------------------------------------- /src/Control/Effect/CounterNat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/CounterNat.hs -------------------------------------------------------------------------------- /src/Control/Effect/Helpers/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Helpers/List.hs -------------------------------------------------------------------------------- /src/Control/Effect/Maybe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Maybe.hs -------------------------------------------------------------------------------- /src/Control/Effect/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Monad.hs -------------------------------------------------------------------------------- /src/Control/Effect/Parameterised.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Parameterised.hs -------------------------------------------------------------------------------- /src/Control/Effect/Parameterised/AtomicState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Parameterised/AtomicState.hs -------------------------------------------------------------------------------- /src/Control/Effect/Parameterised/ExtensibleState.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Parameterised/ExtensibleState.hs -------------------------------------------------------------------------------- /src/Control/Effect/Parameterised/SafeFiles.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Parameterised/SafeFiles.hs -------------------------------------------------------------------------------- /src/Control/Effect/Parameterised/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Parameterised/State.hs -------------------------------------------------------------------------------- /src/Control/Effect/ParameterisedAsGraded.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/ParameterisedAsGraded.hs -------------------------------------------------------------------------------- /src/Control/Effect/ReadOnceReader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/ReadOnceReader.hs -------------------------------------------------------------------------------- /src/Control/Effect/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Reader.hs -------------------------------------------------------------------------------- /src/Control/Effect/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/State.hs -------------------------------------------------------------------------------- /src/Control/Effect/Update.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Update.hs -------------------------------------------------------------------------------- /src/Control/Effect/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Vector.hs -------------------------------------------------------------------------------- /src/Control/Effect/WriteOnceWriter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/WriteOnceWriter.hs -------------------------------------------------------------------------------- /src/Control/Effect/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/src/Control/Effect/Writer.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effect-monad/HEAD/stack.yaml --------------------------------------------------------------------------------