Documentation

Std.Internal.Http.Data.Method

Method #

This module provides the Method type that represents HTTP request methods. It defines all IANA-registered HTTP methods as distinct constructors, including standard methods (e.g. GET, POST, PUT, DELETE) and extension methods from WebDAV, CalDAV, and other specifications. Unrecognized method strings produce none from ofString?.

References:

source
inductive Std.Http.Method :
Type

A method is a verb that describes the action to be performed.

Covers all methods in the IANA HTTP Method Registry.

Instances For
    source
    @[implicit_reducible]
    instance Std.Http.instReprMethod :
    Repr Method
    source
    def Std.Http.instReprMethod.repr :
    Method → Nat → Format
    Instances For
      source
      def Std.Http.instInhabitedMethod.default :
      Method
      Instances For
        source
        @[implicit_reducible]
        instance Std.Http.instInhabitedMethod :
        Inhabited Method
        source
        @[implicit_reducible]
        instance Std.Http.instBEqMethod :
        BEq Method
        source
        def Std.Http.instBEqMethod.beq :
        Method → Method → Bool
        Instances For
          source
          @[implicit_reducible]
          instance Std.Http.instDecidableEqMethod :
          DecidableEq Method
          source
          def Std.Http.Method.ofString? :
          String → Option Method

          Converts a String into a Method. Returns none for unrecognized method strings.

          Instances For
            source
            def Std.Http.Method.ofString! (s : String) :
            Method

            Converts a String into a Method, panicking if unrecognized.

            Instances For
              source
              @[implicit_reducible]
              instance Std.Http.Method.instToString :
              ToString Method
              source
              @[implicit_reducible]
              instance Std.Http.Method.instEncodeV11 :
              Internal.Encode Version.v11 Method