module Basis.Channel (Channel, entries) where

import Data.Typeable (Typeable)
import BasisUtils
import AST
import Value (Value, Valuable(..))

import qualified Data.Loc

import qualified Basis.Channel.Haskell as C

newtype Channel = Channel { unChannel :: C.Chan Value }
  deriving (Eq, Typeable)

instance Valuable Channel where
  veq = (==)
  vppr _ = text "#<channel>"

entries :: [Entry Raw]
entries  = [
    dec [sgQ| type 'a channel |],
    fun "new"  -: [ty| all 'a. unit -> 'a channel |]
        -= \() -> Channel `fmap` C.newChan,
    fun "send" -: [ty| all 'a. 'a channel -> 'a -> unit |]
        -= \c a -> do
             C.writeChan (unChannel c) a
             return (),
    fun "recv" -: [ty| all 'a. 'a channel -> 'a |]
        -= \c -> C.readChan (unChannel c)
  ]