Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/ReducingFunction.idr

Last active July 15, 2017 18:55
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/3e9ae13cefec8fc1123b0319e0e063d1 to your computer and use it in GitHub Desktop.
Save deque-blog/3e9ae13cefec8fc1123b0319e0e063d1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ReducingFunction.idr
record Reducer st acc elem where -- Defines a reducer in terms of
constructor MkReducer
state : st -- * A piece of state
runStep : Step st acc elem -- * A (stateful) step function
complete : st -> acc -> acc -- * A completion function
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment