Copyright	(c) Fuzz Leonard 2025
License	MIT
Maintainer	cyborg@bionicfuzz.com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Clod.Types

Contents

Core Types
Type conversions and runners
Newtypes for type safety
Capability types
Path validation

Description

This module defines the core types used throughout the Clod application. Clod is a utility for preparing and uploading files to Claude AI's Project Knowledge feature. It tracks file changes, respects .gitignore and .clodignore patterns, and optimizes filenames for Claude's UI.

The primary types include:

ClodConfig - Configuration for file processing and staging
ClodM - A monad for handling errors during file operations
ClodError - Various error types that can occur during operation
FileResult - Result of processing a file (success or skipped)

Synopsis

data ClodConfig = ClodConfig {
- projectPath :: !FilePath
- stagingDir :: !FilePath
- configDir :: !FilePath
- databaseFile :: !FilePath
- timestamp :: !String
- currentStaging :: !FilePath
- previousStaging :: !(Maybe FilePath)
- testMode :: !Bool
- verbose :: !Bool
- flushMode :: !Bool
- lastMode :: !Bool
- ignorePatterns :: ![IgnorePattern]
}
data FileResult
- = Success
- | Skipped !String
data ClodError
- = FileSystemError !FilePath !IOError
- | ConfigError !String
- | PatternError !String
- | CapabilityError !String
- | DatabaseError !String
- | ChecksumError !String
type ClodM a = ReaderT ClodConfig (ExceptT ClodError IO) a
data FileEntry = FileEntry {
- entryPath :: !FilePath
- entryChecksum :: !Checksum
- entryLastModified :: !UTCTime
- entryOptimizedName :: !OptimizedName
}
data ClodDatabase = ClodDatabase {
- dbFiles :: !(Map FilePath FileEntry)
- dbChecksums :: !(Map String FilePath)
- dbLastStagingDir :: !(Maybe FilePath)
- dbLastRunTime :: !UTCTime
}
data SerializableClodDatabase = SerializableClodDatabase {
- serializedFiles :: ![(FilePath, FileEntry)]
- serializedChecksums :: ![(String, FilePath)]
- serializedLastStagingDir :: !(Maybe FilePath)
- serializedLastRunTime :: !UTCTime
}
toSerializable :: ClodDatabase -> SerializableClodDatabase
fromSerializable :: SerializableClodDatabase -> ClodDatabase
runClodM :: ClodConfig -> ClodM a -> IO (Either ClodError a)
throwError :: MonadError e m => e -> m a
catchError :: MonadError e m => m a -> (e -> m a) -> m a
liftIO :: MonadIO m => IO a -> m a
ask :: MonadReader r m => m r
asks :: MonadReader r m => (r -> a) -> m a
local :: MonadReader r m => (r -> r) -> m a -> m a
runReaderT :: ReaderT r m a -> r -> m a
runExceptT :: ExceptT e m a -> m (Either e a)
newtype IgnorePattern = IgnorePattern {
- unIgnorePattern :: String
}
newtype OptimizedName = OptimizedName {
- unOptimizedName :: String
}
newtype OriginalPath = OriginalPath {
- unOriginalPath :: String
}
newtype Checksum = Checksum {
- unChecksum :: String
}
data FileReadCap = FileReadCap {
- allowedReadDirs :: [FilePath]
}
data FileWriteCap = FileWriteCap {
- allowedWriteDirs :: [FilePath]
}
fileReadCap :: [FilePath] -> FileReadCap
fileWriteCap :: [FilePath] -> FileWriteCap
isPathAllowed :: [FilePath] -> FilePath -> IO Bool

Core Types

data ClodConfig Source #

Configuration for the clod program

Constructors

ClodConfig

Fields

projectPath :: !FilePath
Root path of the project
stagingDir :: !FilePath
Directory where files will be staged for Claude
configDir :: !FilePath
Directory for configuration files
databaseFile :: !FilePath
Path to the checksums database file
timestamp :: !String
Timestamp for the current run
currentStaging :: !FilePath
Path to the current staging directory
previousStaging :: !(Maybe FilePath)
Path to the previous staging directory, if any
testMode :: !Bool
Whether we're running in test mode
verbose :: !Bool
Whether to print verbose output
flushMode :: !Bool
Whether to flush stale entries from the database
lastMode :: !Bool
Whether to use the previous staging directory
ignorePatterns :: ![IgnorePattern]
Patterns from .gitignore and .clodignore

