Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/dfsd.idr

Created September 9, 2019 20:46
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save MarcelineVQ/55ca54eab5a7802f33fae24c36119d33 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save MarcelineVQ/55ca54eab5a7802f33fae24c36119d33 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dfsd.idr
record OnsenM a where
constructor MkOnsen
runOnsen : (List String -> String, a)
emptyOnsenM : OnsenM ()
namespace AttribElem {
elem : String -> List Char -> OnsenM a -> OnsenM a
}
namespace Elem {
elem : String -> OnsenM a -> OnsenM a
}
-- example :
somepage : OnsenM ()
somepage = elem "page" ['a','b','c'] (elem "row" (elem "col" emptyOnsenM))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment