Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data SMethodMap (v :: Method f t -> Type)
- 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
Documentation
data SMethodMap (v :: Method f t -> Type) Source #
A specialized alternative to a full dependent map for use with SMethod
.
Instances
Semigroup (SMethodMap v) Source # | |
Defined in Language.LSP.Types.SMethodMap (<>) :: SMethodMap v -> SMethodMap v -> SMethodMap v # sconcat :: NonEmpty (SMethodMap v) -> SMethodMap v # stimes :: Integral b => b -> SMethodMap v -> SMethodMap v # | |
Monoid (SMethodMap v) Source # | |
Defined in Language.LSP.Types.SMethodMap mempty :: SMethodMap v # mappend :: SMethodMap v -> SMethodMap v -> SMethodMap v # mconcat :: [SMethodMap v] -> SMethodMap v # |
singleton :: SMethod a -> v a -> SMethodMap v Source #
insert :: SMethod a -> v a -> SMethodMap v -> SMethodMap v Source #
delete :: SMethod a -> SMethodMap v -> SMethodMap v Source #
map :: (forall a. u a -> v a) -> SMethodMap u -> SMethodMap v Source #