├── .gitignore ├── .travis.yml ├── posix.ipkg └── src ├── System └── Posix │ ├── Directory.idr │ ├── Signal.idr │ ├── Syslog.idr │ ├── Test │ ├── Signal.idr │ └── Syslog.idr │ └── Time.idr ├── create_dir_wrappers.c ├── dirent_accessors.c ├── getcwd_wrapper.c ├── signal_wrappers.c ├── stat_wrappers.c ├── syslog_wrappers.c └── time_wrappers.c /.gitignore: -------------------------------------------------------------------------------- 1 | *.ibc 2 | *~ 3 | *# 4 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/.travis.yml -------------------------------------------------------------------------------- /posix.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/posix.ipkg -------------------------------------------------------------------------------- /src/System/Posix/Directory.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/System/Posix/Directory.idr -------------------------------------------------------------------------------- /src/System/Posix/Signal.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/System/Posix/Signal.idr -------------------------------------------------------------------------------- /src/System/Posix/Syslog.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/System/Posix/Syslog.idr -------------------------------------------------------------------------------- /src/System/Posix/Test/Signal.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/System/Posix/Test/Signal.idr -------------------------------------------------------------------------------- /src/System/Posix/Test/Syslog.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/System/Posix/Test/Syslog.idr -------------------------------------------------------------------------------- /src/System/Posix/Time.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/System/Posix/Time.idr -------------------------------------------------------------------------------- /src/create_dir_wrappers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/create_dir_wrappers.c -------------------------------------------------------------------------------- /src/dirent_accessors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/dirent_accessors.c -------------------------------------------------------------------------------- /src/getcwd_wrapper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/getcwd_wrapper.c -------------------------------------------------------------------------------- /src/signal_wrappers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/signal_wrappers.c -------------------------------------------------------------------------------- /src/stat_wrappers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/stat_wrappers.c -------------------------------------------------------------------------------- /src/syslog_wrappers.c: -------------------------------------------------------------------------------- 1 | #include 2 | -------------------------------------------------------------------------------- /src/time_wrappers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-posix/HEAD/src/time_wrappers.c --------------------------------------------------------------------------------