Documentation

zero :: Proxy ('Zero :: Signed a) Source #

pos1 :: Proxy ('Pos 1) Source #

neg1 :: Proxy ('Neg 1) Source #

pos2 :: Proxy ('Pos 2) Source #

neg2 :: Proxy ('Neg 2) Source #

pos3 :: Proxy ('Pos 3) Source #

neg3 :: Proxy ('Neg 3) Source #

pos4 :: Proxy ('Pos 4) Source #

neg4 :: Proxy ('Neg 4) Source #