Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Runner.Command

Contents

Description

Provides the Command type.

Synopsis

Types

Action to run.

Constructors

Delete (UniqueSeqNE (PathI TrashEntryOriginalPath))	Deletes a path.
PermDelete Bool (UniqueSeqNE (PathI TrashEntryFileName))	Permanently deletes a path from the trash.
Empty Bool	Empties the trash.
Restore (UniqueSeqNE (PathI TrashEntryFileName))	Restores a path.
List (ListCmd s)	List all trash contents.
Metadata	Prints trash metadata.
Convert Backend	Converts backend files.
Merge (PathI TrashHome)	Merges trash home directories.

Instances details

Show (Command 'Phase1) Source #
Instance details Defined in Charon.Runner.Command Methods showsPrec :: Int -> Command 'Phase1 -> ShowS # show :: Command 'Phase1 -> String # showList :: [Command 'Phase1] -> ShowS #
Show (Command 'Phase2) Source #
Instance details Defined in Charon.Runner.Command Methods showsPrec :: Int -> Command 'Phase2 -> ShowS # show :: Command 'Phase2 -> String # showList :: [Command 'Phase2] -> ShowS #
AdvancePhase (Command 'Phase1) Source #
Instance details Defined in Charon.Runner.Command Associated Types type NextPhase (Command 'Phase1) Source # Methods advancePhase :: Command 'Phase1 -> NextPhase (Command 'Phase1) Source #
Eq (Command 'Phase1) Source #
Instance details Defined in Charon.Runner.Command Methods (==) :: Command 'Phase1 -> Command 'Phase1 -> Bool # (/=) :: Command 'Phase1 -> Command 'Phase1 -> Bool #
Eq (Command 'Phase2) Source #
Instance details Defined in Charon.Runner.Command Methods (==) :: Command 'Phase2 -> Command 'Phase2 -> Bool # (/=) :: Command 'Phase2 -> Command 'Phase2 -> Bool #
type NextPhase (Command 'Phase1) Source #
Instance details Defined in Charon.Runner.Command type NextPhase (Command 'Phase1) = Command 'Phase2

Optics