| http://www.w3.org/ns/prov#value | - If you think of the output grid as something in the future that you have not yet computed, then cfix and loeb allow you to read from the future.here is an example of cfix it in use (where I make [] a comonad by interpreting it as a kind of one-sided zipper):> instance Show (x -> a)> instance Eq (x -> a)> instance (Num a,Eq a) => Num (x -> a) where> fromInteger = const . fromInteger>
|
