servant-0.12.1: A family of combinators for defining webservices APIs

Safe HaskellSafe
LanguageHaskell2010

Servant.API.Experimental.Auth

Synopsis

Documentation

data AuthProtect (tag :: k) Source #

A generalized Authentication combinator. Use this if you have a non-standard authentication technique.

NOTE: THIS API IS EXPERIMENTAL AND SUBJECT TO CHANGE.

Instances

HasLink k2 sub => HasLink * ((:>) * k2 (AuthProtect k1 tag) sub) Source # 

Associated Types

type MkLink ((* :> k2) (AuthProtect k1 tag) sub) (endpoint :: (* :> k2) (AuthProtect k1 tag) sub) :: * Source #

Methods

toLink :: Proxy ((* :> k2) (AuthProtect k1 tag) sub) endpoint -> Link -> MkLink ((* :> k2) (AuthProtect k1 tag) sub) endpoint Source #

type MkLink * ((:>) * k1 (AuthProtect k2 tag) sub) Source # 
type MkLink * ((:>) * k1 (AuthProtect k2 tag) sub) = MkLink k1 sub