IntelliMonad.CustomInstructions

Documentation

defaultCustomInstructions :: [CustomInstructionProxy]

data ValidateNumber

Constructors

ValidateNumber

Fields

• number :: Double

Instances

FromJSON ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

parseJSON :: Value -> Parser ValidateNumber

parseJSONList :: Value -> Parser [ValidateNumber]

omittedField :: Maybe ValidateNumber

ToJSON ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

toJSON :: ValidateNumber -> Value

toEncoding :: ValidateNumber -> Encoding

toJSONList :: [ValidateNumber] -> Value

toEncodingList :: [ValidateNumber] -> Encoding

omitField :: ValidateNumber -> Bool

Generic ValidateNumber

Defined in IntelliMonad.CustomInstructions

Associated Types

type Rep ValidateNumber :: Type -> Type

Methods

from :: ValidateNumber -> Rep ValidateNumber x

to :: Rep ValidateNumber x -> ValidateNumber

Show ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

showsPrec :: Int -> ValidateNumber -> ShowS

show :: ValidateNumber -> String

showList :: [ValidateNumber] -> ShowS

Eq ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

(==) :: ValidateNumber -> ValidateNumber -> Bool

(/=) :: ValidateNumber -> ValidateNumber -> Bool

HasFunctionObject ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

getFunctionName :: String

getFunctionDescription :: String

getFieldDescription :: String -> String

JSONSchema ValidateNumber

Defined in IntelliMonad.CustomInstructions

Methods

schema :: Schema

Tool ValidateNumber

Defined in IntelliMonad.CustomInstructions

Associated Types

data Output ValidateNumber

Methods

toolFunctionName :: Text

toolSchema :: ChatCompletionTool

toolExec :: forall p (m :: Type -> Type). (MonadIO m, MonadFail m, PersistentBackend p) => ValidateNumber -> Prompt m (Output ValidateNumber)

toolHeader :: Contents

toolFooter :: Contents

FromJSON (Output ValidateNumber)

Defined in IntelliMonad.CustomInstructions

Methods

parseJSON :: Value -> Parser (Output ValidateNumber)

parseJSONList :: Value -> Parser [Output ValidateNumber]

omittedField :: Maybe (Output ValidateNumber)

ToJSON (Output ValidateNumber)

Defined in IntelliMonad.CustomInstructions

Methods

toJSON :: Output ValidateNumber -> Value

toEncoding :: Output ValidateNumber -> Encoding

toJSONList :: [Output ValidateNumber] -> Value

toEncodingList :: [Output ValidateNumber] -> Encoding

omitField :: Output ValidateNumber -> Bool

Generic (Output ValidateNumber)

Defined in IntelliMonad.CustomInstructions

Associated Types

type Rep (Output ValidateNumber) :: Type -> Type

Methods

from :: Output ValidateNumber -> Rep (Output ValidateNumber) x

to :: Rep (Output ValidateNumber) x -> Output ValidateNumber

Show (Output ValidateNumber)

Defined in IntelliMonad.CustomInstructions

Methods

showsPrec :: Int -> Output ValidateNumber -> ShowS

show :: Output ValidateNumber -> String

showList :: [Output ValidateNumber] -> ShowS

Eq (Output ValidateNumber)

Defined in IntelliMonad.CustomInstructions

Methods

(==) :: Output ValidateNumber -> Output ValidateNumber -> Bool

(/=) :: Output ValidateNumber -> Output ValidateNumber -> Bool

type Rep ValidateNumber

Defined in IntelliMonad.CustomInstructions

type Rep ValidateNumber = D1 ('MetaData "ValidateNumber" "IntelliMonad.CustomInstructions" "intelli-monad-0.1.0.2-7aLMpsbCxFoFMlNn6ntog1" 'False) (C1 ('MetaCons "ValidateNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "number") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

data Output ValidateNumber

Defined in IntelliMonad.CustomInstructions

data Output ValidateNumber = ValidateNumberOutput {

• code :: Int
• stdout :: String
• stderr :: String

}

type Rep (Output ValidateNumber)

Defined in IntelliMonad.CustomInstructions

type Rep (Output ValidateNumber) = D1 ('MetaData "Output" "IntelliMonad.CustomInstructions" "intelli-monad-0.1.0.2-7aLMpsbCxFoFMlNn6ntog1" 'False) (C1 ('MetaCons "ValidateNumberOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "stdout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "stderr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data Math

Constructors

Math

Instances

CustomInstruction Math

Defined in IntelliMonad.CustomInstructions

Methods

customHeader :: Math -> Contents

customFooter :: Math -> Contents

headers :: [CustomInstructionProxy] -> Contents

footers :: [CustomInstructionProxy] -> Contents

toolHeaders :: [ToolProxy] -> Contents

toolFooters :: [ToolProxy] -> Contents