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