module CRDT.Cv.Max ( Max (..) , initial , query ) where import Data.Semigroup (Max (..)) -- | Construct new value initial :: a -> Max a initial :: a -> Max a initial = a -> Max a forall a. a -> Max a Max query :: Max a -> a query :: Max a -> a query = Max a -> a forall a. Max a -> a getMax