https://github.com/BartAdv/idris-yaml

wrapper for libYaml based on https://github.com/snoyberg/yaml
https://github.com/BartAdv/idris-yaml

idris yaml

Last synced: over 1 year ago
JSON representation

wrapper for libYaml based on https://github.com/snoyberg/yaml

• Host: GitHub
• URL: https://github.com/BartAdv/idris-yaml
• Owner: BartAdv
• Created: 2017-09-09T21:46:27.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2017-09-11T07:47:05.000Z (almost 9 years ago)
• Last Synced: 2024-10-24T15:39:04.516Z (over 1 year ago)
• Topics: idris, yaml
• Language: C
• Homepage:
• Size: 59.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# idris-yaml

Basing on the Haskell [yaml][1] library, it is a wrapper fpr [libYAML][2].

# Status

At this moment, it's basically only FFI layer above `libYAML`, without even making use of its streaming capabilities.

# Building

TODO - clean the process up.

At this moment, it's required to checkout the `libYAML` submodule an follow its instructions to build the library.

The FFI layer uses own helpers, those can be built with the `make` command (it's specified in the ipkg file, so Idris should handle this.)

[1]: https://github.com/snoyberg/yaml/

[2]: http://pyyaml.org/wiki/LibYAML