rendered paste body--Tea [Sala] [Funcion] [Nombre] [Moneda] [Entrada]
teatro1 = Tea [sala1, sala2] [funcion1, funcion2] ["juanf1", "juanf2", "pedrof1", "pedrof2", "raulf1"] [100, 150, 200, 250, 300] lasEntradasdeTeatro1
funcion1 = Fun "sala1" "obra1" (nuevaFe 27 2 1987) (nuevaH 13 05) 30 [100, 50,25] ["juanf1", "pedrof1", "raulf1"] ["1contraf1", "2contraf1"] [400,500]
funcion2 = Fun "sala2" "obra2" (nuevaFe 31 12 1989) (nuevaH 13 58) 30 [300,100,50] ["juanf2", "pedrof2"] ["1contraf2", "2contraf2", "3contraf2"] [300, 400, 200]
sala1 = nuevaS "sala1" [[5], [5, 5], [5, 5]]
sala2 = nuevaS "sala2" [[3, 3], [5, 5], [6, 6]]
lasEntradasdeTeatro1 = [ (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 0 0 1),
(nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 1 0 3),
(nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 1 1 1),
(nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 1 1 3),
(nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 0 2),
(nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 1 0),
(nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 0 1 2),
(nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 1 0 0),
(nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 1 0 4),
(nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 1 1 2),
(nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 0),
(nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 5),
(nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 1 2)]
testearUnaAlLadoDeLaOtra = unaAlLadoDeLaOtraT teatro1 "sala1" (nuevaFe 27 2 1987) (nuevaH 13 05) 3 == loquedebedarpidiendo3ensala1 && unaAlLadoDeLaOtraT teatro1 "sala2" (nuevaFe 31 12 1989) (nuevaH 13 58) 3 == loquedebedarpidiendo3ensala2 &&
unaAlLadoDeLaOtraT teatro1 "sala1" (nuevaFe 27 2 1987) (nuevaH 13 05) 4 == loquedebedarpidiendo4ensala1 && unaAlLadoDeLaOtraT teatro1 "sala2" (nuevaFe 31 12 1989) (nuevaH 13 58) 4 == loquedebedarpidiendo4ensala2 &&
unaAlLadoDeLaOtraT teatro1 "sala1" (nuevaFe 27 2 1987) (nuevaH 13 05) 5 == [] && unaAlLadoDeLaOtraT teatro1 "sala2" (nuevaFe 31 12 1989) (nuevaH 13 58) 5 == []
loquedebedarpidiendo3ensala1 = [((nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 0 0 2), (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 0 0 4)),
( (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 1 0 0), (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 1 0 2)),
( (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 1 1), (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 1 3)),
( (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 1 2), (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 1 4))]
loquedebedarpidiendo3ensala2 = [( (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 0 0 0), (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 0 0 2)),
( (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 1 0 1), (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 1 0 3)),
( (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 1), (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 3)),
( (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 2), (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 4)),
( (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 1 3), (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 1 5))]
loquedebedarpidiendo4ensala1 = [((nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 1 1), (nuevaE (nuevaFe 27 2 1987) (nuevaH 13 05) "sala1" 2 1 4))]
loquedebedarpidiendo4ensala2 = [((nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 1), (nuevaE (nuevaFe 31 12 1989) (nuevaH 13 58) "sala2" 2 0 4))]
testearCostoDeUnaFuncionT = costoDeUnaFuncionT teatro1 funcion1 == (100 `div`30+200 `div` 30+300 `div`30+400+500) &&
costoDeUnaFuncionT teatro1 funcion2 == (150 `div` 30 + 250 `div` 30 + 300+400+200)
testearBalanceDeT = balanceT teatro1 (nuevaFe 1 1 1) == 0 && balanceT teatro1 (nuevaFe 27 2 1987) == 100+50*3+25*2-(100 `div`30+200 `div` 30+300 `div`30+400+500) &&
balanceT teatro1 (nuevaFe 31 12 1989) == 100+50*3+25*2-(100 `div`30+200 `div` 30+300 `div`30+400+500)+ 300+100*3+50*3-(150 `div` 30 + 250 `div` 30 + 300+400+200) &&
balanceT teatro1 (nuevaFe 31 12 2005) == balanceT teatro1 (nuevaFe 31 12 1989)