Test.Semiring

Type Aliases

type UnaryLaws a

type BinaryLaws a

type TernaryLaws a

Semiring Laws

Unary

plusId

mulId

annihilateL

annihilateR

unaryLaws

Binary

plusComm

binaryLaws

Ternary

plusAssoc

mulAssoc

mulDistribL

mulDistribR

ternaryLaws

Near-semiring laws

Unary

nearUnaryLaws

Ternary

nearTernaryLaws

StarSemiring Laws

Unary

starLaw

plusLaw

starLaws

DetectableZero Laws

Unary

zeroLaw

zeroIsZero

zeroLaws

Ordering Laws

Ternary

ordMulLaw

ordAddLaw

ordLaws