[<<][meta][>>][..]
Tue Aug 16 18:41:09 CEST 2011

StateSpace as Arrow

This was really straightforward:

instance Arrow SSM where
  arr f = SSM () $ ssmPure f
  (***) (SSM i1 u1) (SSM i2 u2) = SSM (i1,i2) $ ssmPar u1 u2
  first   a = a *** (arr id)
  second  a = (arr id) *** a
  


[Reply][About]
[<<][meta][>>][..]