Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Generic (TagLoc p) Source # | |
Show p => Show (TagLoc p) Source # | |
Eq p => Eq (TagLoc p) Source # | |
type Rep (TagLoc p) Source # | |
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)))) |
data RawTagSegments Source #
Instances
Generic RawTagSegments Source # | |
Defined in Proteome.Tags.State type Rep RawTagSegments :: Type -> Type # from :: RawTagSegments -> Rep RawTagSegments x # to :: Rep RawTagSegments x -> RawTagSegments # | |
Show RawTagSegments Source # | |
Defined in Proteome.Tags.State showsPrec :: Int -> RawTagSegments -> ShowS # show :: RawTagSegments -> String # showList :: [RawTagSegments] -> ShowS # | |
Eq RawTagSegments Source # | |
Defined in Proteome.Tags.State (==) :: RawTagSegments -> RawTagSegments -> Bool # (/=) :: RawTagSegments -> RawTagSegments -> Bool # | |
type Rep RawTagSegments Source # | |
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 #
Instances
Instances
Generic Tag Source # | |
Show Tag Source # | |
Eq Tag Source # | |
MenuMode Tag TagsMode Source # | |
Defined in Proteome.Tags.State cycleFilter :: TagsMode -> TagsMode # renderFilter :: TagsMode -> Text # renderExtra :: TagsMode -> Maybe Text # | |
type Rep Tag Source # | |
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)))) |
renderSegment :: Segment -> Text Source #
Instances
Generic TagsMode Source # | |
Show TagsMode Source # | |
Eq TagsMode Source # | |
Ord TagsMode Source # | |
Defined in Proteome.Tags.State | |
MenuMode Tag TagsMode Source # | |
Defined in Proteome.Tags.State cycleFilter :: TagsMode -> TagsMode # renderFilter :: TagsMode -> Text # renderExtra :: TagsMode -> Maybe Text # | |
type Rep TagsMode Source # | |
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 # | |
Defined in Proteome.Tags.State |