never executed always true always false

    1 module PureClaw.Handles.Channel
    2   ( -- * Message types
    3     IncomingMessage (..)
    4   , OutgoingMessage (..)
    5     -- * Streaming
    6   , StreamChunk (..)
    7     -- * Handle type
    8   , ChannelHandle (..)
    9     -- * Implementations
   10   , mkNoOpChannelHandle
   11   ) where
   12 
   13 import Data.Text (Text)
   14 
   15 import PureClaw.Core.Errors
   16 import PureClaw.Core.Types
   17 
   18 -- | A message received from a channel user.
   19 data IncomingMessage = IncomingMessage
   20   { _im_userId  :: UserId
   21   , _im_content :: Text
   22   }
   23   deriving stock (Show, Eq)
   24 
   25 -- | A message to send to a channel user.
   26 newtype OutgoingMessage = OutgoingMessage
   27   { _om_content :: Text
   28   }
   29   deriving stock (Show, Eq)
   30 
   31 -- | A chunk of streamed text from the provider.
   32 data StreamChunk
   33   = ChunkText Text    -- ^ Partial text content
   34   | ChunkDone         -- ^ Stream finished
   35   deriving stock (Show, Eq)
   36 
   37 -- | Channel communication capability interface. Concrete implementations
   38 -- (CLI, Telegram, Signal) live in @PureClaw.Channels.*@ modules.
   39 --
   40 -- 'sendError' only accepts 'PublicError' — internal errors with stack
   41 -- traces or model names cannot be sent to channel users. This is enforced
   42 -- at the type level.
   43 data ChannelHandle = ChannelHandle
   44   { _ch_receive      :: IO IncomingMessage
   45   , _ch_send         :: OutgoingMessage -> IO ()
   46   , _ch_sendError    :: PublicError -> IO ()
   47   , _ch_sendChunk    :: StreamChunk -> IO ()
   48   , _ch_readSecret   :: IO Text    -- ^ Read a line without echo (CLI only)
   49   , _ch_prompt       :: Text -> IO Text
   50     -- ^ Display a prompt and read input on the same line (no trailing
   51     -- newline after the prompt text). For non-interactive channels this
   52     -- falls back to send-then-receive.
   53   , _ch_promptSecret :: Text -> IO Text
   54     -- ^ Like '_ch_prompt' but with echo disabled (for passwords / API keys).
   55     -- For non-interactive channels this falls back to '_ch_readSecret'.
   56   }
   57 
   58 -- | No-op channel handle. Receive returns an empty message, send and
   59 -- sendError are silent. readSecret returns empty text.
   60 mkNoOpChannelHandle :: ChannelHandle
   61 mkNoOpChannelHandle = ChannelHandle
   62   { _ch_receive      = pure (IncomingMessage (UserId "") "")
   63   , _ch_send         = \_ -> pure ()
   64   , _ch_sendError    = \_ -> pure ()
   65   , _ch_sendChunk    = \_ -> pure ()
   66   , _ch_readSecret   = pure ""
   67   , _ch_prompt       = \_ -> pure ""
   68   , _ch_promptSecret = \_ -> pure ""
   69   }