├── .gitignore ├── .hindent.yaml ├── .hlint.yaml ├── .stylish-haskell.yaml ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── codegen ├── exe │ └── Main.hs ├── src │ ├── IRTS │ │ ├── CodegenVim.hs │ │ └── CodegenVim │ │ │ └── Internal │ │ │ └── ZEncoding.hs │ └── Vimscript │ │ ├── AST.hs │ │ ├── Optimise.hs │ │ ├── Optimise │ │ ├── Annotate.hs │ │ ├── DCE.hs │ │ ├── Renamer.hs │ │ └── TCO.hs │ │ └── Render.hs └── test │ ├── Main.hs │ └── Vimscript │ └── Optimise │ └── DCETest.hs ├── etc └── check-formatting.sh ├── examples ├── loop.idr └── misc.idr ├── idris-vimscript.cabal ├── lib └── Vimscript │ ├── Builtins.idr │ ├── Examples.idr │ ├── FFI.idr │ └── List.idr ├── stack.yaml └── vimscript.ipkg /.gitignore: -------------------------------------------------------------------------------- 1 | *.ibc 2 | *.o 3 | .stack-work 4 | examples/*.vim 5 | -------------------------------------------------------------------------------- /.hindent.yaml: -------------------------------------------------------------------------------- 1 | indent-size: 2 2 | line-length: 80 3 | -------------------------------------------------------------------------------- /.hlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/.hlint.yaml -------------------------------------------------------------------------------- /.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/.stylish-haskell.yaml -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/README.md -------------------------------------------------------------------------------- /codegen/exe/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/exe/Main.hs -------------------------------------------------------------------------------- /codegen/src/IRTS/CodegenVim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/IRTS/CodegenVim.hs -------------------------------------------------------------------------------- /codegen/src/IRTS/CodegenVim/Internal/ZEncoding.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/IRTS/CodegenVim/Internal/ZEncoding.hs -------------------------------------------------------------------------------- /codegen/src/Vimscript/AST.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/Vimscript/AST.hs -------------------------------------------------------------------------------- /codegen/src/Vimscript/Optimise.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/Vimscript/Optimise.hs -------------------------------------------------------------------------------- /codegen/src/Vimscript/Optimise/Annotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/Vimscript/Optimise/Annotate.hs -------------------------------------------------------------------------------- /codegen/src/Vimscript/Optimise/DCE.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/Vimscript/Optimise/DCE.hs -------------------------------------------------------------------------------- /codegen/src/Vimscript/Optimise/Renamer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/Vimscript/Optimise/Renamer.hs -------------------------------------------------------------------------------- /codegen/src/Vimscript/Optimise/TCO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/Vimscript/Optimise/TCO.hs -------------------------------------------------------------------------------- /codegen/src/Vimscript/Render.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/src/Vimscript/Render.hs -------------------------------------------------------------------------------- /codegen/test/Main.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF tasty-discover #-} 2 | -------------------------------------------------------------------------------- /codegen/test/Vimscript/Optimise/DCETest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/codegen/test/Vimscript/Optimise/DCETest.hs -------------------------------------------------------------------------------- /etc/check-formatting.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/etc/check-formatting.sh -------------------------------------------------------------------------------- /examples/loop.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/examples/loop.idr -------------------------------------------------------------------------------- /examples/misc.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/examples/misc.idr -------------------------------------------------------------------------------- /idris-vimscript.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/idris-vimscript.cabal -------------------------------------------------------------------------------- /lib/Vimscript/Builtins.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/lib/Vimscript/Builtins.idr -------------------------------------------------------------------------------- /lib/Vimscript/Examples.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/lib/Vimscript/Examples.idr -------------------------------------------------------------------------------- /lib/Vimscript/FFI.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/lib/Vimscript/FFI.idr -------------------------------------------------------------------------------- /lib/Vimscript/List.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/lib/Vimscript/List.idr -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/stack.yaml -------------------------------------------------------------------------------- /vimscript.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/owickstrom/idris-vimscript/HEAD/vimscript.ipkg --------------------------------------------------------------------------------