lsp-types-2.3.0.1: Haskell library for the Microsoft Language Server Protocol, data types

Safe Haskell | None
Language | GHC2021

Language.LSP.Protocol.Utils.SMethodMap

Synopsis

- data SMethodMap (v :: Method f t -> Type)
- 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

# 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 Methods mempty :: SMethodMap v # mappend :: SMethodMap v -> SMethodMap v -> SMethodMap v # mconcat :: [SMethodMap v] -> SMethodMap v #
Semigroup (SMethodMap v) # |
Instance details Defined in Language.LSP.Protocol.Utils.SMethodMap Methods (<>) :: SMethodMap v -> SMethodMap v -> SMethodMap v # sconcat :: NonEmpty (SMethodMap v) -> SMethodMap v # stimes :: Integral b => b -> SMethodMap v -> SMethodMap v #

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 #