Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/statelessTransducer2.idr

Last active August 1, 2017 16: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/2b88789c5649abdf41151f932b065b0e to your computer and use it in GitHub Desktop.
Save deque-blog/2b88789c5649abdf41151f932b065b0e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
statelessTransducer2.idr
-- Type of the `onStep` argument provided to `statelessTransducer`
onStep : Step s acc b -> Step s acc a
-- Type of `Step` (quick reminder)
Step state acc x = acc -> x -> State state (Status acc)
-- Type of `onStep` (substituded)
onStep : Step s acc b -> acc -> a -> State s (Status acc)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment