Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Backend.Default.BackendArgs

Synopsis

Documentation

Additional params used by the default backend that are parameterized on the backend-specific PathData, pd.

Constructors

MkBackendArgs
Fields backend :: Backend The backend type. makePathData :: Timestamp -> PathI TrashHome -> PathI TrashEntryOriginalPath -> m (pd, PathTypeW) Function for creating the custom path data pd. toCorePathData :: PathI TrashHome -> pd -> m PathData Transformation from custom pd to common PathData. fromCorePathData :: PathData -> pd Transformation from common PathData to custom pd.

Instances details

(k ~ A_Lens, a ~ Backend, b ~ Backend) => LabelOptic "backend" k (BackendArgs m pd) (BackendArgs m pd) a b Source #
Instance details Defined in Charon.Backend.Default.BackendArgs Methods labelOptic :: Optic k NoIx (BackendArgs m pd) (BackendArgs m pd) a b Source #
(k ~ A_Lens, a ~ (PathData -> pd), b ~ (PathData -> pd)) => LabelOptic "fromCorePathData" k (BackendArgs m pd) (BackendArgs m pd) a b Source #
Instance details Defined in Charon.Backend.Default.BackendArgs Methods labelOptic :: Optic k NoIx (BackendArgs m pd) (BackendArgs m pd) a b Source #
(k ~ A_Lens, a ~ (Timestamp -> PathI 'TrashHome -> PathI 'TrashEntryOriginalPath -> m (pd, PathTypeW)), b ~ (Timestamp -> PathI 'TrashHome -> PathI 'TrashEntryOriginalPath -> m (pd, PathTypeW))) => LabelOptic "makePathData" k (BackendArgs m pd) (BackendArgs m pd) a b Source #
Instance details Defined in Charon.Backend.Default.BackendArgs Methods labelOptic :: Optic k NoIx (BackendArgs m pd) (BackendArgs m pd) a b Source #
(k ~ A_Lens, a ~ (PathI 'TrashHome -> pd -> m PathData), b ~ (PathI 'TrashHome -> pd -> m PathData)) => LabelOptic "toCorePathData" k (BackendArgs m pd) (BackendArgs m pd) a b Source #
Instance details Defined in Charon.Backend.Default.BackendArgs Methods labelOptic :: Optic k NoIx (BackendArgs m pd) (BackendArgs m pd) a b Source #