循环db intmap(人)

时间:2011-07-11 12:05:19

标签: opa

示例:

type person = { name : string
                ; age : int
              }

db /person : intmap(person)

我知道如何从数据库中获取一个人,但我如何得到它们?并将它们打印在html表格中?

THX。

4 个答案:

答案 0 :(得分:4)

这应该这样做:

my_html_list() =
  List.map(
    person -> <li>{person.name}</li>,
    IntMap.To.val_list(/person)
  )

render() = <ul>{my_html_list()}</ul>

...然后在服务器页面中调用render()...

答案 1 :(得分:3)

简单地说:

  • / person [i] 从数据库中获取元素i
  • / person 从数据库中获取整个intmap
  • !/ person 为您提供数据库的句柄,您可以使用该句柄,例如,Db.intmap_fold_range以优化部分访问

答案 2 :(得分:2)

我建议您使用Db.intmap_fold_range而不是InMap.fold。 它比InMap.fold更快,它需要在折叠之前在OPA中构建所有地图。

http://opalang.org/resources/doc/index.html#db.opa.html/!/value_stdlib.core.db.Db.intmap_fold_range

以下是您的类型的示例:

type person = { name : string
                ; age : int
              }

db /person : intmap(person)

add(name, age) =
  /person[age] <- { ~name; ~age }

fold_person(acc, id) =
 person = /person[id]
 <>{acc}</><li>{person.name} {person.age}</li>

start() =
  do add("name1", 1)
  do add("name2", 2)
  do add("name3", 3)
  Db.intmap_fold_range(
    @/person,
    fold_person,
    <></>, 0, none, /* acc, starting key, optional max */
    (_ -> true) /* check range */
  )

server = one_page_server("Hello", start)

答案 3 :(得分:1)

关注@shomodj对我的回答的评论,这是我打印人员名单的完整代码(灵感来自Cédrics代码)

// Declare type person
type person = {
  name : string
  age : int
}

// Declare database
db /person : intmap(person)

// Add function
add(name, age) =
  /person[age] <- { ~name ~age }

// Add to database when server launches
do add("name1", 1)
do add("name2", 2)
do add("name3", 3)

// Build the persons <li> list
my_html_list() =
  List.map(
    person -> <li>{person.name}</li>,
    IntMap.To.val_list(/person)
  )

// Build the complete html list (with ul)
render() = <ul>{my_html_list()}</ul>

// Create the server
server = one_page_server("Hello", render)