Documentation

Std.Internal.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.instInhabitedEmpty.default :
      Empty
      Instances For
        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 → Internal.IO.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 → Internal.IO.Async.Async Unit

            Closes an empty body (no-op).

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

              Empty bodies are always closed for reading.

              Instances For
                source
                @[inline]
                def Std.Http.Body.Empty.recvSelector :
                Empty → Internal.IO.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 (Internal.IO.Async.ContextAsync (Response Empty)) (Internal.IO.Async.ContextAsync (Response Any))
                  source
                  @[implicit_reducible]
                  instance Std.Http.Body.instCoeAsyncResponseEmptyContextAsyncAny :
                  Coe (Internal.IO.Async.Async (Response Empty)) (Internal.IO.Async.ContextAsync (Response Any))
                  source
                  def Std.Http.Request.Builder.empty (builder : Builder) :
                  Internal.IO.Async.Async (Request Body.Empty)

                  Builds a request with no body.

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

                    Builds a response with no body.

                    Instances For