Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/Transducer.idr

Last active July 20, 2017 21:03
Show Gist options
  • Save deque-blog/0b7c0ef0817ab22ab97847189358241a to your computer and use it in GitHub Desktop.
Save deque-blog/0b7c0ef0817ab22ab97847189358241a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Transducer.idr
Transducer : (acc, s1, s2, elem2, elem1: Type) -> Type
Transducer acc s1 s2 elem2 elem1 =
Reducer s1 acc elem1 -- Input reducing function
-> Reducer s2 acc elem2 -- Output reducing function
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment