Safe Haskell	Safe-Inferred
Language	Haskell2010

Tonatona.Servant

Synopsis

run :: forall (api :: Type) env. (HasServer api '[], HasConfig env Config, HasConfig env Config) => ServerT api (RIO env) -> RIO env ()
runWithHandlers :: forall (api :: Type) env. (HasServer api '[], HasConfig env Config, HasConfig env Config) => (forall a. [Handler (RIO env) a]) -> ServerT api (RIO env) -> RIO env ()
redirect :: ByteString -> RIO env a
data Config = Config {
- host :: Host
- protocol :: Protocol
- port :: Port
}
newtype Host = Host {
- unHost :: Text
}
type Port = Int
newtype Protocol = Protocol {
- unProtocol :: Text
}

Documentation

run :: forall (api :: Type) env. (HasServer api '[], HasConfig env Config, HasConfig env Config) => ServerT api (RIO env) -> RIO env () Source #

Main function.

runWithHandlers :: forall (api :: Type) env. (HasServer api '[], HasConfig env Config, HasConfig env Config) => (forall a. [Handler (RIO env) a]) -> ServerT api (RIO env) -> RIO env () Source #

Main function which allows you to pass error handlers.

Constructors

Config
Fields host :: Host protocol :: Protocol port :: Port

Instances details

Show Config Source #
Instance details Defined in Tonatona.Servant Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #
HasParser Config Source #
Instance details Defined in Tonatona.Servant Methods parser :: Parser Config #

This defines the host part of a URL.

For example, in the URL https://some.url.com:8090/, the host is some.url.com.

Constructors

Host
Fields unHost :: Text

Instances details

IsString Host Source #
Instance details Defined in Tonatona.Servant Methods fromString :: String -> Host #
Read Host Source #
Instance details Defined in Tonatona.Servant Methods readsPrec :: Int -> ReadS Host # readList :: ReadS [Host] # readPrec :: ReadPrec Host # readListPrec :: ReadPrec [Host] #
Show Host Source #
Instance details Defined in Tonatona.Servant Methods showsPrec :: Int -> Host -> ShowS # show :: Host -> String # showList :: [Host] -> ShowS #
Eq Host Source #
Instance details Defined in Tonatona.Servant Methods (==) :: Host -> Host -> Bool # (/=) :: Host -> Host -> Bool #
HasParser Host Source #
Instance details Defined in Tonatona.Servant Methods parser :: Parser Host #

type Port = Int #

TCP port number.

This defines the protocol part of a URL.

For example, in the URL https://some.url.com:8090/, the protocol is https.

Constructors

Protocol
Fields unProtocol :: Text

Instances details

IsString Protocol Source #
Instance details Defined in Tonatona.Servant Methods fromString :: String -> Protocol #
Read Protocol Source #
Instance details Defined in Tonatona.Servant Methods readsPrec :: Int -> ReadS Protocol # readList :: ReadS [Protocol] # readPrec :: ReadPrec Protocol # readListPrec :: ReadPrec [Protocol] #
Show Protocol Source #
Instance details Defined in Tonatona.Servant Methods showsPrec :: Int -> Protocol -> ShowS # show :: Protocol -> String # showList :: [Protocol] -> ShowS #
Eq Protocol Source #
Instance details Defined in Tonatona.Servant Methods (==) :: Protocol -> Protocol -> Bool # (/=) :: Protocol -> Protocol -> Bool #
HasParser Protocol Source #
Instance details Defined in Tonatona.Servant Methods parser :: Parser Protocol #