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   }
   50 
   51 -- | No-op channel handle. Receive returns an empty message, send and
   52 -- sendError are silent. readSecret returns empty text.
   53 mkNoOpChannelHandle :: ChannelHandle
   54 mkNoOpChannelHandle = ChannelHandle
   55   { _ch_receive    = pure (IncomingMessage (UserId "") "")
   56   , _ch_send       = \_ -> pure ()
   57   , _ch_sendError  = \_ -> pure ()
   58   , _ch_sendChunk  = \_ -> pure ()
   59   , _ch_readSecret = pure ""
   60   }