https://github.com/luavreis/ondim

Multitype expansions for easy templating
https://github.com/luavreis/ondim

haskell heist html latex mustache pandoc template

Last synced: 13 days ago
JSON representation

Multitype expansions for easy templating

• Host: GitHub
• URL: https://github.com/luavreis/ondim
• Owner: luavreis
• License: gpl-3.0
• Created: 2022-07-26T21:25:42.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-07-06T22:00:47.000Z (4 months ago)
• Last Synced: 2024-09-24T15:03:10.963Z (about 1 month ago)
• Topics: haskell, heist, html, latex, mustache, pandoc, template
• Language: Haskell
• Homepage:
• Size: 475 KB
• Stars: 4
• Watchers: 2
• Forks: 3
• Open Issues: 3
• Metadata Files:
  • Readme: README.org
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
#+title: Ondim - multitype expansions for easy templating

#+html: 

Ondim is a library for creating templating engines for arbitrary formats, inspired by Heist (which only works for HTML). It also includes HTML, LaTeX and Whiskers (a new template language very similar to Mustache) targets that work out-of-the-box. 

Here is an overview of features:

- You can write polymorphic template code (see below);

- It has helpers to load templates from multiple directories, in an union mount with live reload, and to load templates at compile-time;

- Very extensible, both for the templates that can be written and for the file formats supported;

- Customizable error system with backtraces;

- Reasonably fast, runs in the ST monad;

- The code base is very modular and has few dependencies.

The main idea is to reuse existing libraries that will provide the target  language's parser, types and renderer, and easily build an "expansion" layer on top. If you are familiar with Heist, for HTML this is done by binding /named expansions/ (in Heist they are called Splices) that programatically transform the contents of HTML elements whose tags match the name.

For instance, this is how you could define an if/else expansion with ~Ondim~:

#+begin_src haskell

ifElse :: (OndimNode t) => Bool -> Expansion s t

ifElse cond node = do

  let els = children node

      yes = filter ((Just "else" /=) . identify) els

      no =

        maybe [] children $

          find ((Just "else" ==) . identify) els

  if cond

    then expandSubs yes

    else expandSubs no

#+end_src

Now, suppose you have a variable ~isCat :: Bool~ and you want your templates to choose between two snippets depending on its value. Such HTML template could have type ~[HtmlNode]~, so that if you expand it while binding ~ifElse isCat~ to the name ~if-cat~,

#+begin_src haskell

expandNode myTemplateContent

  `binding` do

    "if-cat" #* ifElse isCat

#+end_src

you can now write in your HTML templates...

#+begin_src html

  
I have a beautiful cat!

  

    
I don't have a cat 😭

  


#+end_src

...and the output will depend on the value of ~isCat~.

The beauty of ondim (and one aspect that takes it further from Heist) is that the ~ifElse~ splice is polymorphic on the format type, so the same code works for formats other than HTML. If you want to template JSON, the same code above would work if ~myTemplateContent~ had type ~[Value]~, and a similar template could be written as:

#+begin_src yaml

- $: if-cat

  $children:

    - I have a beautiful cat!

    - $: else

      $children:

        - I don't have a cat 😭

#+end_src

Or TeX:

#+begin_src latex

\@ifCat{

  I have a \emph{beautiful} cat!

  \@else{

    I don't have a cat 😭

  }

}

#+end_src