hscim-0.4.0.3: hscim json schema and server implementation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Web.Scim.Capabilities.MetaSchema

Documentation

data ConfigSite route Source #

Instances

Instances details
Generic (ConfigSite route) Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Associated Types

type Rep (ConfigSite route) :: Type -> Type #

Methods

from :: ConfigSite route -> Rep (ConfigSite route) x #

to :: Rep (ConfigSite route) x -> ConfigSite route #

type Rep (ConfigSite route) Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

type Rep (ConfigSite route) = D1 ('MetaData "ConfigSite" "Web.Scim.Capabilities.MetaSchema" "hscim-0.4.0.3-1xz8CePoLRdDOrMXTV7j7m" 'False) (C1 ('MetaCons "ConfigSite" 'PrefixI 'True) ((S1 ('MetaSel ('Just "spConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (route :- ("ServiceProviderConfig" :> Get '[SCIM] Configuration))) :*: S1 ('MetaSel ('Just "getSchemas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (route :- ("Schemas" :> Get '[SCIM] (ListResponse Value))))) :*: (S1 ('MetaSel ('Just "schema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (route :- ("Schemas" :> (Capture "id" Text :> Get '[SCIM] Value)))) :*: S1 ('MetaSel ('Just "resourceTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (route :- ("ResourceTypes" :> Get '[SCIM] (ListResponse Resource)))))))

configServer :: Monad m => Configuration -> ConfigSite (AsServerT (ScimHandler m)) Source #

data Supported a Source #

Constructors

Supported 

Fields

Instances

Instances details
(Typeable a, FromJSON a) => FromJSON (Supported a) Source #

See module Test.Schema.MetaSchemaSpec for golden tests that explain this instance better.

Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

parseJSON :: Value -> Parser (Supported a) #

parseJSONList :: Value -> Parser [Supported a] #

ToJSON a => ToJSON (Supported a) Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

toJSON :: Supported a -> Value #

toEncoding :: Supported a -> Encoding #

toJSONList :: [Supported a] -> Value #

toEncodingList :: [Supported a] -> Encoding #

Generic (Supported a) Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Associated Types

type Rep (Supported a) :: Type -> Type #

Methods

from :: Supported a -> Rep (Supported a) x #

to :: Rep (Supported a) x -> Supported a #

Show a => Show (Supported a) Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

showsPrec :: Int -> Supported a -> ShowS #

show :: Supported a -> String #

showList :: [Supported a] -> ShowS #

Eq a => Eq (Supported a) Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

(==) :: Supported a -> Supported a -> Bool #

(/=) :: Supported a -> Supported a -> Bool #

type Rep (Supported a) Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

