Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Provides classes for running Charon with an environment.
Synopsis
- class HasTrashHome a where
- getTrashHome :: a -> PathI TrashHome
- getTrashLog :: (HasCallStack, MonadPathReader m) => m (PathI TrashLog)
- class HasBackend a where
- getBackend :: a -> Backend
Documentation
class HasTrashHome a where Source #
Class for retrieving the trash home.
Nothing
getTrashHome :: a -> PathI TrashHome Source #
Retrieves the trash home path.
default getTrashHome :: (Is k A_Getter, LabelOptic' "trashHome" k a (PathI TrashHome)) => a -> PathI TrashHome Source #
Instances
HasTrashHome (Env m) Source # | |
Defined in Charon.Runner.Env |
getTrashLog :: (HasCallStack, MonadPathReader m) => m (PathI TrashLog) Source #
Retrieves the trash log path.
class HasBackend a where Source #
Class for retrieving the backend.
Nothing
getBackend :: a -> Backend Source #
Retrieves the trash home path.
default getBackend :: (Is k A_Getter, LabelOptic' "backend" k a Backend) => a -> Backend Source #
Instances
HasBackend (Env m) Source # | |
Defined in Charon.Runner.Env getBackend :: Env m -> Backend Source # |