quantizer-0.2.0.0: Library to provide the behaviour similar to quantum states superposition.

FoldableQuantizer

Description

A module to provide the extended variants to convert a InsertLeft instance structure with some values to another one with the values from the pre-defined structure. Similar to the measurement of the quantum state observables with the discrete spectrum.

# Documentation

Arguments

 :: (Ord a, InsertLeft t a, Monoid (t a)) => Bool If True then the function rounds the result in the ambiguous situation to the greater value. -> (t a -> a -> Ordering) -> t a -> a -> Maybe a The a value (in Just case) can be equal just to the one of the two first a arguments.

Arguments

 :: (Ord a, Floating a, Integral a, InsertLeft t1 a, Monoid (t1 a), Foldable t2) => Bool If True then the function rounds the result in the ambiguous situation to the greater value. -> (t1 a -> a -> Ordering) -> t1 a -> t2 a -> [a]

Arguments

 :: (Ord a, Monad m, InsertLeft t1 a, Monoid (t1 a)) => Bool If True then the function rounds the result in the ambiguous situation to the greater value. -> (t1 a -> a -> m Ordering) -> t1 a -> a -> m (Maybe a)

Arguments

 :: (Ord a, Floating a, Integral a, Monad m, InsertLeft t1 a, Monoid (t1 a), Foldable t2) => Bool If True then the function rounds the result in the ambiguous situation to the greater value. -> (t1 a -> a -> m Ordering) -> t1 a -> t2 a -> m [a]