noether-0.0.1: Math in Haskell.
Noether.Algebra.Single.Synonyms
pattern AddP :: Proxy BinaryNumeric Add Source #
pattern MulP :: Proxy BinaryNumeric Mul Source #
pattern AndP :: Proxy BinaryBoolean And Source #
pattern OrP :: Proxy BinaryBoolean Or Source #
pattern XorP :: Proxy BinaryBoolean Xor Source #