Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Runner.Command.List

Contents

Phase 1
Phase 2

Description

Provides functionality for the list command

Synopsis

data ListFormatStyle
parseListFormat :: MonadFail m => Text -> m ListFormatStyle
data ListFormatPhase1 = MkListFormatPhase1 {
- coloring :: Maybe Coloring
- style :: Maybe ListFormatStyle
- nameTrunc :: Maybe ColFormat
- origTrunc :: Maybe ColFormat
}
data ListCmd p = MkListCmd {
- format :: ListFormatPhaseF p
- sort :: MaybePhaseF p Sort
- revSort :: MaybePhaseF p Bool
}
type ListCmdP1 = ListCmd Phase1
type ListCmdP2 = ListCmd Phase2

Phase 1

data ListFormatStyle Source #

Configuration option for the list command format.

Constructors

ListFormatStyleMultiline
ListFormatStyleTabular
ListFormatStyleSingleline

Instances

Instances details

Show ListFormatStyle Source #
Instance details Defined in Charon.Runner.Command.List Methods showsPrec :: Int -> ListFormatStyle -> ShowS # show :: ListFormatStyle -> String # showList :: [ListFormatStyle] -> ShowS #
Eq ListFormatStyle Source #
Instance details Defined in Charon.Runner.Command.List Methods (==) :: ListFormatStyle -> ListFormatStyle -> Bool # (/=) :: ListFormatStyle -> ListFormatStyle -> Bool #

parseListFormat :: MonadFail m => Text -> m ListFormatStyle Source #

data ListFormatPhase1 Source #

Holds all configuration data for list formatting i.e. style and truncation params.

Constructors

MkListFormatPhase1
Fields coloring :: Maybe Coloring style :: Maybe ListFormatStyle Format style. nameTrunc :: Maybe ColFormat Name truncation. origTrunc :: Maybe ColFormat Original path truncation.

Instances

Instances details

Show ListFormatPhase1 Source #
Instance details Defined in Charon.Runner.Command.List Methods showsPrec :: Int -> ListFormatPhase1 -> ShowS # show :: ListFormatPhase1 -> String # showList :: [ListFormatPhase1] -> ShowS #
AdvancePhase ListFormatPhase1 Source #
Instance details Defined in Charon.Runner.Command.List Associated Types type NextPhase ListFormatPhase1 Source # Methods advancePhase :: ListFormatPhase1 -> NextPhase ListFormatPhase1 Source #
Eq ListFormatPhase1 Source #
Instance details Defined in Charon.Runner.Command.List Methods (==) :: ListFormatPhase1 -> ListFormatPhase1 -> Bool # (/=) :: ListFormatPhase1 -> ListFormatPhase1 -> Bool #
(k ~ A_Lens, a ~ Maybe Coloring, b ~ Maybe Coloring) => LabelOptic "coloring" k ListFormatPhase1 ListFormatPhase1 a b Source #
Instance details Defined in Charon.Runner.Command.List Methods labelOptic :: Optic k NoIx ListFormatPhase1 ListFormatPhase1 a b Source #
(k ~ A_Lens, a ~ Maybe ColFormat, b ~ Maybe ColFormat) => LabelOptic "nameTrunc" k ListFormatPhase1 ListFormatPhase1 a b Source #
Instance details Defined in Charon.Runner.Command.List Methods labelOptic :: Optic k NoIx ListFormatPhase1 ListFormatPhase1 a b Source #
(k ~ A_Lens, a ~ Maybe ColFormat, b ~ Maybe ColFormat) => LabelOptic "origTrunc" k ListFormatPhase1 ListFormatPhase1 a b Source #
Instance details Defined in Charon.Runner.Command.List Methods labelOptic :: Optic k NoIx ListFormatPhase1 ListFormatPhase1 a b Source #
(k ~ A_Lens, a ~ Maybe ListFormatStyle, b ~ Maybe ListFormatStyle) => LabelOptic "style" k ListFormatPhase1 ListFormatPhase1 a b Source #
Instance details Defined in Charon.Runner.Command.List Methods labelOptic :: Optic k NoIx ListFormatPhase1 ListFormatPhase1 a b Source #
type NextPhase ListFormatPhase1 Source #
Instance details Defined in Charon.Runner.Command.List type NextPhase ListFormatPhase1 = PathDataFormat

Phase 2

data ListCmd p Source #

Arguments for the list command.

Constructors

MkListCmd
Fields format :: ListFormatPhaseF p Format style. sort :: MaybePhaseF p Sort How to sort the list. revSort :: MaybePhaseF p Bool Whether to reverse the sort.

Instances

Instances details

(k ~ A_Lens, a ~ ListFormatPhaseF p, b ~ ListFormatPhaseF p) => LabelOptic "format" k (ListCmd p) (ListCmd p) a b Source #
Instance details Defined in Charon.Runner.Command.List Methods labelOptic :: Optic k NoIx (ListCmd p) (ListCmd p) a b Source #
(k ~ A_Lens, a ~ MaybePhaseF p Bool, b ~ MaybePhaseF p Bool) => LabelOptic "revSort" k (ListCmd p) (ListCmd p) a b Source #
Instance details Defined in Charon.Runner.Command.List Methods labelOptic :: Optic k NoIx (ListCmd p) (ListCmd p) a b Source #
(k ~ A_Lens, a ~ MaybePhaseF p Sort, b ~ MaybePhaseF p Sort) => LabelOptic "sort" k (ListCmd p) (ListCmd p) a b Source #
Instance details Defined in Charon.Runner.Command.List Methods labelOptic :: Optic k NoIx (ListCmd p) (ListCmd p) a b Source #
Show (ListCmd 'Phase1) Source #
Instance details Defined in Charon.Runner.Command.List Methods showsPrec :: Int -> ListCmd 'Phase1 -> ShowS # show :: ListCmd 'Phase1 -> String # showList :: [ListCmd 'Phase1] -> ShowS #
Show (ListCmd 'Phase2) Source #
Instance details Defined in Charon.Runner.Command.List Methods showsPrec :: Int -> ListCmd 'Phase2 -> ShowS # show :: ListCmd 'Phase2 -> String # showList :: [ListCmd 'Phase2] -> ShowS #
AdvancePhase (ListCmd 'Phase1) Source #
Instance details Defined in Charon.Runner.Command.List Associated Types type NextPhase (ListCmd 'Phase1) Source # Methods advancePhase :: ListCmd 'Phase1 -> NextPhase (ListCmd 'Phase1) Source #
Eq (ListCmd 'Phase1) Source #
Instance details Defined in Charon.Runner.Command.List Methods (==) :: ListCmd 'Phase1 -> ListCmd 'Phase1 -> Bool # (/=) :: ListCmd 'Phase1 -> ListCmd 'Phase1 -> Bool #
Eq (ListCmd 'Phase2) Source #
Instance details Defined in Charon.Runner.Command.List Methods (==) :: ListCmd 'Phase2 -> ListCmd 'Phase2 -> Bool # (/=) :: ListCmd 'Phase2 -> ListCmd 'Phase2 -> Bool #
type NextPhase (ListCmd 'Phase1) Source #
Instance details Defined in Charon.Runner.Command.List type NextPhase (ListCmd 'Phase1) = ListCmd 'Phase2

type ListCmdP1 = ListCmd Phase1 Source #

type ListCmdP2 = ListCmd Phase2 Source #