{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedStrings #-}

-- | Integration smoke-test for the circuits substrate.
--
-- Importing one representative module from each substrate package proves that
-- the whole set compiles and links together.
module Trystero (greenLights) where

import Chart ()
import Circuit.Agent (Post, mkPost)
import Circuit.Chu (Chu)
import Circuit.Diff.Circuit qualified as CDD
import Circuit.Inference.Prob ()
import Circuit.LLM.GPT ()
import Circuit.Learn.Para ()
import Circuit.Log (LogConfig, defaultLogConfig)
import Circuit.Logics ()
import Circuit.Mat (Mat)
import Circuit.Meter (Meter)
import Circuit.PCA ()
import Circuit.Parser (Parser, These, char, runParserIdentity)
import Circuit.Poly.StringDiagram ()
import Circuit.Prob ()
import Circuit.Process (Process, scan)
import Circuit.RL.GridWorld ()
import Circuit.Stats (ma)
import Data.FormatN ()
import Data.Functor.Identity (Identity)
import Data.Proxy (Proxy (..))
import Data.Text (Text)
import Free.Agent.Bus ()
import Harpie.Array (Array, array)
import MarkupParse ()
import Net ()
import NumHask.Prelude (one)
import NumHask.Space (Point (..))
import Prettychart ()
import SysL ()

greenLights :: IO ()
greenLights :: IO ()
greenLights = do
  String -> IO ()
putStrLn String
"numhask: green"
  Int -> IO ()
forall a. Show a => a -> IO ()
print (Int
forall a. Multiplicative a => a
one :: Int)
  String -> IO ()
putStrLn String
"circuits-diff: green"
  Proxy (Diff Double Double) -> IO ()
forall a. Show a => a -> IO ()
print (Proxy (Diff Double Double)
forall {k} (t :: k). Proxy t
Proxy :: Proxy (CDD.Diff Double Double))
  String -> IO ()
putStrLn String
"numhask-space: green"
  Point Int -> IO ()
forall a. Show a => a -> IO ()
print (Int -> Int -> Point Int
forall a. a -> a -> Point a
Point Int
1 Int
2 :: Point Int)
  String -> IO ()
putStrLn String
"harpie: green"
  Array Int -> IO ()
forall a. Show a => a -> IO ()
print ([Int] -> [Int] -> Array Int
forall t a. FromVector t a => [Int] -> t -> Array a
array [Int
2, Int
2] [Int
1, Int
2, Int
3, Int
4] :: Array Int)
  String -> IO ()
putStrLn String
"circuits-stats: green"
  [Double] -> IO ()
forall a. Show a => a -> IO ()
print (Process Double Double -> [Double] -> [Double]
forall a b. Process a b -> [a] -> [b]
scan (Double -> Process Double Double
forall a. (Divisive a, Additive a) => a -> Process a a
ma Double
0.1) [Double
1, Double
2, Double
3 :: Double])
  String -> IO ()
putStrLn String
"circuits: green"
  Proxy (Process Double Double) -> IO ()
forall a. Show a => a -> IO ()
print (Proxy (Process Double Double)
forall {k} (t :: k). Proxy t
Proxy :: Proxy (Process Double Double))
  String -> IO ()
putStrLn String
"circuits-diagrams: green"
  String -> IO ()
putStrLn String
"circuits-mat: green"
  Proxy (Mat Double () ()) -> IO ()
forall a. Show a => a -> IO ()
print (Proxy (Mat Double () ())
forall {k} (t :: k). Proxy t
Proxy :: Proxy (Mat Double () ()))
  String -> IO ()
putStrLn String
"circuits-parser: green"
  These Char String -> IO ()
forall a. Show a => a -> IO ()
print (Parser Identity String Char Char -> String -> These Char String
forall {k} f (s :: k) a. Parser Identity f s a -> f -> These a f
runParserIdentity (Char -> Parser Identity String Char Char
forall (m :: * -> *) f s.
(Monad m, Uncons f s, Eq s) =>
s -> Parser m f s s
char Char
'a' :: Parser Identity String Char Char) String
"abc" :: These Char String)
  String -> IO ()
putStrLn String
"circuits-pca: green"
  String -> IO ()
putStrLn String
"circuits-prob: green"
  String -> IO ()
putStrLn String
"circuits-llm: green"
  String -> IO ()
putStrLn String
"circuits-log: green"
  LogConfig -> IO ()
forall a. Show a => a -> IO ()
print (LogConfig
defaultLogConfig :: LogConfig)
  String -> IO ()
putStrLn String
"circuits-meter: green"
  Proxy (Meter (->) () ()) -> IO ()
forall a. Show a => a -> IO ()
print (Proxy (Meter (->) () ())
forall {k} (t :: k). Proxy t
Proxy :: Proxy (Meter (->) () ()))
  String -> IO ()
putStrLn String
"circuits-agent: green"
  Post Text -> IO ()
forall a. Show a => a -> IO ()
print (Text -> [Text] -> Text -> Post Text
forall a. Text -> [Text] -> a -> Post a
mkPost Text
"substrate" [Text
"agent"] Text
"hello" :: Post Text)
  String -> IO ()
putStrLn String
"circuits-chu: green"
  Proxy (Chu (,) Bool (->) () ()) -> IO ()
forall a. Show a => a -> IO ()
print (Proxy (Chu (,) Bool (->) () ())
forall {k} (t :: k). Proxy t
Proxy :: Proxy (Chu (,) Bool (->) () ()))
  String -> IO ()
putStrLn String
"chart-svg: green"
  String -> IO ()
putStrLn String
"circuits-inference: green"
  String -> IO ()
putStrLn String
"circuits-learn: green"
  String -> IO ()
putStrLn String
"circuits-rl: green"
  String -> IO ()
putStrLn String
"formatn: green"
  String -> IO ()
putStrLn String
"free-agent: green"
  String -> IO ()
putStrLn String
"manyvalued: green"
  String -> IO ()
putStrLn String
"markup-parse: green"
  String -> IO ()
putStrLn String
"mnet: green"
  String -> IO ()
putStrLn String
"prettychart: green"
  String -> IO ()
putStrLn String
"sysl: green"