ribosome-host-0.9.9.9: Neovim plugin host for Polysemy
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ribosome.Host.Data.Request

Synopsis

Documentation

newtype RpcMethod Source #

Constructors

RpcMethod 

Fields

Instances

Instances details
IsString RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Monoid RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Semigroup RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Generic RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Associated Types

type Rep RpcMethod :: Type -> Type #

Show RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Eq RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Ord RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

MsgpackDecode RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

MsgpackEncode RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

type Rep RpcMethod Source # 
Instance details

Defined in Ribosome.Host.Data.Request

type Rep RpcMethod = D1 ('MetaData "RpcMethod" "Ribosome.Host.Data.Request" "ribosome-host-0.9.9.9-5mVeOZw909e7nfaEBEbC5r" 'True) (C1 ('MetaCons "RpcMethod" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRpcMethod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype RequestId Source #

Constructors

RequestId 

Fields

Instances

Instances details
Enum RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Generic RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Associated Types

type Rep RequestId :: Type -> Type #

Num RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Integral RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Real RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Show RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Eq RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Ord RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

MsgpackDecode RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

MsgpackEncode RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

type Rep RequestId Source # 
Instance details

Defined in Ribosome.Host.Data.Request

type Rep RequestId = D1 ('MetaData "RequestId" "Ribosome.Host.Data.Request" "ribosome-host-0.9.9.9-5mVeOZw909e7nfaEBEbC5r" 'True) (C1 ('MetaCons "RequestId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRequestId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))

data Request Source #

The payload of an RPC request.

Constructors

Request 

Fields

  • method :: RpcMethod

    The method, which is either the Neovim API function name or the internal identifier of a Ribosome handler.

  • arguments :: [Object]

    The arguments.

Instances

Instances details
Generic Request Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Associated Types

type Rep Request :: Type -> Type #

Methods

from :: Request -> Rep Request x #

to :: Rep Request x -> Request #

Show Request Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Eq Request Source # 
Instance details

Defined in Ribosome.Host.Data.Request

Methods

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

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

MsgpackEncode Request Source # 
Instance details

Defined in Ribosome.Host.Data.Request

type Rep Request Source # 
Instance details

Defined in Ribosome.Host.Data.Request

type Rep Request = D1 ('MetaData "Request" "Ribosome.Host.Data.Request" "ribosome-host-0.9.9.9-5mVeOZw909e7nfaEBEbC5r" 'False) (C1 ('MetaCons "Request" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RpcMethod) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object])))

data TrackedRequest Source #

An RPC request, which is a payload combined with a request ID.

Constructors

TrackedRequest 

Fields