Safe Haskell	Safe-Inferred
Language	GHC2021

Mig.Json

Contents

methods
common

Description

Module for HTML-based servers

Synopsis

newtype Get m a = Get (m a)
newtype Post m a = Post (m a)
newtype Put m a = Put (m a)
newtype Delete m a = Delete (m a)
newtype Patch m a = Patch (m a)
newtype Options m a = Options (m a)
module Mig.Common

methods

newtype Get m a Source #

Get method. Note that we can not use body input with Get-method, use Post for that. So with Get we can use only URI inputs (Query, Optional, Capture)

Constructors

Get (m a)

Instances

Instances details

(Monad m, ToJsonResp a) => ToServer (Get m a) Source #
Instance details Defined in Mig.Json Associated Types type ServerMonad (Get m a) :: Type -> Type Source # Methods toServer :: Get m a -> Server (ServerMonad (Get m a)) Source #
type ServerMonad (Get m a) Source #
Instance details Defined in Mig.Json type ServerMonad (Get m a) = m

newtype Post m a Source #

Post method

Constructors

Post (m a)

Instances

Instances details

(Monad m, ToJsonResp a) => ToServer (Post m a) Source #
Instance details Defined in Mig.Json Associated Types type ServerMonad (Post m a) :: Type -> Type Source # Methods toServer :: Post m a -> Server (ServerMonad (Post m a)) Source #
type ServerMonad (Post m a) Source #
Instance details Defined in Mig.Json type ServerMonad (Post m a) = m

newtype Put m a Source #

Put method

Constructors

Put (m a)

Instances

Instances details

(Monad m, ToJsonResp a) => ToServer (Put m a) Source #
Instance details Defined in Mig.Json Associated Types type ServerMonad (Put m a) :: Type -> Type Source # Methods toServer :: Put m a -> Server (ServerMonad (Put m a)) Source #
type ServerMonad (Put m a) Source #
Instance details Defined in Mig.Json type ServerMonad (Put m a) = m

newtype Delete m a Source #

Delete method

Constructors

Delete (m a)

Instances

Instances details

(Monad m, ToJsonResp a) => ToServer (Delete m a) Source #
Instance details Defined in Mig.Json Associated Types type ServerMonad (Delete m a) :: Type -> Type Source # Methods toServer :: Delete m a -> Server (ServerMonad (Delete m a)) Source #
type ServerMonad (Delete m a) Source #
Instance details Defined in Mig.Json type ServerMonad (Delete m a) = m

newtype Patch m a Source #

Patch method

Constructors

Patch (m a)

Instances

Instances details

(Monad m, ToJsonResp a) => ToServer (Patch m a) Source #
Instance details Defined in Mig.Json Associated Types type ServerMonad (Patch m a) :: Type -> Type Source # Methods toServer :: Patch m a -> Server (ServerMonad (Patch m a)) Source #
type ServerMonad (Patch m a) Source #
Instance details Defined in Mig.Json type ServerMonad (Patch m a) = m

newtype Options m a Source #

Options method

Constructors

Options (m a)

Instances

Instances details

(Monad m, ToJsonResp a) => ToServer (Options m a) Source #
Instance details Defined in Mig.Json Associated Types type ServerMonad (Options m a) :: Type -> Type Source # Methods toServer :: Options m a -> Server (ServerMonad (Options m a)) Source #
type ServerMonad (Options m a) Source #
Instance details Defined in Mig.Json type ServerMonad (Options m a) = m

common

Common re-exports

module Mig.Common