Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/makeTransducerPrototype.idr

Last active August 2, 2017 15:16
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/7c136b9e6e2f434b387dc98bb3293945 to your computer and use it in GitHub Desktop.
Save deque-blog/7c136b9e6e2f434b387dc98bb3293945 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
makeTransducerPrototype.idr
-- Type of step transformation
stepTf : Step s acc b -> Step s (s', acc) a
-- Type of `Step` (quick reminder)
Step state acc x = acc -> x -> State state (Status acc)
-- Type of step transformation (after substitution)
stepTf : Step s acc b -> (s', acc) -> a -> State s (Status (s', acc))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment