Documentation

Std.Http.Data.Body.Empty

Body.Empty #

Represents an always-empty, already-closed body handle.

source
structure Std.Http.Body.Empty :
Type

An empty body handle.

    Instances For
      source
      @[implicit_reducible]
      instance Std.Http.Body.instInhabitedEmpty :
      Inhabited Empty
      source
      def Std.Http.Body.instBEqEmpty.beq :
      Empty → Empty → Bool
      Instances For
        source
        @[implicit_reducible]
        instance Std.Http.Body.instBEqEmpty :
        BEq Empty
        source
        @[inline]
        def Std.Http.Body.Empty.recv :
        Empty → Async.Async (Option Chunk)

        Receives from an empty body, always returning end-of-stream.

        Instances For
          source
          @[inline]
          def Std.Http.Body.Empty.close :
          Empty → Async.Async Unit

          Closes an empty body (no-op).

          Instances For
            source
            @[inline]
            def Std.Http.Body.Empty.isClosed :
            Empty → Async.Async Bool

            Empty bodies are always closed for reading.

            Instances For
              source
              @[inline]
              def Std.Http.Body.Empty.tryRecv :
              Empty → Async.Async (Option (Option Chunk))

              Non-blocking receive. Empty bodies are always at EOF.

              Instances For
                source
                @[inline]
                def Std.Http.Body.Empty.recvSelector :
                Empty → Async.Selector (Option Chunk)

                Selector that immediately resolves with end-of-stream for an empty body.

                Instances For
                  source
                  @[implicit_reducible]
                  instance Std.Http.Body.instEmpty :
                  Body Empty
                  source
                  @[implicit_reducible]
                  instance Std.Http.Body.instCoeEmptyAny :
                  Coe Empty Any
                  source
                  @[implicit_reducible]
                  instance Std.Http.Body.instCoeResponseEmptyAny :
                  Coe (Response Empty) (Response Any)
                  source
                  @[implicit_reducible]
                  instance Std.Http.Body.instCoeContextAsyncResponseEmptyAny :
                  Coe (Async.ContextAsync (Response Empty)) (Async.ContextAsync (Response Any))
                  source
                  @[implicit_reducible]
                  instance Std.Http.Body.instCoeAsyncResponseEmptyContextAsyncAny :
                  Coe (Async.Async (Response Empty)) (Async.ContextAsync (Response Any))
                  source
                  def Std.Http.Request.Builder.empty (builder : Builder) :
                  Async.Async (Request Body.Empty)

                  Builds a request with no body.

                  Instances For
                    source
                    def Std.Http.Response.Builder.empty (builder : Builder) :
                    Async.Async (Response Body.Empty)

                    Builds a response with no body.

                    Instances For