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