| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.LSP.Types.SMethodMap
Synopsis
- data SMethodMap (v :: Method f t -> Type)
- singleton :: forall {f :: From} {t :: MethodType} (a :: Method f t) v. SMethod a -> v a -> SMethodMap v
- insert :: forall {f :: From} {t :: MethodType} (a :: Method f t) v. SMethod a -> v a -> SMethodMap v -> SMethodMap v
- delete :: forall {f1 :: From} {t1 :: MethodType} {f2 :: From} {t2 :: MethodType} (a :: Method f1 t1) (v :: Method f2 t2 -> Type). SMethod a -> SMethodMap v -> SMethodMap v
- member :: forall {f1 :: From} {t1 :: MethodType} {f2 :: From} {t2 :: MethodType} (a :: Method f1 t1) (v :: Method f2 t2 -> Type). SMethod a -> SMethodMap v -> Bool
- lookup :: forall {f :: From} {t :: MethodType} (a :: Method f t) v. SMethod a -> SMethodMap v -> Maybe (v a)
- map :: forall {f :: From} {t :: MethodType} u v. (forall (a :: Method f t). 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
| Monoid (SMethodMap v) Source # | |
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) Source # | |
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 :: forall {f :: From} {t :: MethodType} (a :: Method f t) v. SMethod a -> v a -> SMethodMap v Source #
insert :: forall {f :: From} {t :: MethodType} (a :: Method f t) v. SMethod a -> v a -> SMethodMap v -> SMethodMap v Source #
delete :: forall {f1 :: From} {t1 :: MethodType} {f2 :: From} {t2 :: MethodType} (a :: Method f1 t1) (v :: Method f2 t2 -> Type). SMethod a -> SMethodMap v -> SMethodMap v Source #
member :: forall {f1 :: From} {t1 :: MethodType} {f2 :: From} {t2 :: MethodType} (a :: Method f1 t1) (v :: Method f2 t2 -> Type). SMethod a -> SMethodMap v -> Bool Source #
lookup :: forall {f :: From} {t :: MethodType} (a :: Method f t) v. SMethod a -> SMethodMap v -> Maybe (v a) Source #
map :: forall {f :: From} {t :: MethodType} u v. (forall (a :: Method f t). u a -> v a) -> SMethodMap u -> SMethodMap v Source #