Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/statelessTransducer2.idr

Last active August 1, 2017 16:14
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Embed
What would you like to do?
Learn more about clone URLs
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