rendered paste bodyWebLayer(
"Blog"
, amb(
[ [ PageDecl(
Some(InitialKeyword())
, "UserList"
, []
, [ Header(RefTextExpr("u.name"))
, Iterator(
PageParameter("User", "u")
, amb([AllSelector(), QualIdSelector("all")])
, [SimpleIterElem("\"name\"", Expr("u.name"))]
)
]
)
, PageDecl(
None()
, "Blog"
, [PageParameter("User", "u")]
, [Header(CompositeTextExpr([LitTextExpr("\"Blog by \""), RefTextExpr("u.name")]))]
)
]
, [ PageDecl(
Some(InitialKeyword())
, "UserList"
, []
, [ Header(RefTextExpr("u.name"))
, Iterator(
PageParameter("User", "u")
, amb([AllSelector(), QualIdSelector("all")])
, [SimpleIterElem("\"name\"", Expr("u.name"))]
)
]
)
, PageDecl(
None()
, "Blog"
, [PageParameter("User", "u")]
, [Header(CompositeTextExpr([LitTextExpr("\"Blog by \""), RefTextExpr("u.name")]))]
)
]
, [ PageDecl(
Some(InitialKeyword())
, "UserList"
, []
, [ Header(RefTextExpr("u.name"))
, Iterator(
PageParameter("User", "u")
, amb([AllSelector(), QualIdSelector("all")])
, [SimpleIterElem("\"name\"", Expr("u.name"))]
)
]
)
, PageDecl(
None()
, "Blog"
, [PageParameter("User", "u")]
, [Header(CompositeTextExpr([LitTextExpr("\"Blog by \""), RefTextExpr("u.name")]))]
)
]
]
)
)