Instances

Instances details

Generic ClodConfig Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep ClodConfig

Instance details

Defined in Clod.Types

Methods

from :: ClodConfig -> Rep ClodConfig x #

to :: Rep ClodConfig x -> ClodConfig #

Show ClodConfig Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> ClodConfig -> ShowS #

show :: ClodConfig -> String #

showList :: [ClodConfig] -> ShowS #

Eq ClodConfig Source #

Instance details

Defined in Clod.Types

Methods

(==) :: ClodConfig -> ClodConfig -> Bool #

(/=) :: ClodConfig -> ClodConfig -> Bool #

type Rep ClodConfig Source #

Instance details

Defined in Clod.Types

data FileResult Source #

Result of processing a file

Success indicates the file was successfully processed and included
Skipped indicates the file was skipped with a reason (matched ignore pattern, binary file, etc.)

Constructors

Success	File was successfully processed
Skipped !String	File was skipped with the given reason

Instances

Instances details

Generic FileResult Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep FileResult
Instance details Defined in Clod.Types type Rep FileResult = D1 ('MetaData "FileResult" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "Success" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Skipped" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))

Methods

from :: FileResult -> Rep FileResult x #

to :: Rep FileResult x -> FileResult #

Show FileResult Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> FileResult -> ShowS #

show :: FileResult -> String #

showList :: [FileResult] -> ShowS #

Eq FileResult Source #

Instance details

Defined in Clod.Types

Methods

(==) :: FileResult -> FileResult -> Bool #

(/=) :: FileResult -> FileResult -> Bool #

type Rep FileResult Source #

Instance details

Defined in Clod.Types

type Rep FileResult = D1 ('MetaData "FileResult" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "Success" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Skipped" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))

data ClodError Source #

Errors that can occur during Clod operation

These represent the different categories of errors that can occur during file processing, allowing for specific error handling for each case.

Constructors

FileSystemError !FilePath !IOError	Error related to filesystem operations
ConfigError !String	Error related to configuration (e.g., invalid settings)
PatternError !String	Error related to pattern matching (e.g., invalid pattern)
CapabilityError !String	Error related to capability validation
DatabaseError !String	Error related to checksums database
ChecksumError !String	Error related to checksum calculation

Instances

Instances details

Generic ClodError Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep ClodError

Instance details

Defined in Clod.Types

type Rep ClodError = D1 ('MetaData "ClodError" "Clod.Types" "clod-0.1.4-inplace" 'False) ((C1 ('MetaCons "FileSystemError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IOError)) :+: (C1 ('MetaCons "ConfigError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "PatternError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))) :+: (C1 ('MetaCons "CapabilityError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "DatabaseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "ChecksumError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))))

Methods

from :: ClodError -> Rep ClodError x #

to :: Rep ClodError x -> ClodError #

Show ClodError Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> ClodError -> ShowS #

show :: ClodError -> String #

showList :: [ClodError] -> ShowS #

Eq ClodError Source #

Instance details

Defined in Clod.Types

Methods

(==) :: ClodError -> ClodError -> Bool #

(/=) :: ClodError -> ClodError -> Bool #

type Rep ClodError Source #

Instance details

Defined in Clod.Types

type Rep ClodError = D1 ('MetaData "ClodError" "Clod.Types" "clod-0.1.4-inplace" 'False) ((C1 ('MetaCons "FileSystemError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IOError)) :+: (C1 ('MetaCons "ConfigError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "PatternError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))) :+: (C1 ('MetaCons "CapabilityError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "DatabaseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "ChecksumError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))))

type ClodM a = ReaderT ClodConfig (ExceptT ClodError IO) a Source #

The Clod monad

This monad stack combines:

Reader for dependency injection of ClodConfig
Error handling with ExceptT for ClodError
IO for filesystem, git, and other side effects

This replaces the previous effects-based approach with a simpler, more traditional monad stack.

data FileEntry Source #

File entry in the checksum database

Constructors

FileEntry
Fields entryPath :: !FilePath Original path entryChecksum :: !Checksum File content checksum entryLastModified :: !UTCTime Last modified time entryOptimizedName :: !OptimizedName Name in staging directory

Instances

Instances details

FromDhall FileEntry Source #

Instance details

Defined in Clod.Types

Methods

autoWith :: InputNormalizer -> Decoder FileEntry #

ToDhall FileEntry Source #

Instance details

Defined in Clod.Types

Methods

injectWith :: InputNormalizer -> Encoder FileEntry #

Generic FileEntry Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep FileEntry

Instance details

Defined in Clod.Types

type Rep FileEntry = D1 ('MetaData "FileEntry" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "FileEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "entryPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "entryChecksum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Checksum)) :*: (S1 ('MetaSel ('Just "entryLastModified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "entryOptimizedName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OptimizedName))))

Methods

from :: FileEntry -> Rep FileEntry x #

to :: Rep FileEntry x -> FileEntry #

Show FileEntry Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> FileEntry -> ShowS #

show :: FileEntry -> String #

showList :: [FileEntry] -> ShowS #

Eq FileEntry Source #

Instance details

Defined in Clod.Types

Methods

(==) :: FileEntry -> FileEntry -> Bool #

(/=) :: FileEntry -> FileEntry -> Bool #

FromJSON FileEntry Source #

Instance details

Defined in Clod.Types

Methods

parseJSON :: Value -> Parser FileEntry #

parseJSONList :: Value -> Parser [FileEntry] #

omittedField :: Maybe FileEntry #

ToJSON FileEntry Source #

Instance details

Defined in Clod.Types

Methods

toJSON :: FileEntry -> Value #

toEncoding :: FileEntry -> Encoding #

toJSONList :: [FileEntry] -> Value #

toEncodingList :: [FileEntry] -> Encoding #

omitField :: FileEntry -> Bool #

type Rep FileEntry Source #

Instance details

Defined in Clod.Types

type Rep FileEntry = D1 ('MetaData "FileEntry" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "FileEntry" 'PrefixI 'True) ((S1 ('MetaSel ('Just "entryPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "entryChecksum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Checksum)) :*: (S1 ('MetaSel ('Just "entryLastModified") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "entryOptimizedName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OptimizedName))))

data ClodDatabase Source #

Main database structure

Constructors

ClodDatabase
Fields dbFiles :: !(Map FilePath FileEntry) All tracked files by path dbChecksums :: !(Map String FilePath) Mapping from checksum to path (for rename detection) dbLastStagingDir :: !(Maybe FilePath) Previous staging directory dbLastRunTime :: !UTCTime Time of last run

Instances

Instances details

Generic ClodDatabase Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep ClodDatabase

Instance details

Defined in Clod.Types

type Rep ClodDatabase = D1 ('MetaData "ClodDatabase" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "ClodDatabase" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dbFiles") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map FilePath FileEntry)) :*: S1 ('MetaSel ('Just "dbChecksums") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map String FilePath))) :*: (S1 ('MetaSel ('Just "dbLastStagingDir") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "dbLastRunTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime))))

Methods

from :: ClodDatabase -> Rep ClodDatabase x #

to :: Rep ClodDatabase x -> ClodDatabase #

Show ClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> ClodDatabase -> ShowS #

show :: ClodDatabase -> String #

showList :: [ClodDatabase] -> ShowS #

Eq ClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

(==) :: ClodDatabase -> ClodDatabase -> Bool #

(/=) :: ClodDatabase -> ClodDatabase -> Bool #

type Rep ClodDatabase Source #

Instance details

Defined in Clod.Types

type Rep ClodDatabase = D1 ('MetaData "ClodDatabase" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "ClodDatabase" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dbFiles") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map FilePath FileEntry)) :*: S1 ('MetaSel ('Just "dbChecksums") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map String FilePath))) :*: (S1 ('MetaSel ('Just "dbLastStagingDir") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "dbLastRunTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime))))

data SerializableClodDatabase Source #

Serialization-friendly version of ClodDatabase

Constructors

SerializableClodDatabase
Fields serializedFiles :: ![(FilePath, FileEntry)] All tracked files as pairs serializedChecksums :: ![(String, FilePath)] Checksums as pairs serializedLastStagingDir :: !(Maybe FilePath) Previous staging directory serializedLastRunTime :: !UTCTime Time of last run

Instances

Instances details

FromDhall SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

autoWith :: InputNormalizer -> Decoder SerializableClodDatabase #

ToDhall SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

injectWith :: InputNormalizer -> Encoder SerializableClodDatabase #

Generic SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep SerializableClodDatabase

Instance details

Defined in Clod.Types

type Rep SerializableClodDatabase = D1 ('MetaData "SerializableClodDatabase" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "SerializableClodDatabase" 'PrefixI 'True) ((S1 ('MetaSel ('Just "serializedFiles") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(FilePath, FileEntry)]) :*: S1 ('MetaSel ('Just "serializedChecksums") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(String, FilePath)])) :*: (S1 ('MetaSel ('Just "serializedLastStagingDir") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "serializedLastRunTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime))))

Methods

from :: SerializableClodDatabase -> Rep SerializableClodDatabase x #

to :: Rep SerializableClodDatabase x -> SerializableClodDatabase #

Show SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> SerializableClodDatabase -> ShowS #

show :: SerializableClodDatabase -> String #

showList :: [SerializableClodDatabase] -> ShowS #

Eq SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

(==) :: SerializableClodDatabase -> SerializableClodDatabase -> Bool #

(/=) :: SerializableClodDatabase -> SerializableClodDatabase -> Bool #

FromJSON SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

parseJSON :: Value -> Parser SerializableClodDatabase #

parseJSONList :: Value -> Parser [SerializableClodDatabase] #

omittedField :: Maybe SerializableClodDatabase #

ToJSON SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

Methods

toJSON :: SerializableClodDatabase -> Value #

toEncoding :: SerializableClodDatabase -> Encoding #

toJSONList :: [SerializableClodDatabase] -> Value #

toEncodingList :: [SerializableClodDatabase] -> Encoding #

omitField :: SerializableClodDatabase -> Bool #

type Rep SerializableClodDatabase Source #

Instance details

Defined in Clod.Types

type Rep SerializableClodDatabase = D1 ('MetaData "SerializableClodDatabase" "Clod.Types" "clod-0.1.4-inplace" 'False) (C1 ('MetaCons "SerializableClodDatabase" 'PrefixI 'True) ((S1 ('MetaSel ('Just "serializedFiles") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(FilePath, FileEntry)]) :*: S1 ('MetaSel ('Just "serializedChecksums") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(String, FilePath)])) :*: (S1 ('MetaSel ('Just "serializedLastStagingDir") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "serializedLastRunTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime))))

toSerializable :: ClodDatabase -> SerializableClodDatabase Source #

Convert to serializable form

fromSerializable :: SerializableClodDatabase -> ClodDatabase Source #

Convert from serializable form

Type conversions and runners

runClodM :: ClodConfig -> ClodM a -> IO (Either ClodError a) Source #

Run a ClodM computation, returning either an error or a result

throwError :: MonadError e m => e -> m a #

Is used within a monadic computation to begin exception processing.

catchError :: MonadError e m => m a -> (e -> m a) -> m a #

A handler function to handle previous errors and return to normal execution. A common idiom is:

do { action1; action2; action3 } `catchError` handler

where the action functions can call throwError. Note that handler and the do-block must have the same return type.

liftIO :: MonadIO m => IO a -> m a #

Lift a computation from the IO monad. This allows us to run IO computations in any monadic stack, so long as it supports these kinds of operations (i.e. IO is the base monad for the stack).

Example

Expand

import Control.Monad.Trans.State -- from the "transformers" library

printState :: Show s => StateT s IO ()
printState = do
  state <- get
  liftIO $ print state

Had we omitted liftIO, we would have ended up with this error:

• Couldn't match type ‘IO’ with ‘StateT s IO’
 Expected type: StateT s IO ()
   Actual type: IO ()

The important part here is the mismatch between StateT s IO () and IO ().

Luckily, we know of a function that takes an IO a and returns an (m a): liftIO, enabling us to run the program and see the expected results:

> evalStateT printState "hello"
"hello"

> evalStateT printState 3
3

ask :: MonadReader r m => m r #

Retrieves the monad environment.

asks #

Arguments

:: MonadReader r m
=> (r -> a)	The selector function to apply to the environment.
-> m a

Retrieves a function of the current environment.

local #

Arguments

:: MonadReader r m
=> (r -> r)	The function to modify the environment.
-> m a	`Reader` to run in the modified environment.
-> m a

Executes a computation in a modified environment.

runReaderT :: ReaderT r m a -> r -> m a #

runExceptT :: ExceptT e m a -> m (Either e a) #

The inverse of ExceptT.

Newtypes for type safety

newtype IgnorePattern Source #

Newtype for ignore patterns to prevent mixing with other string types

Constructors

IgnorePattern
Fields unIgnorePattern :: String

Instances

Instances details

Monoid IgnorePattern Source #
Instance details Defined in Clod.Types Methods mempty :: IgnorePattern # mappend :: IgnorePattern -> IgnorePattern -> IgnorePattern # mconcat :: [IgnorePattern] -> IgnorePattern #
Semigroup IgnorePattern Source #
Instance details Defined in Clod.Types Methods (<>) :: IgnorePattern -> IgnorePattern -> IgnorePattern # sconcat :: NonEmpty IgnorePattern -> IgnorePattern # stimes :: Integral b => b -> IgnorePattern -> IgnorePattern #
IsString IgnorePattern Source #
Instance details Defined in Clod.Types Methods fromString :: String -> IgnorePattern #
Show IgnorePattern Source #
Instance details Defined in Clod.Types Methods showsPrec :: Int -> IgnorePattern -> ShowS # show :: IgnorePattern -> String # showList :: [IgnorePattern] -> ShowS #
Eq IgnorePattern Source #
Instance details Defined in Clod.Types Methods (==) :: IgnorePattern -> IgnorePattern -> Bool # (/=) :: IgnorePattern -> IgnorePattern -> Bool #
Ord IgnorePattern Source #
Instance details Defined in Clod.Types Methods compare :: IgnorePattern -> IgnorePattern -> Ordering # (<) :: IgnorePattern -> IgnorePattern -> Bool # (<=) :: IgnorePattern -> IgnorePattern -> Bool # (>) :: IgnorePattern -> IgnorePattern -> Bool # (>=) :: IgnorePattern -> IgnorePattern -> Bool # max :: IgnorePattern -> IgnorePattern -> IgnorePattern # min :: IgnorePattern -> IgnorePattern -> IgnorePattern #

newtype OptimizedName Source #

Newtype for optimized filename used in Claude's UI

Constructors

OptimizedName
Fields unOptimizedName :: String

Instances

Instances details

FromDhall OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

autoWith :: InputNormalizer -> Decoder OptimizedName #

ToDhall OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

injectWith :: InputNormalizer -> Encoder OptimizedName #

Monoid OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

mempty :: OptimizedName #

mappend :: OptimizedName -> OptimizedName -> OptimizedName #

mconcat :: [OptimizedName] -> OptimizedName #

Semigroup OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

(<>) :: OptimizedName -> OptimizedName -> OptimizedName #

sconcat :: NonEmpty OptimizedName -> OptimizedName #

stimes :: Integral b => b -> OptimizedName -> OptimizedName #

IsString OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

fromString :: String -> OptimizedName #

Generic OptimizedName Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep OptimizedName
Instance details Defined in Clod.Types type Rep OptimizedName = D1 ('MetaData "OptimizedName" "Clod.Types" "clod-0.1.4-inplace" 'True) (C1 ('MetaCons "OptimizedName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOptimizedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: OptimizedName -> Rep OptimizedName x #

to :: Rep OptimizedName x -> OptimizedName #

Show OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> OptimizedName -> ShowS #

show :: OptimizedName -> String #

showList :: [OptimizedName] -> ShowS #

Eq OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

(==) :: OptimizedName -> OptimizedName -> Bool #

(/=) :: OptimizedName -> OptimizedName -> Bool #

Ord OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

compare :: OptimizedName -> OptimizedName -> Ordering #

(<) :: OptimizedName -> OptimizedName -> Bool #

(<=) :: OptimizedName -> OptimizedName -> Bool #

(>) :: OptimizedName -> OptimizedName -> Bool #

(>=) :: OptimizedName -> OptimizedName -> Bool #

max :: OptimizedName -> OptimizedName -> OptimizedName #

min :: OptimizedName -> OptimizedName -> OptimizedName #

FromJSON OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

parseJSON :: Value -> Parser OptimizedName #

parseJSONList :: Value -> Parser [OptimizedName] #

omittedField :: Maybe OptimizedName #

ToJSON OptimizedName Source #

Instance details

Defined in Clod.Types

Methods

toJSON :: OptimizedName -> Value #

toEncoding :: OptimizedName -> Encoding #

toJSONList :: [OptimizedName] -> Value #

toEncodingList :: [OptimizedName] -> Encoding #

omitField :: OptimizedName -> Bool #

type Rep OptimizedName Source #

Instance details

Defined in Clod.Types

type Rep OptimizedName = D1 ('MetaData "OptimizedName" "Clod.Types" "clod-0.1.4-inplace" 'True) (C1 ('MetaCons "OptimizedName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOptimizedName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype OriginalPath Source #

Newtype for original filepath in the repository

Constructors

OriginalPath
Fields unOriginalPath :: String

Instances

Instances details

FromDhall OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

autoWith :: InputNormalizer -> Decoder OriginalPath #

ToDhall OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

injectWith :: InputNormalizer -> Encoder OriginalPath #

Monoid OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

mempty :: OriginalPath #

mappend :: OriginalPath -> OriginalPath -> OriginalPath #

mconcat :: [OriginalPath] -> OriginalPath #

Semigroup OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

(<>) :: OriginalPath -> OriginalPath -> OriginalPath #

sconcat :: NonEmpty OriginalPath -> OriginalPath #

stimes :: Integral b => b -> OriginalPath -> OriginalPath #

IsString OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

fromString :: String -> OriginalPath #

Generic OriginalPath Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep OriginalPath
Instance details Defined in Clod.Types type Rep OriginalPath = D1 ('MetaData "OriginalPath" "Clod.Types" "clod-0.1.4-inplace" 'True) (C1 ('MetaCons "OriginalPath" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOriginalPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: OriginalPath -> Rep OriginalPath x #

to :: Rep OriginalPath x -> OriginalPath #

Show OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> OriginalPath -> ShowS #

show :: OriginalPath -> String #

showList :: [OriginalPath] -> ShowS #

Eq OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

(==) :: OriginalPath -> OriginalPath -> Bool #

(/=) :: OriginalPath -> OriginalPath -> Bool #

Ord OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

compare :: OriginalPath -> OriginalPath -> Ordering #

(<) :: OriginalPath -> OriginalPath -> Bool #

(<=) :: OriginalPath -> OriginalPath -> Bool #

(>) :: OriginalPath -> OriginalPath -> Bool #

(>=) :: OriginalPath -> OriginalPath -> Bool #

max :: OriginalPath -> OriginalPath -> OriginalPath #

min :: OriginalPath -> OriginalPath -> OriginalPath #

FromJSON OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

parseJSON :: Value -> Parser OriginalPath #

parseJSONList :: Value -> Parser [OriginalPath] #

omittedField :: Maybe OriginalPath #

ToJSON OriginalPath Source #

Instance details

Defined in Clod.Types

Methods

toJSON :: OriginalPath -> Value #

toEncoding :: OriginalPath -> Encoding #

toJSONList :: [OriginalPath] -> Value #

toEncodingList :: [OriginalPath] -> Encoding #

omitField :: OriginalPath -> Bool #

type Rep OriginalPath Source #

Instance details

Defined in Clod.Types

type Rep OriginalPath = D1 ('MetaData "OriginalPath" "Clod.Types" "clod-0.1.4-inplace" 'True) (C1 ('MetaCons "OriginalPath" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOriginalPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype Checksum Source #

Newtype for file checksums to prevent mixing with other string types

Constructors

Checksum
Fields unChecksum :: String

Instances

Instances details

FromDhall Checksum Source #

Instance details

Defined in Clod.Types

Methods

autoWith :: InputNormalizer -> Decoder Checksum #

ToDhall Checksum Source #

Instance details

Defined in Clod.Types

Methods

injectWith :: InputNormalizer -> Encoder Checksum #

Monoid Checksum Source #

Instance details

Defined in Clod.Types

Methods

mempty :: Checksum #

mappend :: Checksum -> Checksum -> Checksum #

mconcat :: [Checksum] -> Checksum #

Semigroup Checksum Source #

Instance details

Defined in Clod.Types

Methods

(<>) :: Checksum -> Checksum -> Checksum #

sconcat :: NonEmpty Checksum -> Checksum #

stimes :: Integral b => b -> Checksum -> Checksum #

IsString Checksum Source #

Instance details

Defined in Clod.Types

Methods

fromString :: String -> Checksum #

Generic Checksum Source #

Instance details

Defined in Clod.Types

Associated Types

type Rep Checksum
Instance details Defined in Clod.Types type Rep Checksum = D1 ('MetaData "Checksum" "Clod.Types" "clod-0.1.4-inplace" 'True) (C1 ('MetaCons "Checksum" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChecksum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: Checksum -> Rep Checksum x #

to :: Rep Checksum x -> Checksum #

Show Checksum Source #

Instance details

Defined in Clod.Types

Methods

showsPrec :: Int -> Checksum -> ShowS #

show :: Checksum -> String #

showList :: [Checksum] -> ShowS #

Eq Checksum Source #

Instance details

Defined in Clod.Types

Methods

(==) :: Checksum -> Checksum -> Bool #

(/=) :: Checksum -> Checksum -> Bool #

Ord Checksum Source #

Instance details

Defined in Clod.Types

Methods

compare :: Checksum -> Checksum -> Ordering #

(<) :: Checksum -> Checksum -> Bool #

(<=) :: Checksum -> Checksum -> Bool #

(>) :: Checksum -> Checksum -> Bool #

(>=) :: Checksum -> Checksum -> Bool #

max :: Checksum -> Checksum -> Checksum #

min :: Checksum -> Checksum -> Checksum #

FromJSON Checksum Source #

Instance details

Defined in Clod.Types

Methods

parseJSON :: Value -> Parser Checksum #

parseJSONList :: Value -> Parser [Checksum] #

omittedField :: Maybe Checksum #

ToJSON Checksum Source #

Instance details

Defined in Clod.Types

Methods

toJSON :: Checksum -> Value #

toEncoding :: Checksum -> Encoding #

toJSONList :: [Checksum] -> Value #

toEncodingList :: [Checksum] -> Encoding #

omitField :: Checksum -> Bool #

type Rep Checksum Source #

Instance details

Defined in Clod.Types

type Rep Checksum = D1 ('MetaData "Checksum" "Clod.Types" "clod-0.1.4-inplace" 'True) (C1 ('MetaCons "Checksum" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChecksum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Capability types

data FileReadCap Source #

Capability for reading files within certain directories

Constructors

FileReadCap
Fields allowedReadDirs :: [FilePath] Directories where reading is permitted

Instances

Instances details

Show FileReadCap Source #
Instance details Defined in Clod.Types Methods showsPrec :: Int -> FileReadCap -> ShowS # show :: FileReadCap -> String # showList :: [FileReadCap] -> ShowS #
Eq FileReadCap Source #
Instance details Defined in Clod.Types Methods (==) :: FileReadCap -> FileReadCap -> Bool # (/=) :: FileReadCap -> FileReadCap -> Bool #

data FileWriteCap Source #

Capability for writing files within certain directories

Constructors

FileWriteCap
Fields allowedWriteDirs :: [FilePath] Directories where writing is permitted

Instances

Instances details

Show FileWriteCap Source #
Instance details Defined in Clod.Types Methods showsPrec :: Int -> FileWriteCap -> ShowS # show :: FileWriteCap -> String # showList :: [FileWriteCap] -> ShowS #
Eq FileWriteCap Source #
Instance details Defined in Clod.Types Methods (==) :: FileWriteCap -> FileWriteCap -> Bool # (/=) :: FileWriteCap -> FileWriteCap -> Bool #

fileReadCap :: [FilePath] -> FileReadCap Source #

Create a file read capability for specified directories

fileWriteCap :: [FilePath] -> FileWriteCap Source #

Create a file write capability for specified directories

Path validation

isPathAllowed :: [FilePath] -> FilePath -> IO Bool Source #

Check if a path is within allowed directories This improved version handles path traversal attacks by comparing canonical paths