type Rep (Supported a) = D1 ('MetaData "Supported" "Web.Scim.Capabilities.MetaSchema" "hscim-0.4.0.3-1xz8CePoLRdDOrMXTV7j7m" 'False) (C1 ('MetaCons "Supported" 'PrefixI 'True) (S1 ('MetaSel ('Just "supported") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScimBool) :*: S1 ('MetaSel ('Just "subConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

data BulkConfig Source #

Constructors

BulkConfig 

Fields

Instances

Instances details
FromJSON BulkConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

parseJSON :: Value -> Parser BulkConfig #

parseJSONList :: Value -> Parser [BulkConfig] #

ToJSON BulkConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

toJSON :: BulkConfig -> Value #

toEncoding :: BulkConfig -> Encoding #

toJSONList :: [BulkConfig] -> Value #

toEncodingList :: [BulkConfig] -> Encoding #

Generic BulkConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Associated Types

type Rep BulkConfig :: Type -> Type #

Methods

from :: BulkConfig -> Rep BulkConfig x #

to :: Rep BulkConfig x -> BulkConfig #

Show BulkConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

showsPrec :: Int -> BulkConfig -> ShowS #

show :: BulkConfig -> String #

showList :: [BulkConfig] -> ShowS #

Eq BulkConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

(==) :: BulkConfig -> BulkConfig -> Bool #

(/=) :: BulkConfig -> BulkConfig -> Bool #

type Rep BulkConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

type Rep BulkConfig = D1 ('MetaData "BulkConfig" "Web.Scim.Capabilities.MetaSchema" "hscim-0.4.0.3-1xz8CePoLRdDOrMXTV7j7m" 'False) (C1 ('MetaCons "BulkConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "maxOperations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "maxPayloadSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data FilterConfig Source #

Constructors

FilterConfig 

Fields

Instances

Instances details
FromJSON FilterConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

parseJSON :: Value -> Parser FilterConfig #

parseJSONList :: Value -> Parser [FilterConfig] #

ToJSON FilterConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

toJSON :: FilterConfig -> Value #

toEncoding :: FilterConfig -> Encoding #

toJSONList :: [FilterConfig] -> Value #

toEncodingList :: [FilterConfig] -> Encoding #

Generic FilterConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Associated Types

type Rep FilterConfig :: Type -> Type #

Methods

from :: FilterConfig -> Rep FilterConfig x #

to :: Rep FilterConfig x -> FilterConfig #

Show FilterConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

showsPrec :: Int -> FilterConfig -> ShowS #

show :: FilterConfig -> String #

showList :: [FilterConfig] -> ShowS #

Eq FilterConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

(==) :: FilterConfig -> FilterConfig -> Bool #

(/=) :: FilterConfig -> FilterConfig -> Bool #

type Rep FilterConfig Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

type Rep FilterConfig = D1 ('MetaData "FilterConfig" "Web.Scim.Capabilities.MetaSchema" "hscim-0.4.0.3-1xz8CePoLRdDOrMXTV7j7m" 'False) (C1 ('MetaCons "FilterConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "maxResults") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Configuration Source #

Constructors

Configuration 

Fields

Instances

Instances details
FromJSON Configuration Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

parseJSON :: Value -> Parser Configuration #

parseJSONList :: Value -> Parser [Configuration] #

ToJSON Configuration Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

toJSON :: Configuration -> Value #

toEncoding :: Configuration -> Encoding #

toJSONList :: [Configuration] -> Value #

toEncodingList :: [Configuration] -> Encoding #

Generic Configuration Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Associated Types

type Rep Configuration :: Type -> Type #

Methods

from :: Configuration -> Rep Configuration x #

to :: Rep Configuration x -> Configuration #

Show Configuration Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

showsPrec :: Int -> Configuration -> ShowS #

show :: Configuration -> String #

showList :: [Configuration] -> ShowS #

Eq Configuration Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

Methods

(==) :: Configuration -> Configuration -> Bool #

(/=) :: Configuration -> Configuration -> Bool #

type Rep Configuration Source # 
Instance details

Defined in Web.Scim.Capabilities.MetaSchema

type Rep Configuration = D1 ('MetaData "Configuration" "Web.Scim.Capabilities.MetaSchema" "hscim-0.4.0.3-1xz8CePoLRdDOrMXTV7j7m" 'False) (C1 ('MetaCons "Configuration" 'PrefixI 'True) (((S1 ('MetaSel ('Just "documentationUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe URI)) :*: S1 ('MetaSel ('Just "schemas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Schema])) :*: (S1 ('MetaSel ('Just "patch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Supported ())) :*: S1 ('MetaSel ('Just "bulk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Supported BulkConfig)))) :*: ((S1 ('MetaSel ('Just "filter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Supported FilterConfig)) :*: S1 ('MetaSel ('Just "changePassword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Supported ()))) :*: (S1 ('MetaSel ('Just "sort") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Supported ())) :*: (S1 ('MetaSel ('Just "etag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Supported ())) :*: S1 ('MetaSel ('Just "authenticationSchemes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [AuthenticationSchemeEncoding]))))))

empty :: Configuration Source #