GitHub - dwincort/SettableArrow: Implementation of Settability for Arrows

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
Control/Arrow		Control/Arrow
.gitattributes		.gitattributes
.gitignore		.gitignore
Example.lhs		Example.lhs
License		License
README.txt		README.txt
SettableArrow.cabal		SettableArrow.cabal

Repository files navigation

SETTABLE ARROWS

Copyright (c) Daniel Winograd-Cort 2014

This file provides code to accompany the ICFP paper "Settable and 
Non-Interfering Signal Functions for FRP" (see citation below).

As a sample instantiation of Arrow, we use a function automaton drawn 
from the ArrowTransformers library.  We then set up the settability 
data types and show the transformation as a set of type classes.  Finally, 
we provide some small demonstrations.

Winograd-Cort, Daniel and Hudak, Paul. Settable and Non-Interfering Signal Functions for FRP. In: International Conference on Functional Programming. ACM, September 2014.