Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/StringBuilder.idr

Last active June 14, 2017 08:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/179999f7ae40abe14699e3488a0e1c8d to your computer and use it in GitHub Desktop.
Save deque-blog/179999f7ae40abe14699e3488a0e1c8d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
StringBuilder.idr
data StringBuilder
= Pure String
| (>>=) StringBuilder (String -> StringBuilder)
eval_string : StringBuilder -> String
eval_string (Pure s) = s
eval_string (x >>= f) = eval_string (f (eval_string x))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment