intelli-monad-0.1.0.1: Type level prompt with openai.

Index

$sel:arxivId:ArxivEntryIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:code:BashOutputIntelliMonad.Tools.Bash, IntelliMonad.Tools
$sel:code:DallE3OutputIntelliMonad.Tools.DallE3, IntelliMonad.Tools
$sel:code:TextToSpeechOutputIntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools
$sel:code:ValidateNumberOutputIntelliMonad.CustomInstructions
$sel:contentCreated:ContentIntelliMonad.Types
$sel:contentMessage:ContentIntelliMonad.Types
$sel:contentSessionName:ContentIntelliMonad.Types
$sel:contentUser:ContentIntelliMonad.Types
$sel:context:PromptEnvIntelliMonad.Types
$sel:contextBody:ContextIntelliMonad.Types
$sel:contextCreated:ContextIntelliMonad.Types
$sel:contextFooter:ContextIntelliMonad.Types
$sel:contextHeader:ContextIntelliMonad.Types
$sel:contextRequest:ContextIntelliMonad.Types
$sel:contextResponse:ContextIntelliMonad.Types
$sel:contextSessionName:ContextIntelliMonad.Types
$sel:contextTotalTokens:ContextIntelliMonad.Types
$sel:customInstructions:PromptEnvIntelliMonad.Types
$sel:imageData:MessageIntelliMonad.Types
$sel:imageType:MessageIntelliMonad.Types
$sel:maxResults:ArxivIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:number:ValidateNumberIntelliMonad.CustomInstructions
$sel:papers:ArxivOutputIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:prompt:DallE3IntelliMonad.Tools.DallE3, IntelliMonad.Tools
$sel:published:ArxivEntryIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:script:BashIntelliMonad.Tools.Bash, IntelliMonad.Tools
$sel:script:TextToSpeechIntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools
$sel:searchQuery:ArxivIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:sessionName:QuitIntelliMonad.Types
$sel:sessionNameFrom:QuitIntelliMonad.Types
$sel:sessionNameTo:QuitIntelliMonad.Types
$sel:size:DallE3IntelliMonad.Tools.DallE3, IntelliMonad.Tools
$sel:start:ArxivIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:stderr:BashOutputIntelliMonad.Tools.Bash, IntelliMonad.Tools
$sel:stderr:DallE3OutputIntelliMonad.Tools.DallE3, IntelliMonad.Tools
$sel:stderr:TextToSpeechOutputIntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools
$sel:stderr:ValidateNumberOutputIntelliMonad.CustomInstructions
$sel:stdout:BashOutputIntelliMonad.Tools.Bash, IntelliMonad.Tools
$sel:stdout:DallE3OutputIntelliMonad.Tools.DallE3, IntelliMonad.Tools
$sel:stdout:TextToSpeechOutputIntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools
$sel:stdout:ValidateNumberOutputIntelliMonad.CustomInstructions
$sel:summary:ArxivEntryIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:title:ArxivEntryIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
$sel:toolArguments:MessageIntelliMonad.Types
$sel:toolContent:MessageIntelliMonad.Types
$sel:toolId:MessageIntelliMonad.Types
$sel:toolName:MessageIntelliMonad.Types
$sel:tools:PromptEnvIntelliMonad.Types
$sel:unContentKey:ContentKeyIntelliMonad.Types
$sel:unContextKey:ContextKeyIntelliMonad.Types
$sel:unText:MessageIntelliMonad.Types
$sel:url:DallE3OutputIntelliMonad.Tools.DallE3, IntelliMonad.Tools
<||>IntelliMonad.Tools.Utils, IntelliMonad.Tools
addToolsIntelliMonad.Tools.Utils, IntelliMonad.Tools
appendIntelliMonad.Types
Array'IntelliMonad.Types
Arxiv 
1 (Type/Class)IntelliMonad.Tools.Arxiv, IntelliMonad.Tools
2 (Data Constructor)IntelliMonad.Tools.Arxiv, IntelliMonad.Tools
ArxivEntry 
1 (Type/Class)IntelliMonad.Tools.Arxiv, IntelliMonad.Tools
2 (Data Constructor)IntelliMonad.Tools.Arxiv, IntelliMonad.Tools
ArxivOutputIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
arxivSearchIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
AssistantIntelliMonad.Types
Bash 
1 (Type/Class)IntelliMonad.Tools.Bash, IntelliMonad.Tools
2 (Data Constructor)IntelliMonad.Tools.Bash, IntelliMonad.Tools
BashOutputIntelliMonad.Tools.Bash, IntelliMonad.Tools
Boolean'IntelliMonad.Types
callIntelliMonad.Prompt
callWithContentsIntelliMonad.Prompt
callWithImageIntelliMonad.Prompt
callWithTextIntelliMonad.Prompt
callWithValidationIntelliMonad.Prompt
ChatCompletionIntelliMonad.Types
ClearIntelliMonad.Types
clearIntelliMonad.Prompt
configIntelliMonad.Persist
ConnIntelliMonad.Persist
Content 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
ContentCreatedIntelliMonad.Types
ContentFilterIntelliMonad.Types
ContentId 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
ContentKeyIntelliMonad.Types
ContentMessageIntelliMonad.Types
ContentsIntelliMonad.Types
ContentSessionNameIntelliMonad.Types
ContentUserIntelliMonad.Types
Context 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
ContextBodyIntelliMonad.Types
ContextCreatedIntelliMonad.Types
ContextFooterIntelliMonad.Types
ContextHeaderIntelliMonad.Types
ContextId 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
ContextKeyIntelliMonad.Types
ContextRequestIntelliMonad.Types
ContextResponseIntelliMonad.Types
ContextSessionNameIntelliMonad.Types
ContextTotalTokensIntelliMonad.Types
CopySessionIntelliMonad.Types
customFooterIntelliMonad.Types
customHeaderIntelliMonad.Types
CustomInstructionIntelliMonad.Types
CustomInstructionProxy 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
DallE3 
1 (Type/Class)IntelliMonad.Tools.DallE3, IntelliMonad.Tools
2 (Data Constructor)IntelliMonad.Tools.DallE3, IntelliMonad.Tools
DallE3OutputIntelliMonad.Tools.DallE3, IntelliMonad.Tools
defaultCustomInstructionsIntelliMonad.CustomInstructions
defaultRequestIntelliMonad.Types
defaultToolsIntelliMonad.Tools
defaultUTCTimeIntelliMonad.Types
DeleteSessionIntelliMonad.Types
deleteSessionIntelliMonad.Persist
EditIntelliMonad.Types
EditContentsIntelliMonad.Types
editContentsWithEditorIntelliMonad.Repl
EditFooterIntelliMonad.Types
EditHeaderIntelliMonad.Types
EditRequestIntelliMonad.Types
editRequestWithEditorIntelliMonad.Repl
editWithEditorIntelliMonad.Repl
element'IntelliMonad.Tools.Arxiv, IntelliMonad.Tools
entityDefListFormigrateAllIntelliMonad.Types
EntityFieldIntelliMonad.Types
filterToolCallIntelliMonad.Tools.Utils, IntelliMonad.Tools
findToolCallIntelliMonad.Tools.Utils, IntelliMonad.Tools
FinishReasonIntelliMonad.Types
finishReasonToTextIntelliMonad.Types
footersIntelliMonad.CustomInstructions
fromModelIntelliMonad.Prompt
fromPVIntelliMonad.Types
fromResponseIntelliMonad.Types
FunctionCallIntelliMonad.Types
getContextIntelliMonad.Prompt
getFieldDescriptionIntelliMonad.Types
getFunctionDescriptionIntelliMonad.Types
getFunctionNameIntelliMonad.Types
getTextInputLineIntelliMonad.Repl
getUserCommandIntelliMonad.Repl
GSchemaIntelliMonad.Types
gschemaIntelliMonad.Types
HasFunctionObjectIntelliMonad.Types
hasToolCallIntelliMonad.Tools.Utils, IntelliMonad.Tools
headDefIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
headersIntelliMonad.CustomInstructions
HelpIntelliMonad.Types
ImageIntelliMonad.Types
initializeIntelliMonad.Persist
initializePromptIntelliMonad.Prompt
Integer'IntelliMonad.Types
JSONSchemaIntelliMonad.Types
KeyIntelliMonad.Types
LengthIntelliMonad.Types
ListSessionsIntelliMonad.Types
listSessionsIntelliMonad.Persist
loadIntelliMonad.Persist
loadByKeyIntelliMonad.Persist
mainIntelliMonad.Cmd
Math 
1 (Type/Class)IntelliMonad.CustomInstructions
2 (Data Constructor)IntelliMonad.CustomInstructions
Maybe'IntelliMonad.Types
mergeToolCallIntelliMonad.Tools.Utils, IntelliMonad.Tools
Message 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
migrateAllIntelliMonad.Types
Model 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
NullIntelliMonad.Types
Null'IntelliMonad.Types
Number'IntelliMonad.Types
Object'IntelliMonad.Types
optsIntelliMonad.Cmd
OutputIntelliMonad.Types, IntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools.DallE3, IntelliMonad.Tools.Bash, IntelliMonad.Tools.Arxiv, IntelliMonad.Tools, IntelliMonad.Tools, IntelliMonad.CustomInstructions
parseArxivResultIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
parseArxivXMLIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
parseEntryIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
ParserIntelliMonad.Repl
parseReplIntelliMonad.Repl
PersistentBackendIntelliMonad.Persist
PromptIntelliMonad.Types
PromptEnv 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
pushIntelliMonad.Prompt
pushToolReturnIntelliMonad.Prompt
putImageIntelliMonad.Tools.DallE3, IntelliMonad.Tools
queryArxivIntelliMonad.Tools.Arxiv, IntelliMonad.Tools
QuitIntelliMonad.Types
ReadImageIntelliMonad.Types
ReplIntelliMonad.Types
ReplCommandIntelliMonad.Types
runCmdIntelliMonad.Cmd
runCmd'IntelliMonad.Repl
runPromptIntelliMonad.Prompt
runPromptWithValidationIntelliMonad.Prompt
runReplIntelliMonad.Repl
runRepl'IntelliMonad.Repl
runRequestIntelliMonad.Prompt
saveIntelliMonad.Persist
saveContentsIntelliMonad.Persist
SchemaIntelliMonad.Types
schemaIntelliMonad.Types
SessionNameIntelliMonad.Types
setContextIntelliMonad.Prompt
setupIntelliMonad.Persist
ShowContentsIntelliMonad.Types
showContentsIntelliMonad.Prompt
ShowContextIntelliMonad.Types
ShowRequestIntelliMonad.Types
ShowSessionIntelliMonad.Types
ShowUsageIntelliMonad.Types
StatelessConf 
1 (Type/Class)IntelliMonad.Persist
2 (Data Constructor)IntelliMonad.Persist
StopIntelliMonad.Types
String'IntelliMonad.Types
switchContextIntelliMonad.Prompt
SwitchSessionIntelliMonad.Types
SystemIntelliMonad.Types
textToFinishReasonIntelliMonad.Types
TextToSpeech 
1 (Type/Class)IntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools
2 (Data Constructor)IntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools
TextToSpeechOutputIntelliMonad.Tools.TextToSpeech, IntelliMonad.Tools
textToUserIntelliMonad.Types
toAesonIntelliMonad.Types
toChatCompletionToolIntelliMonad.Types
Tool 
1 (Data Constructor)IntelliMonad.Types
2 (Type/Class)IntelliMonad.Types
toolAddIntelliMonad.Types
ToolCallIntelliMonad.Types
ToolCallsIntelliMonad.Types
toolExecIntelliMonad.Types
toolExec'IntelliMonad.Tools.Utils, IntelliMonad.Tools
toolFunctionNameIntelliMonad.Types
ToolProxy 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
ToolReturnIntelliMonad.Types
toolSchemaIntelliMonad.Types
toPVIntelliMonad.Types
toRequestIntelliMonad.Types
tryConvertIntelliMonad.Types
tryToolExecIntelliMonad.Tools.Utils, IntelliMonad.Tools
User 
1 (Type/Class)IntelliMonad.Types
2 (Data Constructor)IntelliMonad.Types
UserInputIntelliMonad.Types
userToTextIntelliMonad.Types
ValidateIntelliMonad.Types
ValidateNumber 
1 (Type/Class)IntelliMonad.CustomInstructions
2 (Data Constructor)IntelliMonad.CustomInstructions
ValidateNumberOutputIntelliMonad.CustomInstructions
withDBIntelliMonad.Persist