├── .gitignore ├── .hlint.hs ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── Setup.hs ├── changelog.md ├── examples ├── applicative │ ├── bankers │ │ ├── Main.hs │ │ ├── MainMinimalBug.hs │ │ └── bankers.cabal │ └── ll1-parser │ │ ├── Main.hs │ │ ├── MainSuperapplicative.hs │ │ └── ll1-parser-example.cabal ├── monad │ ├── constrained │ │ ├── .gitignore │ │ ├── MainSet.hs │ │ └── constrained-example.cabal │ ├── effect │ │ ├── .gitignore │ │ ├── Main.hs │ │ ├── Main2.hs │ │ ├── Main3.hs │ │ ├── MainSupermonad.hs │ │ ├── MainSupermonad2.hs │ │ ├── MainSupermonad3.hs │ │ ├── Vector.hs │ │ └── effect-example.cabal │ ├── hmtc │ │ ├── monad-param │ │ │ ├── .gitignore │ │ │ ├── AST.hs │ │ │ ├── CodeGenMonad.hs │ │ │ ├── CodeGenerator.hs │ │ │ ├── Diagnostics.hs │ │ │ ├── Env.hs │ │ │ ├── LibMT.hs │ │ │ ├── MTIR.hs │ │ │ ├── MTStdEnv.hs │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── Name.hs │ │ │ ├── PPAST.hs │ │ │ ├── PPMTIR.hs │ │ │ ├── PPTAMCode.hs │ │ │ ├── PPUtilities.hs │ │ │ ├── ParseMonad.hs │ │ │ ├── Parser.y │ │ │ ├── Scanner.hs │ │ │ ├── ScopeLevel.hs │ │ │ ├── SrcPos.hs │ │ │ ├── Symbol.hs │ │ │ ├── TAMCode.hs │ │ │ ├── TAMCodeParser.y │ │ │ ├── TAMInterpreter.hs │ │ │ ├── Token.hs │ │ │ ├── Type.hs │ │ │ ├── TypeChecker.hs │ │ │ └── hmtc-monad-param.cabal │ │ ├── original │ │ │ ├── .gitignore │ │ │ ├── AST.hs │ │ │ ├── CodeGenMonad.hs │ │ │ ├── CodeGenerator.hs │ │ │ ├── Diagnostics.hs │ │ │ ├── Env.hs │ │ │ ├── LibMT.hs │ │ │ ├── MTIR.hs │ │ │ ├── MTStdEnv.hs │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── Name.hs │ │ │ ├── PPAST.hs │ │ │ ├── PPMTIR.hs │ │ │ ├── PPTAMCode.hs │ │ │ ├── PPUtilities.hs │ │ │ ├── ParseMonad.hs │ │ │ ├── Parser.y │ │ │ ├── Scanner.hs │ │ │ ├── ScopeLevel.hs │ │ │ ├── SrcPos.hs │ │ │ ├── Symbol.hs │ │ │ ├── TAMCode.hs │ │ │ ├── TAMCodeParser.y │ │ │ ├── TAMInterpreter.hs │ │ │ ├── Token.hs │ │ │ ├── Type.hs │ │ │ ├── TypeChecker.hs │ │ │ └── hmtc-orig.cabal │ │ ├── supermonad │ │ │ ├── .gitignore │ │ │ ├── AST.hs │ │ │ ├── CodeGenMonad.hs │ │ │ ├── CodeGenerator.hs │ │ │ ├── Diagnostics.hs │ │ │ ├── Env.hs │ │ │ ├── LibMT.hs │ │ │ ├── MTIR.hs │ │ │ ├── MTStdEnv.hs │ │ │ ├── Main.hs │ │ │ ├── Makefile │ │ │ ├── Name.hs │ │ │ ├── PPAST.hs │ │ │ ├── PPMTIR.hs │ │ │ ├── PPTAMCode.hs │ │ │ ├── PPUtilities.hs │ │ │ ├── ParseMonad.hs │ │ │ ├── Parser.y │ │ │ ├── Scanner.hs │ │ │ ├── ScopeLevel.hs │ │ │ ├── SrcPos.hs │ │ │ ├── Symbol.hs │ │ │ ├── TAMCode.hs │ │ │ ├── TAMCodeParser.y │ │ │ ├── TAMInterpreter.hs │ │ │ ├── TestTAM.hs │ │ │ ├── Token.hs │ │ │ ├── Type.hs │ │ │ ├── TypeChecker.hs │ │ │ └── hmtc-supermonad.cabal │ │ └── test-files │ │ │ ├── fac.mt │ │ │ ├── incdec.mt │ │ │ ├── matmult.mt │ │ │ ├── overloading.mt │ │ │ ├── records.mt │ │ │ ├── sort.mt │ │ │ ├── test1.mt │ │ │ ├── test2.mt │ │ │ ├── test3.mt │ │ │ ├── test4.mt │ │ │ ├── test5.mt │ │ │ └── test6.mt │ ├── minimal │ │ ├── MinimalMain.hs │ │ └── minimal.cabal │ ├── session-chat │ │ ├── original │ │ │ ├── .gitignore │ │ │ ├── Client.hs │ │ │ ├── Main.hs │ │ │ ├── Server.hs │ │ │ ├── Types.hs │ │ │ ├── Utility.hs │ │ │ └── session-chat-orig-example.cabal │ │ └── supermonad │ │ │ ├── .gitignore │ │ │ ├── Client.hs │ │ │ ├── Main.hs │ │ │ ├── Server.hs │ │ │ ├── Types.hs │ │ │ ├── Utility.hs │ │ │ └── session-chat-supermonad-example.cabal │ └── session │ │ ├── .gitignore │ │ ├── Main.hs │ │ ├── MainSupermonad.hs │ │ ├── MainSupermonadTrans.hs │ │ └── session-example.cabal └── test │ └── missing-functions │ ├── Main.hs │ └── missing-functions.cabal ├── hcar ├── Supermonads-JS.tex ├── entry.tex └── hcar.sty ├── src └── Control │ ├── Super │ ├── Monad.hs │ ├── Monad │ │ ├── Alternative.hs │ │ ├── Constrained.hs │ │ ├── Constrained │ │ │ ├── Alternative.hs │ │ │ ├── Functions.hs │ │ │ ├── Functor.hs │ │ │ ├── MonadPlus.hs │ │ │ └── Prelude.hs │ │ ├── Functions.hs │ │ ├── MonadPlus.hs │ │ ├── Plugin.hs │ │ ├── Prelude.hs │ │ └── PreludeWithoutMonad.hs │ └── Plugin │ │ ├── ClassDict.hs │ │ ├── Collection │ │ ├── Map.hs │ │ └── Set.hs │ │ ├── Constraint.hs │ │ ├── Debug.hs │ │ ├── Detect.hs │ │ ├── Environment.hs │ │ ├── Environment │ │ └── Lift.hs │ │ ├── Evidence.hs │ │ ├── Instance.hs │ │ ├── InstanceDict.hs │ │ ├── Log.hs │ │ ├── Names.hs │ │ ├── Prototype.hs │ │ ├── Separation.hs │ │ ├── Solving.hs │ │ ├── Utils.hs │ │ └── Wrapper.hs │ ├── Supermonad.hs │ └── Supermonad │ ├── Constrained.hs │ ├── Constrained │ └── Prelude.hs │ ├── Functions.hs │ ├── Plugin.hs │ └── Prelude.hs ├── supermonad.cabal └── tests ├── Main.hs └── Test ├── Control └── Super │ └── Plugin │ └── Collection │ ├── Map.hs │ └── Set.hs └── Utils.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/.gitignore -------------------------------------------------------------------------------- /.hlint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/.hlint.hs -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/changelog.md -------------------------------------------------------------------------------- /examples/applicative/bankers/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/applicative/bankers/Main.hs -------------------------------------------------------------------------------- /examples/applicative/bankers/MainMinimalBug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/applicative/bankers/MainMinimalBug.hs -------------------------------------------------------------------------------- /examples/applicative/bankers/bankers.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/applicative/bankers/bankers.cabal -------------------------------------------------------------------------------- /examples/applicative/ll1-parser/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/applicative/ll1-parser/Main.hs -------------------------------------------------------------------------------- /examples/applicative/ll1-parser/MainSuperapplicative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/applicative/ll1-parser/MainSuperapplicative.hs -------------------------------------------------------------------------------- /examples/applicative/ll1-parser/ll1-parser-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/applicative/ll1-parser/ll1-parser-example.cabal -------------------------------------------------------------------------------- /examples/monad/constrained/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/constrained/MainSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/constrained/MainSet.hs -------------------------------------------------------------------------------- /examples/monad/constrained/constrained-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/constrained/constrained-example.cabal -------------------------------------------------------------------------------- /examples/monad/effect/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/effect/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/Main.hs -------------------------------------------------------------------------------- /examples/monad/effect/Main2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/Main2.hs -------------------------------------------------------------------------------- /examples/monad/effect/Main3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/Main3.hs -------------------------------------------------------------------------------- /examples/monad/effect/MainSupermonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/MainSupermonad.hs -------------------------------------------------------------------------------- /examples/monad/effect/MainSupermonad2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/MainSupermonad2.hs -------------------------------------------------------------------------------- /examples/monad/effect/MainSupermonad3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/MainSupermonad3.hs -------------------------------------------------------------------------------- /examples/monad/effect/Vector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/Vector.hs -------------------------------------------------------------------------------- /examples/monad/effect/effect-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/effect/effect-example.cabal -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/AST.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/CodeGenMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/CodeGenMonad.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/CodeGenerator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/CodeGenerator.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Diagnostics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Diagnostics.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Env.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/LibMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/LibMT.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/MTIR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/MTIR.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/MTStdEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/MTStdEnv.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Main.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Makefile -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Name.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/PPAST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/PPAST.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/PPMTIR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/PPMTIR.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/PPTAMCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/PPTAMCode.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/PPUtilities.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/PPUtilities.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/ParseMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/ParseMonad.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Parser.y -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Scanner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Scanner.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/ScopeLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/ScopeLevel.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/SrcPos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/SrcPos.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Symbol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Symbol.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/TAMCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/TAMCode.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/TAMCodeParser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/TAMCodeParser.y -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/TAMInterpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/TAMInterpreter.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Token.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Token.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/Type.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/TypeChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/TypeChecker.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/monad-param/hmtc-monad-param.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/monad-param/hmtc-monad-param.cabal -------------------------------------------------------------------------------- /examples/monad/hmtc/original/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/hmtc/original/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/AST.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/CodeGenMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/CodeGenMonad.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/CodeGenerator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/CodeGenerator.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Diagnostics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Diagnostics.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Env.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/LibMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/LibMT.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/MTIR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/MTIR.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/MTStdEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/MTStdEnv.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Main.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Makefile -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Name.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/PPAST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/PPAST.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/PPMTIR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/PPMTIR.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/PPTAMCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/PPTAMCode.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/PPUtilities.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/PPUtilities.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/ParseMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/ParseMonad.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Parser.y -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Scanner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Scanner.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/ScopeLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/ScopeLevel.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/SrcPos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/SrcPos.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Symbol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Symbol.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/TAMCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/TAMCode.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/TAMCodeParser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/TAMCodeParser.y -------------------------------------------------------------------------------- /examples/monad/hmtc/original/TAMInterpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/TAMInterpreter.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Token.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Token.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/Type.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/TypeChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/TypeChecker.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/original/hmtc-orig.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/original/hmtc-orig.cabal -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/AST.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/CodeGenMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/CodeGenMonad.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/CodeGenerator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/CodeGenerator.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Diagnostics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Diagnostics.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Env.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Env.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/LibMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/LibMT.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/MTIR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/MTIR.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/MTStdEnv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/MTStdEnv.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Main.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Makefile -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Name.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Name.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/PPAST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/PPAST.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/PPMTIR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/PPMTIR.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/PPTAMCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/PPTAMCode.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/PPUtilities.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/PPUtilities.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/ParseMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/ParseMonad.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Parser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Parser.y -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Scanner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Scanner.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/ScopeLevel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/ScopeLevel.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/SrcPos.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/SrcPos.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Symbol.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Symbol.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/TAMCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/TAMCode.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/TAMCodeParser.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/TAMCodeParser.y -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/TAMInterpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/TAMInterpreter.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/TestTAM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/TestTAM.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Token.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Token.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/Type.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/TypeChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/TypeChecker.hs -------------------------------------------------------------------------------- /examples/monad/hmtc/supermonad/hmtc-supermonad.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/supermonad/hmtc-supermonad.cabal -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/fac.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/fac.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/incdec.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/incdec.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/matmult.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/matmult.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/overloading.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/overloading.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/records.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/records.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/sort.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/sort.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/test1.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/test1.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/test2.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/test2.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/test3.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/test3.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/test4.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/test4.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/test5.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/test5.mt -------------------------------------------------------------------------------- /examples/monad/hmtc/test-files/test6.mt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/hmtc/test-files/test6.mt -------------------------------------------------------------------------------- /examples/monad/minimal/MinimalMain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/minimal/MinimalMain.hs -------------------------------------------------------------------------------- /examples/monad/minimal/minimal.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/minimal/minimal.cabal -------------------------------------------------------------------------------- /examples/monad/session-chat/original/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/session-chat/original/Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/original/Client.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/original/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/original/Main.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/original/Server.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/original/Server.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/original/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/original/Types.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/original/Utility.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/original/Utility.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/original/session-chat-orig-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/original/session-chat-orig-example.cabal -------------------------------------------------------------------------------- /examples/monad/session-chat/supermonad/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/session-chat/supermonad/Client.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/supermonad/Client.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/supermonad/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/supermonad/Main.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/supermonad/Server.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/supermonad/Server.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/supermonad/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/supermonad/Types.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/supermonad/Utility.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/supermonad/Utility.hs -------------------------------------------------------------------------------- /examples/monad/session-chat/supermonad/session-chat-supermonad-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session-chat/supermonad/session-chat-supermonad-example.cabal -------------------------------------------------------------------------------- /examples/monad/session/.gitignore: -------------------------------------------------------------------------------- 1 | 2 | dist/ -------------------------------------------------------------------------------- /examples/monad/session/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session/Main.hs -------------------------------------------------------------------------------- /examples/monad/session/MainSupermonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session/MainSupermonad.hs -------------------------------------------------------------------------------- /examples/monad/session/MainSupermonadTrans.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session/MainSupermonadTrans.hs -------------------------------------------------------------------------------- /examples/monad/session/session-example.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/monad/session/session-example.cabal -------------------------------------------------------------------------------- /examples/test/missing-functions/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/test/missing-functions/Main.hs -------------------------------------------------------------------------------- /examples/test/missing-functions/missing-functions.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/examples/test/missing-functions/missing-functions.cabal -------------------------------------------------------------------------------- /hcar/Supermonads-JS.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/hcar/Supermonads-JS.tex -------------------------------------------------------------------------------- /hcar/entry.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/hcar/entry.tex -------------------------------------------------------------------------------- /hcar/hcar.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/hcar/hcar.sty -------------------------------------------------------------------------------- /src/Control/Super/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Alternative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Alternative.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Constrained.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Constrained.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Constrained/Alternative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Constrained/Alternative.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Constrained/Functions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Constrained/Functions.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Constrained/Functor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Constrained/Functor.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Constrained/MonadPlus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Constrained/MonadPlus.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Constrained/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Constrained/Prelude.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Functions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Functions.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/MonadPlus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/MonadPlus.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Plugin.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/Prelude.hs -------------------------------------------------------------------------------- /src/Control/Super/Monad/PreludeWithoutMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Monad/PreludeWithoutMonad.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/ClassDict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/ClassDict.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Collection/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Collection/Map.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Collection/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Collection/Set.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Constraint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Constraint.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Debug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Debug.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Detect.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Detect.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Environment.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Environment.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Environment/Lift.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Environment/Lift.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Evidence.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Evidence.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Instance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Instance.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/InstanceDict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/InstanceDict.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Log.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Log.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Names.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Names.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Prototype.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Prototype.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Separation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Separation.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Solving.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Solving.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Utils.hs -------------------------------------------------------------------------------- /src/Control/Super/Plugin/Wrapper.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Super/Plugin/Wrapper.hs -------------------------------------------------------------------------------- /src/Control/Supermonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Supermonad.hs -------------------------------------------------------------------------------- /src/Control/Supermonad/Constrained.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Supermonad/Constrained.hs -------------------------------------------------------------------------------- /src/Control/Supermonad/Constrained/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Supermonad/Constrained/Prelude.hs -------------------------------------------------------------------------------- /src/Control/Supermonad/Functions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Supermonad/Functions.hs -------------------------------------------------------------------------------- /src/Control/Supermonad/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Supermonad/Plugin.hs -------------------------------------------------------------------------------- /src/Control/Supermonad/Prelude.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/src/Control/Supermonad/Prelude.hs -------------------------------------------------------------------------------- /supermonad.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/supermonad.cabal -------------------------------------------------------------------------------- /tests/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/tests/Main.hs -------------------------------------------------------------------------------- /tests/Test/Control/Super/Plugin/Collection/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/tests/Test/Control/Super/Plugin/Collection/Map.hs -------------------------------------------------------------------------------- /tests/Test/Control/Super/Plugin/Collection/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/tests/Test/Control/Super/Plugin/Collection/Set.hs -------------------------------------------------------------------------------- /tests/Test/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jbracker/supermonad/HEAD/tests/Test/Utils.hs --------------------------------------------------------------------------------