MyNixOS website logo
Description

Build lightweight and composable servers.

With library mig we can build lightweight and composable servers. There are only couple of combinators to assemble servers from parts. It supports generic handler functions as servant does. But strives to use more simple model for API. It does not go to describing Server API at type level which leads to simpler error messages.

The main features are:

  • lightweight library

  • expressive DSL to compose servers

  • type-safe handlers

  • handlers are encoded with generic haskell functions

  • built on top of WAI and warp server libraries.

Example of hello world server:

{-# Language OverloadedStrings #-}
import Mig.Json.IO

-- | We can render the server and run it on port 8085.
-- It uses wai and warp.
main :: IO ()
main = runServer 8085 server

-- | Init simple hello world server whith two routes:
server :: Server IO
server =
  "api/v1" /.
      [ "hello" /. hello
      , "bye" /. bye
      ]

-- | Handler takes no inputs and marked as Get HTTP-request that returns Text.
hello :: Get (Resp Text)
hello = pure $ ok "Hello World"

-- | Handle with URL-param query and json body input as Post HTTP-request that returns Text.
bye :: Query "name" Text -> Body Text -> Post (Resp Text)
bye (Query name) (Body greeting) =
  pure $ ok $ "Bye to " <> name <> " " <> greeting

Please see:

mig-server.

Metadata

Version

0.2.1.0

Platforms (75)

    Darwin
    FreeBSD
    Genode
    GHCJS
    Linux
    MMIXware
    NetBSD
    none
    OpenBSD
    Redox
    Solaris
    WASI
    Windows
Show all
  • aarch64-darwin
  • aarch64-genode
  • aarch64-linux
  • aarch64-netbsd
  • aarch64-none
  • aarch64_be-none
  • arm-none
  • armv5tel-linux
  • armv6l-linux
  • armv6l-netbsd
  • armv6l-none
  • armv7a-darwin
  • armv7a-linux
  • armv7a-netbsd
  • armv7l-linux
  • armv7l-netbsd
  • avr-none
  • i686-cygwin
  • i686-darwin
  • i686-freebsd
  • i686-genode
  • i686-linux
  • i686-netbsd
  • i686-none
  • i686-openbsd
  • i686-windows
  • javascript-ghcjs
  • loongarch64-linux
  • m68k-linux
  • m68k-netbsd
  • m68k-none
  • microblaze-linux
  • microblaze-none
  • microblazeel-linux
  • microblazeel-none
  • mips-linux
  • mips-none
  • mips64-linux
  • mips64-none
  • mips64el-linux
  • mipsel-linux
  • mipsel-netbsd
  • mmix-mmixware
  • msp430-none
  • or1k-none
  • powerpc-netbsd
  • powerpc-none
  • powerpc64-linux
  • powerpc64le-linux
  • powerpcle-none
  • riscv32-linux
  • riscv32-netbsd
  • riscv32-none
  • riscv64-linux
  • riscv64-netbsd
  • riscv64-none
  • rx-none
  • s390-linux
  • s390-none
  • s390x-linux
  • s390x-none
  • vc4-none
  • wasm32-wasi
  • wasm64-wasi
  • x86_64-cygwin
  • x86_64-darwin
  • x86_64-freebsd
  • x86_64-genode
  • x86_64-linux
  • x86_64-netbsd
  • x86_64-none
  • x86_64-openbsd
  • x86_64-redox
  • x86_64-solaris
  • x86_64-windows