Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type family Compare x y Source
type Compare False False = EQ Source | |
type Compare False True = LT Source | |
type Compare True False = GT Source | |
type Compare True True = EQ Source | |
type Compare GT GT = EQ Source | |
type Compare GT EQ = GT Source | |
type Compare GT LT = GT Source | |
type Compare EQ GT = LT Source | |
type Compare EQ EQ = EQ Source | |
type Compare EQ LT = GT Source | |
type Compare LT GT = LT Source | |
type Compare LT EQ = LT Source | |
type Compare LT LT = EQ Source | |
type Compare (Dec x) (Dec y) = Compare x y Source |