lsp-types-2.2.0.0: Haskell library for the Microsoft Language Server Protocol, data types
Safe HaskellNone
LanguageGHC2021

Language.LSP.Protocol.Utils.SMethodMap

Synopsis

Documentation

data SMethodMap (v :: Method f t -> Type) #

A specialized alternative to a full dependent map for use with SMethod.

Instances

Instances details
Monoid (SMethodMap v) # 
Instance details

Defined in Language.LSP.Protocol.Utils.SMethodMap

Semigroup (SMethodMap v) # 
Instance details

Defined in Language.LSP.Protocol.Utils.SMethodMap

singleton :: forall {f :: MessageDirection} {t :: MessageKind} (a :: Method f t) v. SMethod a -> v a -> SMethodMap v #

insert :: forall {f :: MessageDirection} {t :: MessageKind} (a :: Method f t) v. SMethod a -> v a -> SMethodMap v -> SMethodMap v #

delete :: forall {f1 :: MessageDirection} {t1 :: MessageKind} {f2 :: MessageDirection} {t2 :: MessageKind} (a :: Method f1 t1) (v :: Method f2 t2 -> Type). SMethod a -> SMethodMap v -> SMethodMap v #

member :: forall {f1 :: MessageDirection} {t1 :: MessageKind} {f2 :: MessageDirection} {t2 :: MessageKind} (a :: Method f1 t1) (v :: Method f2 t2 -> Type). SMethod a -> SMethodMap v -> Bool #

lookup :: forall {f :: MessageDirection} {t :: MessageKind} (a :: Method f t) v. SMethod a -> SMethodMap v -> Maybe (v a) #

map :: forall {f :: MessageDirection} {t :: MessageKind} u v. (forall (a :: Method f t). u a -> v a) -> SMethodMap u -> SMethodMap v #