Safe Haskell	Safe-Inferred
Language	Haskell2010

Proteome.Data.FilesState

Documentation

data FileSegments Source #

Constructors

FileSegments
Fields path :: Path Abs File name :: Text dir :: Text

Instances

Instances details

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

fileSegments :: Path Abs File -> FileSegments Source #

data Segment Source #

Constructors

Full
Name
Dir

Instances

Instances details

Show Segment Source #
Instance details Defined in Proteome.Data.FilesState Methods showsPrec :: Int -> Segment -> ShowS # show :: Segment -> String # showList :: [Segment] -> ShowS #
Eq Segment Source #
Instance details Defined in Proteome.Data.FilesState Methods (==) :: Segment -> Segment -> Bool # (/=) :: Segment -> Segment -> Bool #
Ord Segment Source #
Instance details Defined in Proteome.Data.FilesState 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 #

renderSegment :: Segment -> Text Source #

segmentExtract :: MenuItem FileSegments -> Segment -> Text Source #

cycle :: Segment -> Segment Source #

data FilesMode Source #

Constructors

FilesMode
Fields mode :: Filter segment :: Segment

Instances

Instances details

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

type FilesState = Modal FilesMode FileSegments Source #