Demonstrating symbolic structure of Halachot

shabbat.hs

data MishkanCategory = Zorea | Choresh | Kotzer | Meamer | Dash | Zoreh | Borer | Tochen | Meraked | Losh | Bishul | Gozez | Malben | Minaphetz | Tzovea | Toveh | Misach | Oreg | Potzea | Koysher | Matir | Tofer | Korea | Tzad | Shochet | Maphshit | Miabid | Mimachek | Misartet | Michatech | Kotev | Mochek | Boneh | Soter | Michabeh | Mavir | Makeh | Hotzaah 

data Tozah = MishkanCategory | None
data Peulah = MishkanCategory | None 
data Maaseh = Maaseh Peulah Tozah 
type Action = MishkanCategory 

data Chayav = Chayav Action 
data Assur = Assur Action
data Ruling = Chayav Action | Assur Action | Patur

rule :: Maaseh -> Ruling
rule (Maaseh None None) = Patur
rule (Maaseh MishkanCategory None) = Assur
rule (Maaseh None MishkanCategory) = Assur
rule (Melacha  action result) 
	| action == result = (Chayav action) -- If the chiyuv and issur match then you are chayav for the action
	| otherwise = (Assur action) -- If the chiyuv and the issur do not match you are then not chayav on the action but it is prohibited according to rabbis. It is impossible to produce this possibility so it exists in logical space only.