• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for supermonad-0.1 source tarball

supermonad-0.1/

• LICENSE
• Makefile
• README.md
• Setup.hs
• compile-all.sh
• supermonad.cabal
• examples/
  • constrained/
    • MainSet.hs
    • constrained-example.cabal
  • effect/
    • Main.hs
    • Main2.hs
    • Main3.hs
    • MainSupermonad.hs
    • MainSupermonad2.hs
    • MainSupermonad3.hs
    • effect-example.cabal
  • hmtc/
    • monad-param/
      • 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/
      • 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/
      • 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
  • session/
    • Main.hs
    • MainSupermonad.hs
    • MainSupermonadTrans.hs
    • session-example.cabal
  • session-chat/
    • original/
      • Client.hs
      • Main.hs
      • Server.hs
      • Types.hs
      • Utility.hs
      • session-chat-orig-example.cabal
    • supermonad/
      • Client.hs
      • Main.hs
      • Server.hs
      • Types.hs
      • Utility.hs
      • session-chat-supermonad-example.cabal
• src/
  • Control/
    • Supermonad.hs
    • Supermonad/
      • Constrained.hs
      • Functions.hs
      • Plugin.hs
      • Prelude.hs
      • PreludeWithoutMonad.hs
      • Constrained/
        • Functions.hs
        • Functor.hs
        • Prelude.hs
      • Plugin/
        • Constraint.hs
        • Debug.hs
        • Detect.hs
        • Environment.hs
        • Evidence.hs
        • Instance.hs
        • Log.hs
        • Separation.hs
        • Solving.hs
        • Utils.hs
        • Wrapper.hs
        • Environment/
          • Lift.hs