Language.LSP.Types.SMethodMap

Documentation

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

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

Instances

Monoid (SMethodMap v)

Defined in Language.LSP.Types.SMethodMap

Methods

mempty :: SMethodMap v

mappend :: SMethodMap v -> SMethodMap v -> SMethodMap v

mconcat :: [SMethodMap v] -> SMethodMap v

Semigroup (SMethodMap v)

Defined in Language.LSP.Types.SMethodMap

Methods

(<>) :: SMethodMap v -> SMethodMap v -> SMethodMap v

sconcat :: NonEmpty (SMethodMap v) -> SMethodMap v

stimes :: Integral b => b -> SMethodMap v -> SMethodMap v

singleton :: SMethod a -> v a -> SMethodMap v

insert :: SMethod a -> v a -> SMethodMap v -> SMethodMap v

delete :: SMethod a -> SMethodMap v -> SMethodMap v

member :: SMethod a -> SMethodMap v -> Bool

lookup :: SMethod a -> SMethodMap v -> Maybe (v a)

map :: (forall a. u a -> v a) -> SMethodMap u -> SMethodMap v