Safe Haskell	Safe-Inferred
Language	Haskell2010

Proteome.Tags.State

Documentation

data TagLoc p Source #

Constructors

TagLoc
Fields name :: Text path :: p line :: Int

Instances

Instances details

Generic (TagLoc p) Source #
Instance details Defined in Proteome.Tags.State Associated Types type Rep (TagLoc p) :: Type -> Type # Methods from :: TagLoc p -> Rep (TagLoc p) x # to :: Rep (TagLoc p) x -> TagLoc p #
Show p => Show (TagLoc p) Source #
Instance details Defined in Proteome.Tags.State Methods showsPrec :: Int -> TagLoc p -> ShowS # show :: TagLoc p -> String # showList :: [TagLoc p] -> ShowS #
Eq p => Eq (TagLoc p) Source #
Instance details Defined in Proteome.Tags.State Methods (==) :: TagLoc p -> TagLoc p -> Bool # (/=) :: TagLoc p -> TagLoc p -> Bool #
type Rep (TagLoc p) Source #
Instance details Defined in Proteome.Tags.State type Rep (TagLoc p) = D1 ('MetaData "TagLoc" "Proteome.Tags.State" "proteome-0.9.10-48XxF3xo2MP5xTrET0738Y" 'False) (C1 ('MetaCons "TagLoc" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p) :: S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

tagLoc :: Tag -> Maybe (TagLoc Text) Source #

data RawTagSegments Source #

Constructors

RawTagSegments
Fields name :: Text path :: Text

Instances

Instances details

Generic RawTagSegments Source #
Instance details Defined in Proteome.Tags.State Associated Types type Rep RawTagSegments :: Type -> Type # Methods from :: RawTagSegments -> Rep RawTagSegments x # to :: Rep RawTagSegments x -> RawTagSegments #
Show RawTagSegments Source #
Instance details Defined in Proteome.Tags.State Methods showsPrec :: Int -> RawTagSegments -> ShowS # show :: RawTagSegments -> String # showList :: [RawTagSegments] -> ShowS #
Eq RawTagSegments Source #
Instance details Defined in Proteome.Tags.State Methods (==) :: RawTagSegments -> RawTagSegments -> Bool # (/=) :: RawTagSegments -> RawTagSegments -> Bool #
type Rep RawTagSegments Source #
Instance details Defined in Proteome.Tags.State type Rep RawTagSegments = D1 ('MetaData "RawTagSegments" "Proteome.Tags.State" "proteome-0.9.10-48XxF3xo2MP5xTrET0738Y" 'False) (C1 ('MetaCons "RawTagSegments" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data TagSegments Source #

Constructors

TagSegments
Fields name :: Text package :: Maybe Text modulePath :: Maybe Text

Instances

Instances details

Generic TagSegments Source #
Instance details Defined in Proteome.Tags.State Associated Types type Rep TagSegments :: Type -> Type # Methods from :: TagSegments -> Rep TagSegments x # to :: Rep TagSegments x -> TagSegments #
Show TagSegments Source #
Instance details Defined in Proteome.Tags.State Methods showsPrec :: Int -> TagSegments -> ShowS # show :: TagSegments -> String # showList :: [TagSegments] -> ShowS #
Eq TagSegments Source #
Instance details Defined in Proteome.Tags.State Methods (==) :: TagSegments -> TagSegments -> Bool # (/=) :: TagSegments -> TagSegments -> Bool #
type Rep TagSegments Source #
Instance details Defined in Proteome.Tags.State type Rep TagSegments = D1 ('MetaData "TagSegments" "Proteome.Tags.State" "proteome-0.9.10-48XxF3xo2MP5xTrET0738Y" 'False) (C1 ('MetaCons "TagSegments" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "package") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "modulePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data Tag Source #

Constructors

Tag
Fields path :: Text line :: Int segments :: TagSegments

Instances

Instances details

Generic Tag Source #
Instance details Defined in Proteome.Tags.State Associated Types type Rep Tag :: Type -> Type # Methods from :: Tag -> Rep Tag x # to :: Rep Tag x -> Tag #
Show Tag Source #
Instance details Defined in Proteome.Tags.State Methods showsPrec :: Int -> Tag -> ShowS # show :: Tag -> String # showList :: [Tag] -> ShowS #
Eq Tag Source #
Instance details Defined in Proteome.Tags.State Methods (==) :: Tag -> Tag -> Bool # (/=) :: Tag -> Tag -> Bool #
MenuMode Tag TagsMode Source #
Instance details Defined in Proteome.Tags.State Associated Types type Filter TagsMode :: Type -> Type # Methods cycleFilter :: TagsMode -> TagsMode # renderFilter :: TagsMode -> Text # renderExtra :: TagsMode -> Maybe Text # filterMode :: TagsMode -> Filter TagsMode Tag #
type Rep Tag Source #
Instance details Defined in Proteome.Tags.State type Rep Tag = D1 ('MetaData "Tag" "Proteome.Tags.State" "proteome-0.9.10-48XxF3xo2MP5xTrET0738Y" 'False) (C1 ('MetaCons "Tag" 'PrefixI 'True) (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "segments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TagSegments))))

data Segment Source #

Constructors

Name
Package
Module

Instances

Instances details

Show Segment Source #
Instance details Defined in Proteome.Tags.State Methods showsPrec :: Int -> Segment -> ShowS # show :: Segment -> String # showList :: [Segment] -> ShowS #
Eq Segment Source #
Instance details Defined in Proteome.Tags.State Methods (==) :: Segment -> Segment -> Bool # (/=) :: Segment -> Segment -> Bool #
Ord Segment Source #
Instance details Defined in Proteome.Tags.State Methods compare :: Segment -> Segment -> Ordering # (<) :: Segment -> Segment -> Bool # (<=) :: Segment -> Segment -> Bool # (>) :: Segment -> Segment -> Bool # (>=) :: Segment -> Segment -> Bool # max :: Segment -> Segment -> Segment # min :: Segment -> Segment -> Segment #

genericSegments :: RawTagSegments -> TagSegments Source #

nixPackageRegex :: Traversal' Text Match Source #

nixPackage :: Text -> Maybe Text Source #

haskellModule :: Text -> Maybe Text Source #

haskellSegments :: RawTagSegments -> TagSegments Source #

tagSegmentsForProject :: ProjectType -> RawTagSegments -> TagSegments Source #

tagSegmentsForFile :: RawTagSegments -> TagSegments Source #

tagSegmentsFor :: Maybe ProjectType -> RawTagSegments -> TagSegments Source #

renderSegment :: Segment -> Text Source #

segmentExtract :: MenuItem Tag -> Segment -> Maybe Text Source #

cycle :: Segment -> Segment Source #

data TagsMode Source #

Constructors

TagsMode
Fields mode :: Filter segment :: Segment

Instances

Instances details

Generic TagsMode Source #
Instance details Defined in Proteome.Tags.State Associated Types type Rep TagsMode :: Type -> Type # Methods from :: TagsMode -> Rep TagsMode x # to :: Rep TagsMode x -> TagsMode #
Show TagsMode Source #
Instance details Defined in Proteome.Tags.State Methods showsPrec :: Int -> TagsMode -> ShowS # show :: TagsMode -> String # showList :: [TagsMode] -> ShowS #
Eq TagsMode Source #
Instance details Defined in Proteome.Tags.State Methods (==) :: TagsMode -> TagsMode -> Bool # (/=) :: TagsMode -> TagsMode -> Bool #
Ord TagsMode Source #
Instance details Defined in Proteome.Tags.State Methods compare :: TagsMode -> TagsMode -> Ordering # (<) :: TagsMode -> TagsMode -> Bool # (<=) :: TagsMode -> TagsMode -> Bool # (>) :: TagsMode -> TagsMode -> Bool # (>=) :: TagsMode -> TagsMode -> Bool # max :: TagsMode -> TagsMode -> TagsMode # min :: TagsMode -> TagsMode -> TagsMode #
MenuMode Tag TagsMode Source #
Instance details Defined in Proteome.Tags.State Associated Types type Filter TagsMode :: Type -> Type # Methods cycleFilter :: TagsMode -> TagsMode # renderFilter :: TagsMode -> Text # renderExtra :: TagsMode -> Maybe Text # filterMode :: TagsMode -> Filter TagsMode Tag #
type Rep TagsMode Source #
Instance details Defined in Proteome.Tags.State type Rep TagsMode = D1 ('MetaData "TagsMode" "Proteome.Tags.State" "proteome-0.9.10-48XxF3xo2MP5xTrET0738Y" 'False) (C1 ('MetaCons "TagsMode" 'PrefixI 'True) (S1 ('MetaSel ('Just "mode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Filter) :*: S1 ('MetaSel ('Just "segment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Segment)))
type Filter TagsMode Source #
Instance details Defined in Proteome.Tags.State type Filter TagsMode = FilterMode Filter

type TagsState = Modal TagsMode Tag Source #