Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type ProteomeStack = [AtomicState Env, AtomicState (Maybe CurrentTag), Lock @@ LoadBuffersLock, Lock @@ StoreBuffersLock, Lock @@ TagsLock, Lock @@ Mru] Source #
type ProteomeProdStack = [Persist PersistBuffers !! PersistError, PersistPath !! PersistPathError, ModalWindowMenus () AddItem !! RpcError, ModalWindowMenus () ListedBuffer !! RpcError, ModalWindowMenus () GrepOutputLine !! RpcError, WindowMenus () FilesState !! RpcError, WindowMenus () TagsState !! RpcError] ++ (NvimMenus ++ ProteomeStack) Source #
handlers :: Members ProteomeProdStack r => Members [Settings !! SettingError, Scratch !! RpcError, Rpc !! RpcError, Reports, Reader PluginName] r => Members ConcStack r => Members [DataLog LogReport, ChronosTime, Log, Mask Restoration, Race, Resource, Async, Embed IO, Final IO] r => [RpcHandler r] Source #
resolveError :: Member (DataLog LogReport) r => Sem (Stop ResolveError ': r) () -> Sem r () Source #
prepare :: Members [Persist PersistBuffers !! PersistError, Log, Resource, Embed IO] r => Members [AtomicState Env, Settings !! SettingError, Rpc !! RpcError, Lock @@ LoadBuffersLock, DataLog LogReport] r => Sem r () Source #
interpretProteomeStack :: Members [Race, Resource, Mask Restoration, Embed IO] r => InterpretersFor ProteomeStack r Source #
interpretProteomeProdStack :: Member (EventConsumer eres Event) r => Members [Rpc !! RpcError, Settings !! SettingError, Scratch !! RpcError, Reader PluginName, DataLog LogReport] r => Members [Error BootError, Race, Log, Resource, Mask Restoration, Async, Embed IO, Final IO] r => InterpretersFor ProteomeProdStack r Source #