├── .editorconfig ├── .gitignore ├── .projectile ├── LICENSE.txt ├── Makefile ├── README.md ├── erl_src └── bus.app.src ├── rebar.config ├── rebar.lock ├── shell.nix ├── spago.lock ├── spago.yaml ├── src ├── .dir-locals.el ├── Pinto.erl ├── Pinto.purs └── Pinto │ ├── App.purs │ ├── GenServer.erl │ ├── GenServer.purs │ ├── GenServer │ ├── ContStop.erl │ └── ContStop.purs │ ├── GenServer2.purs │ ├── GenStatem.erl │ ├── GenStatem.purs │ ├── MessageRouting.erl │ ├── MessageRouting.purs │ ├── ModuleNames.purs │ ├── Monitor.erl │ ├── Monitor.purs │ ├── Supervisor.erl │ ├── Supervisor.purs │ ├── Supervisor │ ├── SimpleOneForOne.erl │ └── SimpleOneForOne.purs │ ├── Timer.erl │ ├── Timer.purs │ ├── Types.erl │ └── Types.purs ├── test.dhall ├── test ├── .dir-locals.el ├── DoorLock.purs ├── GenServer.erl ├── GenServer.purs ├── GenServer │ └── ContStop.purs ├── GenServer2.purs ├── Main.erl ├── Main.purs ├── TestHelpers.erl ├── TestHelpers.purs ├── ValueServer.purs └── rebar3.config └── thoughts.md /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/.editorconfig -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/.gitignore -------------------------------------------------------------------------------- /.projectile: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/README.md -------------------------------------------------------------------------------- /erl_src/bus.app.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/erl_src/bus.app.src -------------------------------------------------------------------------------- /rebar.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/rebar.config -------------------------------------------------------------------------------- /rebar.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/rebar.lock -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/shell.nix -------------------------------------------------------------------------------- /spago.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/spago.lock -------------------------------------------------------------------------------- /spago.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/spago.yaml -------------------------------------------------------------------------------- /src/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/.dir-locals.el -------------------------------------------------------------------------------- /src/Pinto.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto.erl -------------------------------------------------------------------------------- /src/Pinto.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto.purs -------------------------------------------------------------------------------- /src/Pinto/App.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/App.purs -------------------------------------------------------------------------------- /src/Pinto/GenServer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/GenServer.erl -------------------------------------------------------------------------------- /src/Pinto/GenServer.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/GenServer.purs -------------------------------------------------------------------------------- /src/Pinto/GenServer/ContStop.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/GenServer/ContStop.erl -------------------------------------------------------------------------------- /src/Pinto/GenServer/ContStop.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/GenServer/ContStop.purs -------------------------------------------------------------------------------- /src/Pinto/GenServer2.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/GenServer2.purs -------------------------------------------------------------------------------- /src/Pinto/GenStatem.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/GenStatem.erl -------------------------------------------------------------------------------- /src/Pinto/GenStatem.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/GenStatem.purs -------------------------------------------------------------------------------- /src/Pinto/MessageRouting.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/MessageRouting.erl -------------------------------------------------------------------------------- /src/Pinto/MessageRouting.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/MessageRouting.purs -------------------------------------------------------------------------------- /src/Pinto/ModuleNames.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/ModuleNames.purs -------------------------------------------------------------------------------- /src/Pinto/Monitor.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Monitor.erl -------------------------------------------------------------------------------- /src/Pinto/Monitor.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Monitor.purs -------------------------------------------------------------------------------- /src/Pinto/Supervisor.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Supervisor.erl -------------------------------------------------------------------------------- /src/Pinto/Supervisor.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Supervisor.purs -------------------------------------------------------------------------------- /src/Pinto/Supervisor/SimpleOneForOne.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Supervisor/SimpleOneForOne.erl -------------------------------------------------------------------------------- /src/Pinto/Supervisor/SimpleOneForOne.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Supervisor/SimpleOneForOne.purs -------------------------------------------------------------------------------- /src/Pinto/Timer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Timer.erl -------------------------------------------------------------------------------- /src/Pinto/Timer.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Timer.purs -------------------------------------------------------------------------------- /src/Pinto/Types.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Types.erl -------------------------------------------------------------------------------- /src/Pinto/Types.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/src/Pinto/Types.purs -------------------------------------------------------------------------------- /test.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test.dhall -------------------------------------------------------------------------------- /test/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/.dir-locals.el -------------------------------------------------------------------------------- /test/DoorLock.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/DoorLock.purs -------------------------------------------------------------------------------- /test/GenServer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/GenServer.erl -------------------------------------------------------------------------------- /test/GenServer.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/GenServer.purs -------------------------------------------------------------------------------- /test/GenServer/ContStop.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/GenServer/ContStop.purs -------------------------------------------------------------------------------- /test/GenServer2.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/GenServer2.purs -------------------------------------------------------------------------------- /test/Main.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/Main.erl -------------------------------------------------------------------------------- /test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/Main.purs -------------------------------------------------------------------------------- /test/TestHelpers.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/TestHelpers.erl -------------------------------------------------------------------------------- /test/TestHelpers.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/TestHelpers.purs -------------------------------------------------------------------------------- /test/ValueServer.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/ValueServer.purs -------------------------------------------------------------------------------- /test/rebar3.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/test/rebar3.config -------------------------------------------------------------------------------- /thoughts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/purescript-erl-pinto/HEAD/thoughts.md --------------------------------------------------------------------------------