Proteome.Tags.State

Documentation

data TagLoc p

Constructors

TagLoc

Fields

• name :: Text
• path :: p
• line :: Int

Instances

Generic (TagLoc p)

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)

Defined in Proteome.Tags.State

Methods

showsPrec :: Int -> TagLoc p -> ShowS

show :: TagLoc p -> String

showList :: [TagLoc p] -> ShowS

Eq p => Eq (TagLoc p)

Defined in Proteome.Tags.State

Methods

(==) :: TagLoc p -> TagLoc p -> Bool

(/=) :: TagLoc p -> TagLoc p -> Bool

type Rep (TagLoc p)

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)

data RawTagSegments

Constructors

RawTagSegments

Fields

• name :: Text
• path :: Text

Instances

Generic RawTagSegments

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

Defined in Proteome.Tags.State

Methods

showsPrec :: Int -> RawTagSegments -> ShowS

show :: RawTagSegments -> String

showList :: [RawTagSegments] -> ShowS

Eq RawTagSegments

Defined in Proteome.Tags.State

Methods

(==) :: RawTagSegments -> RawTagSegments -> Bool

(/=) :: RawTagSegments -> RawTagSegments -> Bool

type Rep RawTagSegments

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

Constructors

TagSegments

Fields

• name :: Text
• package :: Maybe Text
• modulePath :: Maybe Text

Instances

Generic TagSegments

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

Defined in Proteome.Tags.State

Methods

showsPrec :: Int -> TagSegments -> ShowS

show :: TagSegments -> String

showList :: [TagSegments] -> ShowS

Eq TagSegments

Defined in Proteome.Tags.State

Methods

(==) :: TagSegments -> TagSegments -> Bool

(/=) :: TagSegments -> TagSegments -> Bool

type Rep TagSegments

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

Constructors

Tag

Fields

• path :: Text
• line :: Int
• segments :: TagSegments

Instances

Generic Tag

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

Defined in Proteome.Tags.State

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

Eq Tag

Defined in Proteome.Tags.State

Methods

(==) :: Tag -> Tag -> Bool

(/=) :: Tag -> Tag -> Bool

MenuMode Tag TagsMode

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

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

Constructors

Name

Package

Module

Instances

Show Segment

Defined in Proteome.Tags.State

Methods

showsPrec :: Int -> Segment -> ShowS

show :: Segment -> String

showList :: [Segment] -> ShowS

Eq Segment

Defined in Proteome.Tags.State

Methods

(==) :: Segment -> Segment -> Bool

(/=) :: Segment -> Segment -> Bool

Ord Segment

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

nixPackageRegex :: Traversal' Text Match

nixPackage :: Text -> Maybe Text

haskellModule :: Text -> Maybe Text

haskellSegments :: RawTagSegments -> TagSegments

tagSegmentsForProject :: ProjectType -> RawTagSegments -> TagSegments

tagSegmentsForFile :: RawTagSegments -> TagSegments

tagSegmentsFor :: Maybe ProjectType -> RawTagSegments -> TagSegments

renderSegment :: Segment -> Text

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

cycle :: Segment -> Segment

data TagsMode

Constructors

TagsMode

Fields

• mode :: Filter
• segment :: Segment

Instances

Generic TagsMode

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

Defined in Proteome.Tags.State

Methods

showsPrec :: Int -> TagsMode -> ShowS

show :: TagsMode -> String

showList :: [TagsMode] -> ShowS

Eq TagsMode

Defined in Proteome.Tags.State

Methods

(==) :: TagsMode -> TagsMode -> Bool

(/=) :: TagsMode -> TagsMode -> Bool

Ord TagsMode

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

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

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

Defined in Proteome.Tags.State

type Filter TagsMode = FilterMode Filter

type TagsState = Modal TagsMode Tag