·mapstateF公司

抽象的谎言:有状态的

类型

地图状态:(t->-> (t, [b])) ->t->F  b

简介

地图状态stf s0

说明

地图斯塔夫用内部状态创建抽象的虚幻。状态转移函数决定了它的行为。

输入

将成为stf公司.

输出

应用的结果stf公司.

论据

stf公司::t->-> (t, [b])
状态转移函数。每当出现输入信息时,stf公司应用于消息和当前状态。应用程序的结果是一个新的内部状态和一个列表输出消息。

第0页::t
初始内部状态。

例子

countF=mapstateF count 0,其中count n=(n+1,[n+1])

例子

sumF=mapstateF add 0,其中add acc n=(acc+n,[acc+n])

平等

mapstateF stf s0=absF(concatMapAccumlSP stf s0)

另请参见

无状态抽象谎言:mapF公司.

相关组合:mapAccumlSP,absF公司.