Copyright	(c) 2026 SPISE MISU ApS
License	SSPL-1.0 OR AGPL-3.0-only
Maintainer	SPISE MISU <mail+hackage@spisemisu.com>
Stability	experimental
Safe Haskell	Safe
Language	Haskell2010

Agent.IO.Effects

Contents

LLM (Config)
LLM (Chat)
LLM (Code)
LLM (Plan)

Description

Synopsis

class Monad m => LlmConf (m :: Type -> Type) where
- llmPathCWD :: m (Maybe Root)
class Monad m => LlmChatConf (m :: Type -> Type) where
- llmChatAPI :: m (Maybe String)
- llmChatKey :: m (Maybe String)
class LlmChatConf m => LlmChatPost (m :: Type -> Type) where
- llmChatWeb :: String -> m (Either String String)
class Monad m => LlmCodeRoot (m :: Type -> Type) where
- llmCodeDir :: m String
class Monad m => LlmCodeMask (m :: Type -> Type) where
- llmCodeMsk :: m [String]
class Monad m => LlmCodeTmpl (m :: Type -> Type) where
- llmCodeIns :: m [File]
- llmCodeExa :: m [File]
class (LlmConf m, LlmCodeRoot m, LlmCodeMask m) => LlmCodeRead (m :: Type -> Type) where
- llmCodeSeq :: Maybe Filter -> m (Either [String] FilePaths)
- llmCodeGet :: AbsoluteFilePath -> m (Either String File)
- llmCodeGit :: m (Either String String)
class (LlmConf m, LlmCodeRoot m) => LlmCodeSave (m :: Type -> Type) where
- llmCodePut :: String -> Files -> m (Either String String)
class Monad m => LlmCodeConf (m :: Type -> Type) where
- llmCodeAPI :: m (Maybe String)
- llmCodeKey :: m (Maybe String)
class LlmCodeConf m => LlmCodePost (m :: Type -> Type) where
- llmCodeWeb :: String -> m (Either String String)
class Monad m => LlmPlanRoot (m :: Type -> Type) where
- llmPlanDir :: m String
class Monad m => LlmPlanMask (m :: Type -> Type) where
- llmPlanMsk :: m [String]
class (LlmConf m, LlmPlanRoot m, LlmPlanMask m, LlmCodeRead m) => LlmPlanRead (m :: Type -> Type) where
- llmPlanSeq :: Maybe Filter -> m (Either [String] FilePaths)
- llmPlanGet :: String -> m (Either String File)
class Monad m => LlmPlanConf (m :: Type -> Type) where
- llmPlanAPI :: m (Maybe String)
- llmPlanKey :: m (Maybe String)
class (LlmConf m, LlmPlanConf m) => LlmPlanPost (m :: Type -> Type) where
- llmPlanWeb :: String -> m (Either String String)

LLM (Config)

class Monad m => LlmConf (m :: Type -> Type) where Source #

Methods

llmPathCWD :: m (Maybe Root) Source #

LLM (Chat)

class Monad m => LlmChatConf (m :: Type -> Type) where Source #

Methods

llmChatAPI :: m (Maybe String) Source #

llmChatKey :: m (Maybe String) Source #

class LlmChatConf m => LlmChatPost (m :: Type -> Type) where Source #

Methods

llmChatWeb :: String -> m (Either String String) Source #

LLM (Code)

class Monad m => LlmCodeRoot (m :: Type -> Type) where Source #

Methods

llmCodeDir :: m String Source #

class Monad m => LlmCodeMask (m :: Type -> Type) where Source #

Methods

llmCodeMsk :: m [String] Source #

class Monad m => LlmCodeTmpl (m :: Type -> Type) where Source #

Methods

llmCodeIns :: m [File] Source #

llmCodeExa :: m [File] Source #

class (LlmConf m, LlmCodeRoot m, LlmCodeMask m) => LlmCodeRead (m :: Type -> Type) where Source #

Methods

llmCodeSeq :: Maybe Filter -> m (Either [String] FilePaths) Source #

llmCodeGet :: AbsoluteFilePath -> m (Either String File) Source #

llmCodeGit :: m (Either String String) Source #

class (LlmConf m, LlmCodeRoot m) => LlmCodeSave (m :: Type -> Type) where Source #

Methods

llmCodePut :: String -> Files -> m (Either String String) Source #

class Monad m => LlmCodeConf (m :: Type -> Type) where Source #

Methods

llmCodeAPI :: m (Maybe String) Source #

llmCodeKey :: m (Maybe String) Source #

class LlmCodeConf m => LlmCodePost (m :: Type -> Type) where Source #

Methods

llmCodeWeb :: String -> m (Either String String) Source #

LLM (Plan)

class Monad m => LlmPlanRoot (m :: Type -> Type) where Source #

Methods

llmPlanDir :: m String Source #

class Monad m => LlmPlanMask (m :: Type -> Type) where Source #

Methods

llmPlanMsk :: m [String] Source #

class (LlmConf m, LlmPlanRoot m, LlmPlanMask m, LlmCodeRead m) => LlmPlanRead (m :: Type -> Type) where Source #

Methods

llmPlanSeq :: Maybe Filter -> m (Either [String] FilePaths) Source #

llmPlanGet :: String -> m (Either String File) Source #

class Monad m => LlmPlanConf (m :: Type -> Type) where Source #

Methods

llmPlanAPI :: m (Maybe String) Source #

llmPlanKey :: m (Maybe String) Source #

class (LlmConf m, LlmPlanConf m) => LlmPlanPost (m :: Type -> Type) where Source #

Methods

llmPlanWeb :: String -> m (Either String String) Source #