Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/ShowEvent.idr

Last active Sep 4, 2017
Embed
What would you like to do?
implementation Show SchemaElem where
show IntVar = "{int}"
show StrVar = "{string}"
show (StrCst s) = s
implementation Show Event where
show e = title e ++ ": " ++ concatMap show (messageSpec e)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.