NAME

       Eliom_mkreg.MakeRegister_AlphaReturn - no description

Module

       Module   Eliom_mkreg.MakeRegister_AlphaReturn

Documentation

       Module MakeRegister_AlphaReturn
        : functor (Pages : REG_PARAM_ALPHA_RETURN) -> sig end

       Parameters:

       "Pages"

       Eliom_mkreg.REG_PARAM_ALPHA_RETURN

       type ('a, 'b) page = ('a, 'b) Pages.page

       type options = Pages.options

       type 'b return = 'b Pages.return

       type ('a, 'b) result = ('a, 'b) Pages.result

       === Service registration ===

       val register : ?scope:[< Eliom_common.scope ] -> ?options:Pages.options -> ?charset:string
       -> ?code:int -> ?content_type:string -> ?headers:Http_headers.t -> ?secure_session:bool ->
       service:('get,  'post,  [< Eliom_service.internal_service_kind ], [< Eliom_service.suff ],
       'gn,   'pn,   [   `Registrable    ],    'b    Pages.return)    Eliom_service.service    ->
       ?error_handler:((string  *  exn)  list  -> ('a, 'b) Pages.page Lwt.t) -> ('get -> 'post ->
       ('a, 'b) Pages.page Lwt.t) -> unit

       The function register service handler will associate the service to the function handler .
       The  handler function take two parameters, the GET and POST parameters of the current HTTP
       request, and should returns the corresponding page.

       The optional parameter ~scope is Eliom_common.global by default, see the Eliom manual  for
       detailled description .

       The  optional  parameter  ~options  is  specific  to  each  output  module,  see  the type
       description for more information.

       The optional parameters ?charset , ?code , ?content_type  and  ?headers  can  be  used  to
       modify the HTTP answer sent by Eliom. Use this with care.

       The  optional parameter ~secure_session has no effect for scope Eliom_common.global . With
       other scopes, the parameter is used to force  the  session  service  table  in  which  the
       handler  will  be registered. By default, the service is registred in the unsecure session
       if the current request's protocol is http , or in the secure session if  the  protocol  is
       https  .  If set to false (resp.  true ) the handler will be stored in the unsecure (resp.
       secure) session. See the Eliom manual for an introduction to .

       The optional parameter ~error_handler is used to specialize the  error  page  when  actual
       parameters aren't compatible with the expected type. The default error handler is fun l ->
       raise ( Eliom_common.Eliom_Typing_Error l) .

       val  register_service  :  ?scope:[<  Eliom_common.scope  ]  ->  ?options:Pages.options  ->
       ?charset:string   ->  ?code:int  ->  ?content_type:string  ->  ?headers:Http_headers.t  ->
       ?secure_session:bool  ->  ?https:bool  ->  ?priority:int  ->  path:Eliom_lib.Url.path   ->
       get_params:('get,  [<  Eliom_service.suff  ]  as  'c,  'gn) Eliom_parameter.params_type ->
       ?error_handler:((string * exn) list -> ('a, 'b) Pages.page Lwt.t) -> ('get -> unit -> ('a,
       'b) Pages.page Lwt.t) -> ('get, unit, [> `Attached of ([> `Internal of [> `Service ] ], [>
       `Get ]) Eliom_service.a_s ], 'c, 'gn, unit, [< Eliom_service.registrable > `Registrable ],
       'b Pages.return) Eliom_service.service

       Same as Eliom_service.service followed by register .

       val  register_coservice  :  ?scope:[<  Eliom_common.scope  ]  -> ?options:Pages.options ->
       ?charset:string  ->  ?code:int  ->  ?content_type:string  ->  ?headers:Http_headers.t   ->
       ?secure_session:bool    ->    ?name:string    ->    ?csrf_safe:bool    ->   ?csrf_scope:[<
       Eliom_common.user_scope ]  ->  ?csrf_secure:bool  ->  ?max_use:int  ->  ?timeout:float  ->
       ?https:bool -> fallback:(unit, unit, [ `Attached of ([ `Internal of [ `Service ] ], [ `Get
       ]) Eliom_service.a_s ], [ `WithoutSuffix ], unit, unit, [< Eliom_service.registrable ], 'b
       Pages.return)   Eliom_service.service   ->  get_params:('get,  [  `WithoutSuffix  ],  'gn)
       Eliom_parameter.params_type -> ?error_handler:((string * exn) list -> ('a, 'b)  Pages.page
       Lwt.t)  -> ('get -> unit -> ('a, 'b) Pages.page Lwt.t) -> ('get, unit, [> `Attached of ([>
       `Internal of [> `Coservice ] ], [> `Get ]) Eliom_service.a_s ], [ `WithoutSuffix  ],  'gn,
       unit,    [<    Eliom_service.registrable    >    `Registrable    ],    'b    Pages.return)
       Eliom_service.service

       Same as Eliom_service.coservice followed by register .

       val register_coservice' : ?scope:[<  Eliom_common.scope  ]  ->  ?options:Pages.options  ->
       ?charset:string   ->  ?code:int  ->  ?content_type:string  ->  ?headers:Http_headers.t  ->
       ?secure_session:bool   ->    ?name:string    ->    ?csrf_safe:bool    ->    ?csrf_scope:[<
       Eliom_common.user_scope  ]  ->  ?csrf_secure:bool  ->  ?max_use:int  ->  ?timeout:float ->
       ?https:bool -> get_params:('get, [ `WithoutSuffix ], 'gn)  Eliom_parameter.params_type  ->
       ?error_handler:((string * exn) list -> ('a, 'b) Pages.page Lwt.t) -> ('get -> unit -> ('a,
       'b) Pages.page Lwt.t) -> ('get, unit, [> `Nonattached of [> `Get ] Eliom_service.na_s ], [
       `WithoutSuffix   ],   'gn,   unit,  [<  Eliom_service.registrable  >  `Registrable  ],  'b
       Pages.return) Eliom_service.service

       Same as Eliom_service.coservice' followed by register .

       val register_post_service : ?scope:[< Eliom_common.scope ]  ->  ?options:Pages.options  ->
       ?charset:string   ->  ?code:int  ->  ?content_type:string  ->  ?headers:Http_headers.t  ->
       ?secure_session:bool -> ?https:bool -> ?priority:int -> fallback:('get, unit, [  `Attached
       of  ([  `Internal  of  [  `Coservice  |  `Service  ]  ], [ `Get ]) Eliom_service.a_s ], [<
       Eliom_service.suff ] as 'c, 'gn, unit, [< `Registrable ], 'return2)  Eliom_service.service
       ->   post_params:('post,   [   `WithoutSuffix   ],   'pn)  Eliom_parameter.params_type  ->
       ?error_handler:((string * exn) list -> ('a, 'b) Pages.page Lwt.t) ->  ('get  ->  'post  ->
       ('a,  'b) Pages.page Lwt.t) -> ('get, 'post, [> `Attached of ([> `Internal of [ `Coservice
       |   `Service   ]   ],   [>   `Post   ])   Eliom_service.a_s   ],   'c,   'gn,   'pn,    [<
       Eliom_service.registrable > `Registrable ], 'b Pages.return) Eliom_service.service

       Same as Eliom_service.post_service followed by register .

       val  register_post_coservice : ?scope:[< Eliom_common.scope ] -> ?options:Pages.options ->
       ?charset:string  ->  ?code:int  ->  ?content_type:string  ->  ?headers:Http_headers.t   ->
       ?secure_session:bool    ->    ?name:string    ->    ?csrf_safe:bool    ->   ?csrf_scope:[<
       Eliom_common.user_scope ]  ->  ?csrf_secure:bool  ->  ?max_use:int  ->  ?timeout:float  ->
       ?https:bool  ->  fallback:('get,  unit,  [  `Attached  of  ([ `Internal of [< `Coservice |
       `Service ] ], [ `Get ]) Eliom_service.a_s ], [< Eliom_service.suff ] as 'c, 'gn, unit,  [<
       `Registrable   ],   'b   Pages.return)   Eliom_service.service  ->  post_params:('post,  [
       `WithoutSuffix ], 'pn) Eliom_parameter.params_type -> ?error_handler:((string * exn)  list
       ->  ('a,  'b)  Pages.page Lwt.t) -> ('get -> 'post -> ('a, 'b) Pages.page Lwt.t) -> ('get,
       'post, [> `Attached of ([> `Internal of [> `Coservice ] ], [> `Post  ])  Eliom_service.a_s
       ],  'c,  'gn,  'pn,  [<  Eliom_service.registrable  >  `Registrable  ],  'b  Pages.return)
       Eliom_service.service

       Same as Eliom_service.post_coservice followed by register .

       val register_post_coservice' : ?scope:[< Eliom_common.scope ] -> ?options:Pages.options ->
       ?charset:string   ->  ?code:int  ->  ?content_type:string  ->  ?headers:Http_headers.t  ->
       ?secure_session:bool   ->    ?name:string    ->    ?csrf_safe:bool    ->    ?csrf_scope:[<
       Eliom_common.user_scope  ]  ->  ?csrf_secure:bool  ->  ?max_use:int  ->  ?timeout:float ->
       ?keep_get_na_params:bool -> ?https:bool -> post_params:('post, [  `WithoutSuffix  ],  'pn)
       Eliom_parameter.params_type  -> ?error_handler:((string * exn) list -> ('a, 'b) Pages.page
       Lwt.t) -> (unit -> 'post -> ('a, 'b) Pages.page Lwt.t) -> (unit, 'post, [> `Nonattached of
       [>    `Post    ]    Eliom_service.na_s    ],   [   `WithoutSuffix   ],   unit,   'pn,   [<
       Eliom_service.registrable > `Registrable ], 'b Pages.return) Eliom_service.service

       Same as Eliom_service.post_coservice' followed by register .

       === Low-level function ===

       val send : ?options:Pages.options -> ?charset:string -> ?code:int ->  ?content_type:string
       -> ?headers:Http_headers.t -> ('a, 'b) Pages.page -> ('a, 'b) Pages.result Lwt.t

       The  function  send page build the HTTP frame corresponding to page . This may be used for
       example in an service handler  registered  with  Eliom_registration.Any.register  or  when
       building a custom output module.