Methods
run :: Accumulator e a -> Primary (Accumulator e) a Source #
unite :: Primary (Accumulator e) a -> Accumulator e a Source #
(||=) :: Interpreted u => (Primary (Accumulator e) a -> Primary u b) -> Accumulator e a -> u b Source #
(=||) :: Interpreted u => (Accumulator e a -> u b) -> Primary (Accumulator e) a -> Primary u b Source #
(<$||=) :: (Covariant (->) (->) j, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> (j := Accumulator e a) -> j := u b Source #
(<$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. k) := Accumulator e a) -> (j :. k) := u b Source #
(<$$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. (k :. l)) := Accumulator e a) -> (j :. (k :. l)) := u b Source #
(<$$$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) m, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Accumulator e a) -> (j :. (k :. (l :. m))) := u b Source #
(=||$>) :: (Covariant (->) (->) j, Interpreted u) => (Accumulator e a -> u b) -> (j := Primary (Accumulator e) a) -> j := Primary u b Source #
(=||$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted u) => (Accumulator e a -> u b) -> ((j :. k) := Primary (Accumulator e) a) -> (j :. k) := Primary u b Source #
(=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted u) => (Accumulator e a -> u b) -> ((j :. (k :. l)) := Primary (Accumulator e) a) -> (j :. (k :. l)) := Primary u b Source #
(=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) m, Interpreted u) => (Accumulator e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Accumulator e) a) -> (j :. (k :. (l :. m))) := Primary u b Source #