Product Domains

Payroll information (name, payrate, hours)

Domain Payroll = String x Rat x Rat

Operations

newemp: String ? Payroll

newemp(name) = (name, minwage, 0)
where minwage ? Rat and 0 = makerat(0)(1)

upd­payrate: Rat x Payroll ? Payroll
upd­payrate(pay, emp) = (emp?1, pay, emp ?3)

upd­hours: Rat x Payroll ? Payroll
upd­hours(hours, emp) = (emp?1,emp?2, addrat(hours)(emp?3))

Previous slide

Next slide

Back to first slide

View graphic version