Documentation

cancel :: forall op a. Cancellative op a => Proxy op -> a -> a Source #

binaryOp :: forall op a. Magma op a => Proxy op -> a -> a -> a Source #

neutral :: forall op a. Neutral op a => Proxy op -> a Source #

zero :: Neutral Add a => a Source #

one :: Neutral Mul a => a Source #

true :: Neutral And a => a Source #

false :: Neutral Or a => a Source #

negate :: Cancellative Add a => a -> a Source #

reciprocal :: Cancellative Mul a => a -> a Source #

(+) :: Magma Add a => a -> a -> a infixl 6 Source #

(*) :: Magma Mul a => a -> a -> a infixl 7 Source #

(-) :: (Magma Add a, Cancellative Add a) => a -> a -> a infixl 6 Source #

(/) :: (Magma Mul a, Cancellative Mul a) => a -> a -> a infixl 7 Source #

(&&) :: Magma And a => a -> a -> a infixl 3 Source #

(||) :: Magma Or a => a -> a -> a infixl 2 Source #