├── .gitattributes ├── .gitignore ├── LICENSE ├── README.md ├── Setup.hs ├── app └── Main.hs ├── clj ├── .gitignore ├── bib.json ├── project.clj ├── src │ └── modules │ │ └── core.clj └── test │ └── modules │ └── core_test.clj ├── lib └── std │ └── ord.1ml ├── package.yaml ├── src └── Language │ └── Modules │ ├── DCH2003.hs │ ├── RRD2014.hs │ ├── RRD2014 │ └── Internal.hs │ ├── Ros2018.hs │ ├── Ros2018 │ ├── Display.hs │ ├── Ftv.hs │ ├── Impl.hs │ ├── Internal.hs │ ├── Internal │ │ ├── Erased.hs │ │ ├── Erased │ │ │ └── Dynamic.hs │ │ ├── ForTest.hs │ │ └── Impl.hs │ ├── NDList.hs │ ├── Package.hs │ ├── Package │ │ ├── Config.hs │ │ ├── Impl.hs │ │ └── UnitParser.hs │ ├── Parser.hs │ ├── Position.hs │ └── Shift.hs │ ├── Shao1998.hs │ └── Shao1998 │ ├── Semantics.hs │ └── Target.hs ├── stack.yaml └── test ├── Language └── Modules │ ├── RRD2014 │ └── InternalSpec.hs │ ├── RRD2014Spec.hs │ ├── Ros2018 │ └── InternalSpec.hs │ └── Ros2018Spec.hs ├── Spec.hs └── integration └── Main.hs /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | modules.cabal 3 | *~ -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/app/Main.hs -------------------------------------------------------------------------------- /clj/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/clj/.gitignore -------------------------------------------------------------------------------- /clj/bib.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/clj/bib.json -------------------------------------------------------------------------------- /clj/project.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/clj/project.clj -------------------------------------------------------------------------------- /clj/src/modules/core.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/clj/src/modules/core.clj -------------------------------------------------------------------------------- /clj/test/modules/core_test.clj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/clj/test/modules/core_test.clj -------------------------------------------------------------------------------- /lib/std/ord.1ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/lib/std/ord.1ml -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/package.yaml -------------------------------------------------------------------------------- /src/Language/Modules/DCH2003.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/DCH2003.hs -------------------------------------------------------------------------------- /src/Language/Modules/RRD2014.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/RRD2014.hs -------------------------------------------------------------------------------- /src/Language/Modules/RRD2014/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/RRD2014/Internal.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Display.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Display.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Ftv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Ftv.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Impl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Impl.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Internal.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Internal/Erased.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Internal/Erased.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Internal/Erased/Dynamic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Internal/Erased/Dynamic.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Internal/ForTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Internal/ForTest.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Internal/Impl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Internal/Impl.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/NDList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/NDList.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Package.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Package.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Package/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Package/Config.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Package/Impl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Package/Impl.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Package/UnitParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Package/UnitParser.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Parser.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Position.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Position.hs -------------------------------------------------------------------------------- /src/Language/Modules/Ros2018/Shift.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Ros2018/Shift.hs -------------------------------------------------------------------------------- /src/Language/Modules/Shao1998.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Shao1998.hs -------------------------------------------------------------------------------- /src/Language/Modules/Shao1998/Semantics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Shao1998/Semantics.hs -------------------------------------------------------------------------------- /src/Language/Modules/Shao1998/Target.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/src/Language/Modules/Shao1998/Target.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/Language/Modules/RRD2014/InternalSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/test/Language/Modules/RRD2014/InternalSpec.hs -------------------------------------------------------------------------------- /test/Language/Modules/RRD2014Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/test/Language/Modules/RRD2014Spec.hs -------------------------------------------------------------------------------- /test/Language/Modules/Ros2018/InternalSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/test/Language/Modules/Ros2018/InternalSpec.hs -------------------------------------------------------------------------------- /test/Language/Modules/Ros2018Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/test/Language/Modules/Ros2018Spec.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 2 | -------------------------------------------------------------------------------- /test/integration/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/elpinal/modules/HEAD/test/integration/Main.hs --------------------------------------------------------------------------------