{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE TypeFamilies #-}

module Data.Monoid.BitXor where

import Data.Bits
import Data.Coerce (coerce)
import qualified Data.Foldable as F
import qualified Data.Vector.Generic as G
import qualified Data.Vector.Generic.Mutable as GM
import qualified Data.Vector.Unboxed as U

{- |
>>> mempty :: BitXor Int
BitXor {getBitXor = 0}
-}
newtype BitXor a = BitXor {forall a. BitXor a -> a
getBitXor :: a}
  deriving (BitXor a -> BitXor a -> Bool
(BitXor a -> BitXor a -> Bool)
-> (BitXor a -> BitXor a -> Bool) -> Eq (BitXor a)
forall a. Eq a => BitXor a -> BitXor a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: forall a. Eq a => BitXor a -> BitXor a -> Bool
== :: BitXor a -> BitXor a -> Bool
$c/= :: forall a. Eq a => BitXor a -> BitXor a -> Bool
/= :: BitXor a -> BitXor a -> Bool
Eq, Int -> BitXor a -> ShowS
[BitXor a] -> ShowS
BitXor a -> String
(Int -> BitXor a -> ShowS)
-> (BitXor a -> String) -> ([BitXor a] -> ShowS) -> Show (BitXor a)
forall a. Show a => Int -> BitXor a -> ShowS
forall a. Show a => [BitXor a] -> ShowS
forall a. Show a => BitXor a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: forall a. Show a => Int -> BitXor a -> ShowS
showsPrec :: Int -> BitXor a -> ShowS
$cshow :: forall a. Show a => BitXor a -> String
show :: BitXor a -> String
$cshowList :: forall a. Show a => [BitXor a] -> ShowS
showList :: [BitXor a] -> ShowS
Show)

instance (Bits a) => Semigroup (BitXor a) where
  <> :: BitXor a -> BitXor a -> BitXor a
(<>) = (a -> a -> a) -> BitXor a -> BitXor a -> BitXor a
forall a b. Coercible a b => a -> b
coerce (forall a. Bits a => a -> a -> a
xor @a)
  {-# INLINE (<>) #-}

instance (Bits a) => Monoid (BitXor a) where
  mempty :: BitXor a
mempty = a -> BitXor a
forall a b. Coercible a b => a -> b
coerce (forall a. Bits a => a
zeroBits @a)
  {-# INLINE mempty #-}
  mconcat :: [BitXor a] -> BitXor a
mconcat = (BitXor a -> BitXor a -> BitXor a)
-> BitXor a -> [BitXor a] -> BitXor a
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
F.foldl' BitXor a -> BitXor a -> BitXor a
forall a. Monoid a => a -> a -> a
mappend BitXor a
forall a. Monoid a => a
mempty
  {-# INLINE mconcat #-}

newtype instance U.MVector s (BitXor a) = MV_BitXor (U.MVector s a)
newtype instance U.Vector (BitXor a) = V_BitXor (U.Vector a)
deriving newtype instance (U.Unbox a) => GM.MVector U.MVector (BitXor a)
deriving newtype instance (U.Unbox a) => G.Vector U.Vector (BitXor a)
instance (U.Unbox a) => U.Unbox (BitXor a)