TimeSheet-UPO

A component for the The Ur/Web People Organizer that provides a customizable time sheet like the one below:

Tutorial

Follow the sections below to see how to create a time sheet application with TimeSheet-UPO.

Service

The easiest way to create the service layer TimeSheet-UPO requires is through the TimeSheet.MakeService functor, which receives four tables as arguments:

groupTable is the table whose records group the rows of the time sheet;
rowTable is the table whose records fill the rows of the time sheet;
groupRowTable is the table that relates groupTable and rowTable records in a many to many fashion;
cellTable is the table whose records fill the cells of the time sheet. cellTable also relates groupTable and rowTable records in a many to many fashion, but this time with (at least) a time attribute.

table userTable : {Id : int, Nm : string} PRIMARY KEY Id,
      CONSTRAINT NM_IS_UNIQUE UNIQUE Nm

table projectTable : {Id : int, Nm : string, Ds : string, UserId : int} PRIMARY KEY Id,
      CONSTRAINT NM_IS_UNIQUE UNIQUE Nm,
      CONSTRAINT USER_ID_IS_FOREIGN_KEY FOREIGN KEY UserId REFERENCES userTable (Id)

table taskTable : {Id : int, Nm : string, Ds : string, UserId : int} PRIMARY KEY Id,
      CONSTRAINT NM_IS_UNIQUE UNIQUE Nm,
      CONSTRAINT USER_ID_IS_FOREIGN_KEY FOREIGN KEY UserId REFERENCES userTable (Id)      

table projectTaskTable : {ProjectId : int, TaskId : int} PRIMARY KEY (ProjectId, TaskId),
      CONSTRAINT PROJECT_ID_IS_FOREIGN_KEY FOREIGN KEY ProjectId REFERENCES projectTable (Id),
      CONSTRAINT TASK_ID_IS_FOREIGN_KEY FOREIGN KEY TaskId REFERENCES taskTable (Id)

table entryTable : {ProjectId : int, TaskId : int, Date : time, Time : float} PRIMARY KEY (ProjectId, TaskId, Date),
      CONSTRAINT PROJECT_ID_IS_FOREIGN_KEY FOREIGN KEY ProjectId REFERENCES projectTable (Id),
      CONSTRAINT TASK_ID_IS_FOREIGN_KEY FOREIGN KEY TaskId REFERENCES taskTable (Id)

structure Service = TimeSheet.MakeService (struct
					       val groupTable = projectTable
					       val rowTable = taskTable
					       val groupRowTable = projectTaskTable
					       val cellTable = entryTable
					       val groupQueryPredicate = (WHERE G.UserId = 1)
					       val rowQueryPredicate = (WHERE G.UserId = 1 AND R.UserId = 1)
					       val cellQueryPredicate = (WHERE G.UserId = 1 AND R.UserId = 1)
					   end)

Model

structure Model = TimeSheet.MakeModel (struct
					   structure Service = Service
							       
					   fun convertCellContent (contentOption : option {Time : float}) : transaction ({Id : id, ValueSource : source string}) =
					       id <- fresh;
					       valueSource <- source (case contentOption of
									  Some content => show content.Time
									| None => "");
					       return {Id = id, ValueSource = valueSource}
					       
					   fun convertCellModelContent (content : {Id : id, ValueSource : source string}) : transaction (option {Time : float}) =
					       content <- get content.ValueSource;
					       return (if content = ""
						       then None
						       else Some {Time = readError content})
					       
					   fun convertRowContent (content : {Nm : string, Ds : string}) : transaction string =
					       return content.Nm
					       
					   fun convertGroupContent (content : {Nm : string, Ds : string}) : transaction string =
					       return content.Nm
				       end)

View

ffi blur: id -> transaction unit

structure View = TimeSheet.MakeView (struct
					 structure Model = Model
					 
					 fun cellView (id : Model.cellModelId) (content : {Id : id, ValueSource : source string}) : xbody = <xml>
					   <ctextbox id={content.Id} source={content.ValueSource} onkeyup={fn event => if event.KeyCode = 13 then
															   _ <- Model.saveCellModel id content;
															   blur content.Id
														       else
															   return ()}/>
					   </xml>
																	    
					 fun rowHeaderView (content : string) : xbody = <xml>
					   {[content]}
					 </xml>
											
					 fun groupHeaderView (content : string) : xbody = <xml>
					   {[content]}
					 </xml>
				     end)

Application