Sign.idr

module Data.Sign

||| A representation of signs for signed datatypes such as `ZZ`
data Sign = Plus | Minus

||| Discover the sign of some type
class Signed t where
  total sign : t -> Sign