Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Data.PathType

Description

Provides types.

Synopsis

newtype PathTypeW = MkPathTypeW {
- unPathTypeW :: PathType
}
deleteFn :: (HasCallStack, MonadCatch m, MonadPathReader m, MonadPathWriter m) => PathTypeW -> OsPath -> m ()
existsFn :: (HasCallStack, MonadCatch m, MonadPathReader m) => PathTypeW -> OsPath -> m Bool
renameFn :: (HasCallStack, MonadPathWriter m) => PathTypeW -> OsPath -> OsPath -> m ()
copyPath :: (HasCallStack, MonadIORef m, MonadMask m, MonadPathReader m, MonadPathWriter m) => PathTypeW -> OsPath -> OsPath -> OsPath -> m ()

Documentation

newtype PathTypeW Source #

Wrapper for PathType, so that we can give a Hashable instance.

Constructors

MkPathTypeW
Fields unPathTypeW :: PathType

Instances

Instances details

FromJSON PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods parseJSON :: Value -> Parser PathTypeW Source # parseJSONList :: Value -> Parser [PathTypeW] Source #
ToJSON PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods toJSON :: PathTypeW -> Value Source # toEncoding :: PathTypeW -> Encoding Source # toJSONList :: [PathTypeW] -> Value Source # toEncodingList :: [PathTypeW] -> Encoding Source #
Generic PathTypeW Source #
Instance details Defined in Charon.Data.PathType Associated Types type Rep PathTypeW :: Type -> Type # Methods from :: PathTypeW -> Rep PathTypeW x # to :: Rep PathTypeW x -> PathTypeW #
Show PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods showsPrec :: Int -> PathTypeW -> ShowS # show :: PathTypeW -> String # showList :: [PathTypeW] -> ShowS #
NFData PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods rnf :: PathTypeW -> () #
Eq PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods (==) :: PathTypeW -> PathTypeW -> Bool # (/=) :: PathTypeW -> PathTypeW -> Bool #
Hashable PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods hashWithSalt :: Int -> PathTypeW -> Int Source # hash :: PathTypeW -> Int Source #
Pretty PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods pretty :: PathTypeW -> Doc ann Source # prettyList :: [PathTypeW] -> Doc ann Source #
Serialise PathTypeW Source #
Instance details Defined in Charon.Data.PathType Methods encode :: PathTypeW -> Encoding Source # decode :: Decoder s PathTypeW Source # encodeList :: [PathTypeW] -> Encoding Source # decodeList :: Decoder s [PathTypeW] Source #
(k ~ An_Iso, a ~ PathType, b ~ PathType) => LabelOptic "unPathTypeW" k PathTypeW PathTypeW a b Source #
Instance details Defined in Charon.Data.PathType Methods labelOptic :: Optic k NoIx PathTypeW PathTypeW a b Source #
type Rep PathTypeW Source #
Instance details Defined in Charon.Data.PathType type Rep PathTypeW = D1 ('MetaData "PathTypeW" "Charon.Data.PathType" "charon-0.1-inplace" 'True) (C1 ('MetaCons "MkPathTypeW" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPathTypeW") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PathType)))

deleteFn :: (HasCallStack, MonadCatch m, MonadPathReader m, MonadPathWriter m) => PathTypeW -> OsPath -> m () Source #

existsFn :: (HasCallStack, MonadCatch m, MonadPathReader m) => PathTypeW -> OsPath -> m Bool Source #

This function tests both existence and that the the path is of the specified type.

renameFn :: (HasCallStack, MonadPathWriter m) => PathTypeW -> OsPath -> OsPath -> m () Source #

copyPath Source #

Arguments

:: (HasCallStack, MonadIORef m, MonadMask m, MonadPathReader m, MonadPathWriter m)
=> PathTypeW
-> OsPath	Old path to copy.
-> OsPath	Fully qualified name for file copy.
-> OsPath	The directory in which to copy, for a dir copy.
-> m ()