idris-0.9.10: libs/base/Data/Sign.idr

module Data.Sign

data Sign = Plus | Minus

class Signed t where
  total sign : t -> Sign