semantic/src/Categorizable.hs

module Categorizable where

import Data.Set

class Categorizable a where
  categories :: a -> Set String

comparable :: Categorizable a => a -> a -> Bool
comparable a b = Data.Set.null $ intersection (categories a) (categories b)
Add a Categorizable module. 2015-11-18 22:23:28 +03:00			`module Categorizable where`
Categorizable things have categories. 2015-11-18 22:23:35 +03:00
			`import Data.Set`

			`class Categorizable a where`
			`categories :: a -> Set String`
Test whether Categorizable values are comparable. 2015-11-18 22:25:53 +03:00
			`comparable :: Categorizable a => a -> a -> Bool`
			`comparable a b = Data.Set.null $ intersection (categories a) (categories b)`