Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Scim.Server

Contents

Synopsis

app :: forall tag m. App tag m (SiteAPI tag) => Configuration -> (forall a. ScimHandler m a -> Handler a) -> Application
mkapp :: forall tag m api. App tag m api => Proxy api -> ServerT api (ScimHandler m) -> (forall a. ScimHandler m a -> Handler a) -> Application
type App tag m api = (DB tag m, Show (GroupId tag), HasServer api '[])
type SiteAPI tag = ToServantApi (Site tag)
data Site tag route = Site {
- config :: route :- ConfigAPI
- users :: route :- (Header "Authorization" (AuthData tag) :> ("Users" :> UserAPI tag))
- groups :: route :- (Header "Authorization" (AuthData tag) :> ("Groups" :> GroupAPI tag))
}
siteServer :: forall tag m. DB tag m => Configuration -> Site tag (AsServerT (ScimHandler m))
type ConfigAPI = ToServantApi ConfigSite
configServer :: Monad m => Configuration -> ConfigSite (AsServerT (ScimHandler m))
type UserAPI tag = ToServantApi (UserSite tag)
userServer :: forall tag m. (AuthDB tag m, UserDB tag m) => Maybe (AuthData tag) -> UserSite tag (AsServerT (ScimHandler m))
type GroupAPI tag = ToServantApi (GroupSite tag)
groupServer :: forall tag m. GroupDB tag m => Maybe (AuthData tag) -> GroupSite tag (AsServerT (ScimHandler m))

WAI application

app :: forall tag m. App tag m (SiteAPI tag) => Configuration -> (forall a. ScimHandler m a -> Handler a) -> Application Source #

mkapp :: forall tag m api. App tag m api => Proxy api -> ServerT api (ScimHandler m) -> (forall a. ScimHandler m a -> Handler a) -> Application Source #

type App tag m api = (DB tag m, Show (GroupId tag), HasServer api '[]) Source #

API tree

data Site tag route Source #

Constructors

Site
Fields config :: route :- ConfigAPI users :: route :- (Header "Authorization" (AuthData tag) :> ("Users" :> UserAPI tag)) groups :: route :- (Header "Authorization" (AuthData tag) :> ("Groups" :> GroupAPI tag))

Instances details

Generic (Site tag route) Source #
Instance details Defined in Web.Scim.Server Associated Types type Rep (Site tag route) :: Type -> Type # Methods from :: Site tag route -> Rep (Site tag route) x # to :: Rep (Site tag route) x -> Site tag route #
type Rep (Site tag route) Source #
Instance details Defined in Web.Scim.Server type Rep (Site tag route) = D1 ('MetaData "Site" "Web.Scim.Server" "hscim-0.4.0.4-2j6MXcQGp1TDKeruswPvhg" 'False) (C1 ('MetaCons "Site" 'PrefixI 'True) (S1 ('MetaSel ('Just "config") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (route :- ConfigAPI)) :: (S1 ('MetaSel ('Just "users") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (route :- (Header "Authorization" (AuthData tag) :> ("Users" :> UserAPI tag)))) :: S1 ('MetaSel ('Just "groups") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (route :- (Header "Authorization" (AuthData tag) :> ("Groups" :> GroupAPI tag)))))))