on 7afa310 help sign in
8 lines 189 B history raw
1module Data.Sign
3||| A representation of signs for signed datatypes such as `ZZ`
4data Sign = Plus | Minus
6||| Discover the sign of some type
7class Signed t where
8 total sign : t -> Sign