All pastes #455762 Raw Edit

Unnamed

public text v1 · immutable
#455762 ·published 2007-04-24 13:17 UTC
rendered paste body
WebLayer(
  "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")]))]
        )
      ]
    ]
  )
)