idris-0.9.7: lib/Data/Sign.idr

module Data.Sign

data Sign = Plus | Minus

class Signed t where
  total sign : t -> Sign