Mercurial > hg > ishara

diff arrows/@arrow/mpower.m @ 0:672052bd81f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial partial import.
author samer
date Wed, 19 Dec 2012 22:38:28 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/arrows/@arrow/mpower.m	Wed Dec 19 22:38:28 2012 +0000
@@ -0,0 +1,8 @@
+% mpower - Arrow with state initialiser
+%
+% mpower :: arrow(A,B,S), S -> arrow(A,B,S).
+%
+% The resulting arrow is the same as the supplied arrow
+% except that its accessible state is explicitly initialised.
+function o=mpower(a,state), o=ainitstate(a,state);
+