├── .ghci ├── .gitignore ├── .reload.ghci ├── .travis.yml ├── EnvSetup.hs ├── LICENSE ├── Makefile ├── README.md ├── Setup.hs ├── data ├── hask-src │ ├── Prog1.hs │ └── Prog2.hs └── lamif-src │ ├── call-site-sensitivity.lam │ ├── flow-sensitivity.lam │ └── object-sensitivity.lam ├── ghci.sh ├── maam.cabal ├── src ├── All.hs ├── Darkdown.hs ├── FP.hs ├── FP │ ├── Compat.hs │ ├── Console.hs │ ├── Core.hs │ ├── DerivingJoinLattice.hs │ ├── DerivingLens.hs │ ├── DerivingMonoid.hs │ ├── DerivingPretty.hs │ ├── DerivingPrism.hs │ ├── Free.hs │ ├── GHCI.hs │ ├── IO.hs │ ├── Monads.hs │ ├── NotUsed │ │ ├── ContSetMonadFail.hs │ │ ├── ErrorList.hs │ │ └── ErrorListExamples.hs │ ├── Parser.hs │ ├── Pretty.hs │ ├── TH.hs │ └── Test │ │ ├── DerivingLens.hs │ │ ├── DerivingMonoid.hs │ │ ├── DerivingPretty.hs │ │ └── DerivingPrism.hs ├── Lang │ ├── Hask.hs │ ├── Hask │ │ ├── CPS.hs │ │ ├── Compat.hs │ │ ├── Execution.hs │ │ ├── GHCPlugin.hs │ │ ├── Main.hs │ │ ├── Monads.hs │ │ ├── Pretty.hs │ │ ├── Semantics.hs │ │ ├── SumOfProdVal.hs │ │ ├── Time.hs │ │ └── ValConcrete.hs │ ├── LamIf.hs │ └── LamIf │ │ ├── Analyses.hs │ │ ├── CPS.hs │ │ ├── Examples.hs │ │ ├── Main.hs │ │ ├── Monads.hs │ │ ├── Parser.hs │ │ ├── Passes.hs │ │ ├── Pretty.hs │ │ ├── Semantics.hs │ │ ├── StateSpace.hs │ │ ├── Syntax.hs │ │ └── Val.hs ├── MAAM.hs └── MAAM │ ├── Inject.hs │ ├── MonadStep.hs │ └── Time.hs └── stack.yaml /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/.ghci -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/.gitignore -------------------------------------------------------------------------------- /.reload.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/.reload.ghci -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/.travis.yml -------------------------------------------------------------------------------- /EnvSetup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/EnvSetup.hs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /data/hask-src/Prog1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/data/hask-src/Prog1.hs -------------------------------------------------------------------------------- /data/hask-src/Prog2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/data/hask-src/Prog2.hs -------------------------------------------------------------------------------- /data/lamif-src/call-site-sensitivity.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/data/lamif-src/call-site-sensitivity.lam -------------------------------------------------------------------------------- /data/lamif-src/flow-sensitivity.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/data/lamif-src/flow-sensitivity.lam -------------------------------------------------------------------------------- /data/lamif-src/object-sensitivity.lam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/data/lamif-src/object-sensitivity.lam -------------------------------------------------------------------------------- /ghci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/ghci.sh -------------------------------------------------------------------------------- /maam.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/maam.cabal -------------------------------------------------------------------------------- /src/All.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/All.hs -------------------------------------------------------------------------------- /src/Darkdown.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Darkdown.hs -------------------------------------------------------------------------------- /src/FP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP.hs -------------------------------------------------------------------------------- /src/FP/Compat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Compat.hs -------------------------------------------------------------------------------- /src/FP/Console.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Console.hs -------------------------------------------------------------------------------- /src/FP/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Core.hs -------------------------------------------------------------------------------- /src/FP/DerivingJoinLattice.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/DerivingJoinLattice.hs -------------------------------------------------------------------------------- /src/FP/DerivingLens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/DerivingLens.hs -------------------------------------------------------------------------------- /src/FP/DerivingMonoid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/DerivingMonoid.hs -------------------------------------------------------------------------------- /src/FP/DerivingPretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/DerivingPretty.hs -------------------------------------------------------------------------------- /src/FP/DerivingPrism.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/DerivingPrism.hs -------------------------------------------------------------------------------- /src/FP/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Free.hs -------------------------------------------------------------------------------- /src/FP/GHCI.hs: -------------------------------------------------------------------------------- 1 | module FP.GHCI where 2 | 3 | -------------------------------------------------------------------------------- /src/FP/IO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/IO.hs -------------------------------------------------------------------------------- /src/FP/Monads.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Monads.hs -------------------------------------------------------------------------------- /src/FP/NotUsed/ContSetMonadFail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/NotUsed/ContSetMonadFail.hs -------------------------------------------------------------------------------- /src/FP/NotUsed/ErrorList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/NotUsed/ErrorList.hs -------------------------------------------------------------------------------- /src/FP/NotUsed/ErrorListExamples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/NotUsed/ErrorListExamples.hs -------------------------------------------------------------------------------- /src/FP/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Parser.hs -------------------------------------------------------------------------------- /src/FP/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Pretty.hs -------------------------------------------------------------------------------- /src/FP/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/TH.hs -------------------------------------------------------------------------------- /src/FP/Test/DerivingLens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Test/DerivingLens.hs -------------------------------------------------------------------------------- /src/FP/Test/DerivingMonoid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Test/DerivingMonoid.hs -------------------------------------------------------------------------------- /src/FP/Test/DerivingPretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Test/DerivingPretty.hs -------------------------------------------------------------------------------- /src/FP/Test/DerivingPrism.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/FP/Test/DerivingPrism.hs -------------------------------------------------------------------------------- /src/Lang/Hask.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask.hs -------------------------------------------------------------------------------- /src/Lang/Hask/CPS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/CPS.hs -------------------------------------------------------------------------------- /src/Lang/Hask/Compat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/Compat.hs -------------------------------------------------------------------------------- /src/Lang/Hask/Execution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/Execution.hs -------------------------------------------------------------------------------- /src/Lang/Hask/GHCPlugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/GHCPlugin.hs -------------------------------------------------------------------------------- /src/Lang/Hask/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/Main.hs -------------------------------------------------------------------------------- /src/Lang/Hask/Monads.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/Monads.hs -------------------------------------------------------------------------------- /src/Lang/Hask/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/Pretty.hs -------------------------------------------------------------------------------- /src/Lang/Hask/Semantics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/Semantics.hs -------------------------------------------------------------------------------- /src/Lang/Hask/SumOfProdVal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/SumOfProdVal.hs -------------------------------------------------------------------------------- /src/Lang/Hask/Time.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/Time.hs -------------------------------------------------------------------------------- /src/Lang/Hask/ValConcrete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/Hask/ValConcrete.hs -------------------------------------------------------------------------------- /src/Lang/LamIf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Analyses.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Analyses.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/CPS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/CPS.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Examples.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Main.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Monads.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Monads.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Parser.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Passes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Passes.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Pretty.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Semantics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Semantics.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/StateSpace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/StateSpace.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Syntax.hs -------------------------------------------------------------------------------- /src/Lang/LamIf/Val.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/Lang/LamIf/Val.hs -------------------------------------------------------------------------------- /src/MAAM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/MAAM.hs -------------------------------------------------------------------------------- /src/MAAM/Inject.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/MAAM/Inject.hs -------------------------------------------------------------------------------- /src/MAAM/MonadStep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/MAAM/MonadStep.hs -------------------------------------------------------------------------------- /src/MAAM/Time.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/davdar/maam/HEAD/src/MAAM/Time.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- 1 | flags: {} 2 | packages: 3 | - '.' 4 | extra-deps: [] 5 | resolver: lts-3.2 6 | --------------------------------------------------------------------------------