Routing

Routes define how your application responds to client requests.

Basic Routes

Define routes in your application using route.get() or route.post():

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := create_app(
    routes: [
      route.get(
        name: "index"
        path: "/"
        callback: fn (app App) !Response {
          return app.response.html(content: "hello world")
        }
      )
    ]
  )

  app.serve() or { panic(err) }
}

NOTICE

GET routes automatically respond to HEAD and OPTIONS requests. You do not have to register these routes.

Route Parameters

Capture URL segments using parameters:

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := create_app(
    routes: [
      route.get(
        name: "post.show"
        path: "/post/{id}"
        callback: fn (app App) !Response {
          id := app.route_parameter("id") or {
            return app.response.html(content: "Post not found")
          }

          return app.response.html(content: "Showing post ${id}")
        }
      )
    ]
  )

  app.serve() or { panic(err) }
}

Multiple Parameters

Routes can have multiple parameters:

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := create_app(
    routes: [
      route.get(
        name: "post.comment"
        path: "/post/{post_id}/comment/{comment_id}"
        callback: fn (app App) !Response {
          post_id := app.route_parameter("post_id") or {
            return app.response.html(content: "Post not found")
          }

          comment_id := app.route_parameter("comment_id") or {
            return app.response.html(content: "Comment not found")
          }

          return app.response.html(content: "Showing comment ${comment_id} on post ${post_id}")
        }
      )
    ]
  )

  app.serve() or { panic(err) }
}

HTTP Methods

• DELETE
• GET
• PATCH
• POST
• PUT

DELETE

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := http.create_app(
    routes: [
      route.delete(path: "/post/{post}", callback: fn (app App) !Response {
        id := app.route_parameter("post") or {
          return app.response.html(status: .not_found)
        }

        return app.response.html(content: "post ${id} deleted")
      })
    ]
  )

  app.serve() or { panic(err) }
}

GET

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := create_app(
    routes: [
      route.get(
        name: "post.create"
        path: "/post/create"
        callback: fn (app App) !Response {
          return app.response.html(content: "Create post form")
        }
      )
    ]
  )

  app.serve() or { panic(err) }
}

PATCH

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := http.create_app(
    routes: [
      route.patch(path: "/post/{post}/comment/{comment}", callback: fn (app App) !Response {
        comment_id := app.route_parameter("comment") or {
          return app.response.html(status: .not_found)
        }

        return app.response.html(content: "comment ${comment_id} modified")
      })
    ]
  )

  app.serve() or { panic(err) }
}

POST

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := create_app(
    routes: [
      route.post(
        name: "post.store"
        path: "/post"
        callback: fn (app App) !Response {
          return app.response.html(content: "Post created")
        }
      )
    ]
  )

  app.serve() or { panic(err) }
}

PUT

main.v

module main

import khalyomede.mantis.http { create_app, App, Response }
import khalyomede.mantis.http.route

fn main() {
  app := create_app(
    routes: [
      route.put(
        name: "post.update"
        path: "/post/{post}"
        callback: fn (app App) !Response {
          post_id := app.route_parameter("post") or {
            return app.response.html(status: .not_found)
          }

          return app.response.html(content: "Post ${post_id} updated")
        }
      )
    ]
  )

  app.serve() or { panic(err) }
}