Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/makeTransducer2.idr

Created August 2, 2017 15:14
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/23401e78628c797ebae90e7f95488ac9 to your computer and use it in GitHub Desktop.
Save deque-blog/23401e78628c797ebae90e7f95488ac9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
makeTransducer2.idr
makeTransducer :
s' -- Additional initial piece of state
-> (Step s acc b -> Step s (s', acc) a) -- Step transformation
-> ??? -- Completion transformation
-> Transducer acc s (s', s) a b -- Output: a transducer adding state s'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment