proteome-0.9.10: Neovim Project Manager
Safe HaskellSafe-Inferred
LanguageHaskell2010

Proteome.Tags.Mappings

Documentation

data TagsAction Source #

Constructors

Navigate (Path Abs File) Int 

Instances

Instances details
Show TagsAction Source # 
Instance details

Defined in Proteome.Tags.Mappings

Methods

showsPrec :: Int -> TagsAction -> ShowS #

show :: TagsAction -> String #

showList :: [TagsAction] -> ShowS #

Eq TagsAction Source # 
Instance details

Defined in Proteome.Tags.Mappings

Methods

(==) :: TagsAction -> TagsAction -> Bool #

(/=) :: TagsAction -> TagsAction -> Bool #

checkPath :: Members [Rpc, Embed IO] r => Text -> Sem r (Maybe (Path Abs File)) Source #

navigate :: Members [Rpc, ReportLog, Embed IO] r => MenuWidget TagsState r TagsAction Source #

cycleSegment :: MenuWidget TagsState r TagsAction Source #

mappings :: Members [Rpc, ReportLog, Embed IO] r => Mappings TagsState r TagsAction Source #