Copyright	(c) 2016 Conal Elliott
License	BSD3
Maintainer	conal@conal.net
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

ConCat.Circuit

Description

Circuit representation

Synopsis

type CircuitM = State (IdSupply, CompInfo)
data a :> b
data Bus = Bus CompId Int Ty
data Comp = forall a b.Ok (:>) b => Comp CompId (Template a b) (Buses a) (Buses b)
type Input = Bus
type Output = Bus
data Ty
- = Void
- | Unit
- | Bool
- | Int
- | Integer
- | Float
- | Double
- | Finite Integer
- | Vector Integer Ty
- | Prod Ty Ty
- | Sum Ty Ty
- | Fun Ty Ty
busTy :: Bus -> Ty
data Source = forall a b. Source Bus (Template a b) [Source]
data Template :: Type -> Type -> Type where
- Prim :: PrimName -> Template a b
- Subgraph :: Graph -> BCirc a b -> Template () (a -> b)
class GenBuses a where
- genBuses' :: Template u v -> [Source] -> BusesM (Buses a)
- ty :: Ty
- unflattenB' :: State [Source] (Buses a)
type GS a = (GenBuses a, Show a)
genBusesRep' :: (OkCAR a, GenBuses (Rep a)) => Template u v -> [Source] -> BusesM (Buses a)
tyRep :: forall a. GenBuses (Rep a) => Ty
namedC :: Ok (:>) b => PrimName -> a :> b
constC :: GS b => b -> a :> b
genUnflattenB' :: (GenBuses a, GenBuses (Rep a)) => State [Source] (Buses a)
class GenBuses a => SourceToBuses a where
- toBuses :: Source -> Buses a
data CompS = CompS CompId PrimName [Input] [Output]
simpleComp :: Comp -> CompS
mkGraph :: Ok2 (:>) a b => (a :> b) -> Graph
type Attr = (String, String)
graphDot :: String -> [Attr] -> Graph -> Dot
writeDot :: String -> [Attr] -> Graph -> IO ()
displayDot :: (String, String) -> String -> IO ()
type Name = String
type Report = String
type Graph = [Comp]
tagged :: [a] -> [(Int, a)]
systemSuccess :: String -> IO ()
type BusesM = StateT Int CircuitM
abstB :: OkCAR a => Buses (Rep a) -> Buses a
abstC :: RepCat k a r => k r a
reprC :: RepCat k a r => k a r
data Buses :: Type -> Type where
- UnitB :: Buses ()
- PrimB :: Source -> Buses b
- ProdB :: Ok2 (:>) a b => Buses a -> Buses b -> Buses (a :* b)
- IxProdB :: (OkIxProd (:>) h, Show1 h, Foldable h, Ok (:>) a) => h (Buses a) -> Buses (h a)
- ConvertB :: Ok2 (:>) a b => Buses a -> Buses b
type OkCAR a = Ok2 (:>) a (Rep a)

Documentation

type CircuitM = State (IdSupply, CompInfo) Source #

data a :> b infixl 1 Source #

Circuit category

Instances

Instances details

AssociativePCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods lassocP :: Ok3 (:>) a b c => Prod (:>) a (Prod (:>) b c) :> Prod (:>) (Prod (:>) a b) c Source # rassocP :: Ok3 (:>) a b c => Prod (:>) (Prod (:>) a b) c :> Prod (:>) a (Prod (:>) b c) Source #
BoolCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods notC :: BoolOf (:>) :> BoolOf (:>) Source # andC :: Prod (:>) (BoolOf (:>)) (BoolOf (:>)) :> BoolOf (:>) Source # orC :: Prod (:>) (BoolOf (:>)) (BoolOf (:>)) :> BoolOf (:>) Source # xorC :: Prod (:>) (BoolOf (:>)) (BoolOf (:>)) :> BoolOf (:>) Source #
BraidedPCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods swapP :: Ok2 (:>) a b => Prod (:>) a b :> Prod (:>) b a Source #
Category (:>) Source #
Instance details Defined in ConCat.Circuit Associated Types type Ok (:>) :: Type -> Constraint Source # Methods id :: Ok (:>) a => a :> a Source # (.) :: forall b c a. Ok3 (:>) a b c => (b :> c) -> (a :> b) -> a :> c Source #
ClosedCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods apply :: Ok2 (:>) a b => Prod (:>) (Exp (:>) a b) a :> b Source # curry :: Ok3 (:>) a b c => (Prod (:>) a b :> c) -> a :> Exp (:>) b c Source # uncurry :: Ok3 (:>) a b c => (a :> Exp (:>) b c) -> Prod (:>) a b :> c Source #
CoproductPCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods inlP :: Ok2 (:>) a b => a :> CoprodP (:>) a b Source # inrP :: Ok2 (:>) a b => b :> CoprodP (:>) a b Source # jamP :: Ok (:>) a => CoprodP (:>) a a :> a Source #
FiniteCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods unFinite :: forall (n :: Nat). KnownNat n => Finite n :> Int Source # unsafeFinite :: forall (n :: Nat). KnownNat n => Int :> Finite n Source #
MonoidalPCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods (***) :: Ok4 (:>) a b c d => (a :> c) -> (b :> d) -> Prod (:>) a b :> Prod (:>) c d Source # first :: forall a a' b. Ok3 (:>) a b a' => (a :> a') -> Prod (:>) a b :> Prod (:>) a' b Source # second :: Ok3 (:>) a b b' => (b :> b') -> Prod (:>) a b :> Prod (:>) a b' Source #
ProductCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods exl :: Ok2 (:>) a b => Prod (:>) a b :> a Source # exr :: Ok2 (:>) a b => Prod (:>) a b :> b Source # dup :: Ok (:>) a => a :> Prod (:>) a a Source #
TerminalCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods it :: Ok (:>) a => a :> Unit (:>) Source #
UnitCat (:>) Source #
Instance details Defined in ConCat.Circuit Methods lunit :: Ok (:>) a => a :> Prod (:>) (Unit (:>)) a Source # lcounit :: Ok (:>) a => Prod (:>) (Unit (:>)) a :> a Source # runit :: Ok (:>) a => a :> Prod (:>) a (Unit (:>)) Source # rcounit :: Ok (:>) a => Prod (:>) a (Unit (:>)) :> a Source #
GS Integer => ConstCat (:>) Integer Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a => Integer -> a :> ConstObj (:>) Integer Source # unitArrow :: Integer -> Unit (:>) :> ConstObj (:>) Integer Source #
GS () => ConstCat (:>) () Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a => () -> a :> ConstObj (:>) () Source # unitArrow :: () -> Unit (:>) :> ConstObj (:>) () Source #
GS Bool => ConstCat (:>) Bool Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a => Bool -> a :> ConstObj (:>) Bool Source # unitArrow :: Bool -> Unit (:>) :> ConstObj (:>) Bool Source #
GS Double => ConstCat (:>) Double Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a => Double -> a :> ConstObj (:>) Double Source # unitArrow :: Double -> Unit (:>) :> ConstObj (:>) Double Source #
GS Float => ConstCat (:>) Float Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a => Float -> a :> ConstObj (:>) Float Source # unitArrow :: Float -> Unit (:>) :> ConstObj (:>) Float Source #
GS Int => ConstCat (:>) Int Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a => Int -> a :> ConstObj (:>) Int Source # unitArrow :: Int -> Unit (:>) :> ConstObj (:>) Int Source #
(ConstCat (:>) a, NumCat (:>) a, Num a) => EnumCat (:>) a Source #
Instance details Defined in ConCat.Circuit Methods succC :: a :> a Source # predC :: a :> a Source #
(Read Integer, Eq Integer, GenBuses Integer) => EqCat (:>) Integer Source #
Instance details Defined in ConCat.Circuit Methods equal :: Prod (:>) Integer Integer :> BoolOf (:>) Source # notEqual :: Prod (:>) Integer Integer :> BoolOf (:>) Source #
EqCat (:>) () Source #
Instance details Defined in ConCat.Circuit Methods equal :: Prod (:>) () () :> BoolOf (:>) Source # notEqual :: Prod (:>) () () :> BoolOf (:>) Source #
EqCat (:>) Bool Source #
Instance details Defined in ConCat.Circuit Methods equal :: Prod (:>) Bool Bool :> BoolOf (:>) Source # notEqual :: Prod (:>) Bool Bool :> BoolOf (:>) Source #
(Read Double, Eq Double, GenBuses Double) => EqCat (:>) Double Source #
Instance details Defined in ConCat.Circuit Methods equal :: Prod (:>) Double Double :> BoolOf (:>) Source # notEqual :: Prod (:>) Double Double :> BoolOf (:>) Source #
(Read Float, Eq Float, GenBuses Float) => EqCat (:>) Float Source #
Instance details Defined in ConCat.Circuit Methods equal :: Prod (:>) Float Float :> BoolOf (:>) Source # notEqual :: Prod (:>) Float Float :> BoolOf (:>) Source #
(Read Int, Eq Int, GenBuses Int) => EqCat (:>) Int Source #
Instance details Defined in ConCat.Circuit Methods equal :: Prod (:>) Int Int :> BoolOf (:>) Source # notEqual :: Prod (:>) Int Int :> BoolOf (:>) Source #
(Floating a, Read a, GS a) => FloatingCat (:>) a Source #
Instance details Defined in ConCat.Circuit Methods expC :: a :> a Source # logC :: a :> a Source # cosC :: a :> a Source # sinC :: a :> a Source # sqrtC :: a :> a Source # tanhC :: a :> a Source #
(Fractional a, Read a, Eq a, GS a, SourceToBuses a) => FractionalCat (:>) a Source #
Instance details Defined in ConCat.Circuit Methods recipC :: a :> a Source # divideC :: Prod (:>) a a :> a Source #
(Functor h, OkFunctor (:>) h) => FunctorCat (:>) h Source #
Instance details Defined in ConCat.Circuit Methods fmapC :: Ok2 (:>) a b => (a :> b) -> h a :> h b Source # unzipC :: Ok2 (:>) a b => h (a :* b) :> (h a :* h b) Source #
(OkCAR All, IfCat (:>) (Rep All)) => IfCat (:>) All Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) All Source #
(OkCAR Any, IfCat (:>) (Rep Any)) => IfCat (:>) Any Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) Any Source #
IfCat (:>) Integer Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) Integer Source #
IfCat (:>) () Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) () Source #
IfCat (:>) Bool Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) Bool Source #
IfCat (:>) Double Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) Double Source #
IfCat (:>) Float Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) Float Source #
IfCat (:>) Int Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) Int Source #
(Integral a, Read a, GS a, SourceToBuses a) => IntegralCat (:>) a Source #
Instance details Defined in ConCat.Circuit Methods divC :: Prod (:>) a a :> a Source # modC :: Prod (:>) a a :> a Source #
(OkIxProd (:>) h, Representable h, Zip h, Traversable h, Show (Rep h), Show1 h) => IxCoproductPCat (:>) h Source #
Instance details Defined in ConCat.Circuit Methods inPF :: Ok (:>) a => h (a :> h a) Source # joinPF :: Ok2 (:>) a b => h (b :> a) -> h b :> a Source # jamPF :: Ok (:>) a => h a :> a Source #
(OkIxProd (:>) h, Functor h, Zip h, Traversable h, Show1 h) => IxMonoidalPCat (:>) h Source #
Instance details Defined in ConCat.Circuit Methods crossF :: Ok2 (:>) a b => h (a :> b) -> h a :> h b Source #
(IxMonoidalPCat (:>) h, Representable h, Show (Rep h)) => IxProductCat (:>) h Source #
Instance details Defined in ConCat.Circuit Methods exF :: Ok (:>) a => h (h a :> a) Source # forkF :: Ok2 (:>) a b => h (a :> b) -> a :> h b Source # replF :: Ok (:>) a => a :> h a Source #
Ok (:>) a => MinMaxCat (:>) a Source #
Instance details Defined in ConCat.Circuit Methods minC :: Prod (:>) a a :> a Source # maxC :: Prod (:>) a a :> a Source #
(Num a, Read a, GS a, Eq a, SourceToBuses a) => NumCat (:>) a Source #
Instance details Defined in ConCat.Circuit Methods negateC :: a :> a Source # addC :: Prod (:>) a a :> a Source # subC :: Prod (:>) a a :> a Source # mulC :: Prod (:>) a a :> a Source # powIC :: Prod (:>) a Int :> a Source #
OkFunctor (:>) Par1 Source #
Instance details Defined in ConCat.Circuit Methods okFunctor :: Ok' (:>) a \|- Ok' (:>) (Par1 a) Source #
OkFunctor (:>) Pair Source #
Instance details Defined in ConCat.Pair Methods okFunctor :: Ok' (:>) a \|- Ok' (:>) (Pair a) Source #
OkIxProd (:>) Par1 Source #
Instance details Defined in ConCat.Circuit Methods okIxProd :: Ok' (:>) a \|- Ok' (:>) (Par1 a) Source #
OrdCat (:>) Integer Source #
Instance details Defined in ConCat.Circuit Methods lessThan :: Prod (:>) Integer Integer :> BoolOf (:>) Source # greaterThan :: Prod (:>) Integer Integer :> BoolOf (:>) Source # lessThanOrEqual :: Prod (:>) Integer Integer :> BoolOf (:>) Source # greaterThanOrEqual :: Prod (:>) Integer Integer :> BoolOf (:>) Source #
OrdCat (:>) () Source #
Instance details Defined in ConCat.Circuit Methods lessThan :: Prod (:>) () () :> BoolOf (:>) Source # greaterThan :: Prod (:>) () () :> BoolOf (:>) Source # lessThanOrEqual :: Prod (:>) () () :> BoolOf (:>) Source # greaterThanOrEqual :: Prod (:>) () () :> BoolOf (:>) Source #
OrdCat (:>) Bool Source #
Instance details Defined in ConCat.Circuit Methods lessThan :: Prod (:>) Bool Bool :> BoolOf (:>) Source # greaterThan :: Prod (:>) Bool Bool :> BoolOf (:>) Source # lessThanOrEqual :: Prod (:>) Bool Bool :> BoolOf (:>) Source # greaterThanOrEqual :: Prod (:>) Bool Bool :> BoolOf (:>) Source #
OrdCat (:>) Double Source #
Instance details Defined in ConCat.Circuit Methods lessThan :: Prod (:>) Double Double :> BoolOf (:>) Source # greaterThan :: Prod (:>) Double Double :> BoolOf (:>) Source # lessThanOrEqual :: Prod (:>) Double Double :> BoolOf (:>) Source # greaterThanOrEqual :: Prod (:>) Double Double :> BoolOf (:>) Source #
OrdCat (:>) Float Source #
Instance details Defined in ConCat.Circuit Methods lessThan :: Prod (:>) Float Float :> BoolOf (:>) Source # greaterThan :: Prod (:>) Float Float :> BoolOf (:>) Source # lessThanOrEqual :: Prod (:>) Float Float :> BoolOf (:>) Source # greaterThanOrEqual :: Prod (:>) Float Float :> BoolOf (:>) Source #
OrdCat (:>) Int Source #
Instance details Defined in ConCat.Circuit Methods lessThan :: Prod (:>) Int Int :> BoolOf (:>) Source # greaterThan :: Prod (:>) Int Int :> BoolOf (:>) Source # lessThanOrEqual :: Prod (:>) Int Int :> BoolOf (:>) Source # greaterThanOrEqual :: Prod (:>) Int Int :> BoolOf (:>) Source #
(GenBuses (Rep f), OkFunctor (:>) f) => RepresentableCat (:>) f Source #
Instance details Defined in ConCat.Circuit Methods tabulateC :: Ok (:>) a => (Rep f -> a) :> f a Source # indexC :: Ok (:>) a => f a :> (Rep f -> a) Source #
(Zip h, OkFunctor (:>) h) => ZipCat (:>) h Source #
Instance details Defined in ConCat.Circuit Methods zipC :: Ok2 (:>) a b => (h a :* h b) :> h (a :* b) Source #
(OkFunctor (:>) h, Additive a, Ok (:>) a) => AddCat (:>) h a Source #
Instance details Defined in ConCat.Circuit Methods sumAC :: h a :> a Source #
(OkFunctor (:>) g, OkFunctor (:>) f) => DistributiveCat (:>) g f Source #
Instance details Defined in ConCat.Circuit Methods distributeC :: Ok (:>) a => f (g a) :> g (f a) Source #
(OkFunctor (:>) h, Foldable h, Ord a, Ok (:>) a) => MinMaxFFunctorCat (:>) h a Source #
Instance details Defined in ConCat.Circuit Methods minimumCF :: h a -> a :* (h a :> a) Source # maximumCF :: h a -> a :* (h a :> a) Source #
(OkFunctor (:>) h, Ord a, Ok (:>) a) => MinMaxFunctorCat (:>) h a Source #
Instance details Defined in ConCat.Circuit Methods minimumC :: h a :> a Source # maximumC :: h a :> a Source #
(OkFunctor (:>) h, Ok (:>) a) => PointedCat (:>) h a Source #
Instance details Defined in ConCat.Circuit Methods pointC :: a :> h a Source #
(RealFrac a, Integral b, GS a, GS b, Read a) => RealFracCat (:>) a b Source #
Instance details Defined in ConCat.Circuit Methods floorC :: a :> b Source # ceilingC :: a :> b Source # truncateC :: a :> b Source #
(OkCAR a, r ~ Rep a) => RepCat (:>) (a :: Type) (r :: Type) Source #
Instance details Defined in ConCat.Circuit Methods reprC :: a :> r Source # abstC :: r :> a Source #
Ok2 (:>) a b => BottomCat (:>) (a :: Type) (b :: Type) Source #
Instance details Defined in ConCat.Circuit Methods bottomC :: a :> b Source #
Ok2 (:>) a b => CoerceCat (:>) (a :: Type) (b :: Type) Source #
Instance details Defined in ConCat.Circuit Methods coerceC :: a :> b Source #
(Ok (:>) a, Integral a, Num b, Read a, GS b) => FromIntegralCat (:>) (a :: Type) (b :: Type) Source #
Instance details Defined in ConCat.Circuit Methods fromIntegralC :: a :> b Source # foo_FromIntegralCat :: () Source #
Ok2 (:>) a b => UnknownCat (:>) (a :: Type) (b :: Type) Source #
Instance details Defined in ConCat.Circuit Methods unknownC :: a :> b Source #
GS (Finite n) => ConstCat (:>) (Finite n) Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a => Finite n -> a :> ConstObj (:>) (Finite n) Source # unitArrow :: Finite n -> Unit (:>) :> ConstObj (:>) (Finite n) Source #
(OkCAR (Complex a), IfCat (:>) (Rep (Complex a))) => IfCat (:>) (Complex a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Complex a) Source #
(OkCAR (Identity a), IfCat (:>) (Rep (Identity a))) => IfCat (:>) (Identity a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Identity a) Source #
(OkCAR (Product a), IfCat (:>) (Rep (Product a))) => IfCat (:>) (Product a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Product a) Source #
(OkCAR (Sum a), IfCat (:>) (Rep (Sum a))) => IfCat (:>) (Sum a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Sum a) Source #
(OkCAR (Par1 p), IfCat (:>) (Rep (Par1 p))) => IfCat (:>) (Par1 p) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Par1 p) Source #
(OkCAR (Add a), IfCat (:>) (Rep (Add a))) => IfCat (:>) (Add a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Add a) Source #
(OkCAR (Del a), IfCat (:>) (Rep (Del a))) => IfCat (:>) (Del a) Source #
Instance details Defined in ConCat.Incremental Methods ifC :: IfT (:>) (Del a) Source #
KnownNat n => IfCat (:>) (Finite n) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Finite n) Source #
(OkCAR (Maybe a), IfCat (:>) (Rep (Maybe a))) => IfCat (:>) (Maybe a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Maybe a) Source #
OkFunctor (:>) (U1 :: Type -> Type) Source #
Instance details Defined in ConCat.Circuit Methods okFunctor :: Ok' (:>) a \|- Ok' (:>) (U1 a) Source #
HasFin' a => OkFunctor (:>) (Arr a) Source #
Instance details Defined in ConCat.Circuit Methods okFunctor :: Ok' (:>) a0 \|- Ok' (:>) (Arr a a0) Source #
KnownNat i => OkFunctor (:>) (Vector i) Source #
Instance details Defined in ConCat.Circuit Methods okFunctor :: Ok' (:>) a \|- Ok' (:>) (Vector i a) Source #
OkIxProd (:>) (U1 :: Type -> Type) Source #
Instance details Defined in ConCat.Circuit Methods okIxProd :: Ok' (:>) a \|- Ok' (:>) (U1 a) Source #
KnownNat i => OkIxProd (:>) (Vector i) Source #
Instance details Defined in ConCat.Circuit Methods okIxProd :: Ok' (:>) a \|- Ok' (:>) (Vector i a) Source #
GS (Vector n a) => ConstCat (:>) (Vector n a) Source #
Instance details Defined in ConCat.Circuit Methods const :: Ok (:>) a0 => Vector n a -> a0 :> ConstObj (:>) (Vector n a) Source # unitArrow :: Vector n a -> Unit (:>) :> ConstObj (:>) (Vector n a) Source #
(Read (a :+ b), Eq (a :+ b), GenBuses (a :+ b)) => EqCat (:>) (a :+ b) Source #
Instance details Defined in ConCat.Circuit Methods equal :: Prod (:>) (a :+ b) (a :+ b) :> BoolOf (:>) Source # notEqual :: Prod (:>) (a :+ b) (a :+ b) :> BoolOf (:>) Source #
(OkCAR (U1 p), IfCat (:>) (Rep (U1 p))) => IfCat (:>) (U1 p) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (U1 p) Source #
(IfCat (:>) a, IfCat (:>) b) => IfCat (:>) (a :* b) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (a :* b) Source #
(OkCAR (a -+> b), IfCat (:>) (Rep (a -+> b))) => IfCat (:>) (a -+> b) Source #
Instance details Defined in ConCat.AdditiveFun Methods ifC :: IfT (:>) (a -+> b) Source #
(OkCAR (a -#> b), IfCat (:>) (Rep (a -#> b))) => IfCat (:>) (a -#> b) Source #
Instance details Defined in ConCat.Incremental Methods ifC :: IfT (:>) (a -#> b) Source #
(OkCAR (Arr a b), IfCat (:>) (Rep (Arr a b))) => IfCat (:>) (Arr a b) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Arr a b) Source #
(GenBuses b, KnownNat n) => IfCat (:>) (Vector n b) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (Vector n b) Source #
(Ok (:>) a, IfCat (:>) b) => IfCat (:>) (a -> b) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (a -> b) Source #
(OkCAR (Dual k a b), IfCat (:>) (Rep (Dual k a b))) => IfCat (:>) (Dual k a b) Source #
Instance details Defined in ConCat.Dual Methods ifC :: IfT (:>) (Dual k a b) Source #
(OkCAR (Affine s a b), IfCat (:>) (Rep (Affine s a b))) => IfCat (:>) (Affine s a b) Source #
Instance details Defined in ConCat.Free.Affine Methods ifC :: IfT (:>) (Affine s a b) Source #
(OkCAR (L s a b), IfCat (:>) (Rep (L s a b))) => IfCat (:>) (L s a b) Source #
Instance details Defined in ConCat.Free.LinearRow Methods ifC :: IfT (:>) (L s a b) Source #
(OkCAR (GD k a b), IfCat (:>) (Rep (GD k a b))) => IfCat (:>) (GD k a b) Source #
Instance details Defined in ConCat.GAD Methods ifC :: IfT (:>) (GD k a b) Source #
(OkCAR (ReaderT e m a), IfCat (:>) (Rep (ReaderT e m a))) => IfCat (:>) (ReaderT e m a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (ReaderT e m a) Source #
(OkCAR (StateT s m a), IfCat (:>) (Rep (StateT s m a))) => IfCat (:>) (StateT s m a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (StateT s m a) Source #
(OkCAR (WriterT w m a), IfCat (:>) (Rep (WriterT w m a))) => IfCat (:>) (WriterT w m a) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (WriterT w m a) Source #
(OkCAR (a, b, c), IfCat (:>) (Rep (a, b, c))) => IfCat (:>) (a, b, c) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (a, b, c) Source #
(OkFunctor (:>) f, OkFunctor (:>) g) => OkFunctor (:>) (f :*: g) Source #
Instance details Defined in ConCat.Circuit Methods okFunctor :: Ok' (:>) a \|- Ok' (:>) ((f :*: g) a) Source #
(OkIxProd (:>) f, OkIxProd (:>) g) => OkIxProd (:>) (f :*: g) Source #
Instance details Defined in ConCat.Circuit Methods okIxProd :: Ok' (:>) a \|- Ok' (:>) ((f :*: g) a) Source #
(OkCAR ((f :: g) p), IfCat (:>) (Rep ((f :: g) p))) => IfCat (:>) ((f :*: g) p) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) ((f :*: g) p) Source #
(OkCAR ((f :+: g) p), IfCat (:>) (Rep ((f :+: g) p))) => IfCat (:>) ((f :+: g) p) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) ((f :+: g) p) Source #
(OkCAR (K1 i c p), IfCat (:>) (Rep (K1 i c p))) => IfCat (:>) (K1 i c p) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (K1 i c p) Source #
(OkCAR (a, b, c, d), IfCat (:>) (Rep (a, b, c, d))) => IfCat (:>) (a, b, c, d) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (a, b, c, d) Source #
(OkFunctor (:>) f, OkFunctor (:>) g) => OkFunctor (:>) (g :.: f) Source #
Instance details Defined in ConCat.Circuit Methods okFunctor :: Ok' (:>) a \|- Ok' (:>) ((g :.: f) a) Source #
(OkIxProd (:>) f, OkIxProd (:>) g) => OkIxProd (:>) (g :.: f) Source #
Instance details Defined in ConCat.Circuit Methods okIxProd :: Ok' (:>) a \|- Ok' (:>) ((g :.: f) a) Source #
(OkCAR ((f :.: g) p), IfCat (:>) (Rep ((f :.: g) p))) => IfCat (:>) ((f :.: g) p) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) ((f :.: g) p) Source #
(OkCAR (M1 i c f p), IfCat (:>) (Rep (M1 i c f p))) => IfCat (:>) (M1 i c f p) Source #
Instance details Defined in ConCat.Circuit Methods ifC :: IfT (:>) (M1 i c f p) Source #
(GenBuses a, Ok2 (:>) a b) => Show (a :> b) Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> (a :> b) -> ShowS Source # show :: (a :> b) -> String Source # showList :: [a :> b] -> ShowS Source #
type Ok (:>) Source #
Instance details Defined in ConCat.Circuit type Ok (:>) = GenBuses

data Bus Source #

Constructors

Bus CompId Int Ty

Instances

Instances details

Show Bus Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> Bus -> ShowS Source # show :: Bus -> String Source # showList :: [Bus] -> ShowS Source #
Eq Bus Source #
Instance details Defined in ConCat.Circuit Methods (==) :: Bus -> Bus -> Bool Source # (/=) :: Bus -> Bus -> Bool Source #
Ord Bus Source #
Instance details Defined in ConCat.Circuit Methods compare :: Bus -> Bus -> Ordering Source # (<) :: Bus -> Bus -> Bool Source # (<=) :: Bus -> Bus -> Bool Source # (>) :: Bus -> Bus -> Bool Source # (>=) :: Bus -> Bus -> Bool Source # max :: Bus -> Bus -> Bus Source # min :: Bus -> Bus -> Bus Source #

data Comp Source #

Constructors

forall a b.Ok (:>) b => Comp CompId (Template a b) (Buses a) (Buses b)

Instances

Instances details

Show Comp Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> Comp -> ShowS Source # show :: Comp -> String Source # showList :: [Comp] -> ShowS Source #
Eq Comp Source #
Instance details Defined in ConCat.Circuit Methods (==) :: Comp -> Comp -> Bool Source # (/=) :: Comp -> Comp -> Bool Source #
Ord Comp Source #
Instance details Defined in ConCat.Circuit Methods compare :: Comp -> Comp -> Ordering Source # (<) :: Comp -> Comp -> Bool Source # (<=) :: Comp -> Comp -> Bool Source # (>) :: Comp -> Comp -> Bool Source # (>=) :: Comp -> Comp -> Bool Source # max :: Comp -> Comp -> Comp Source # min :: Comp -> Comp -> Comp Source #

type Input = Bus Source #

type Output = Bus Source #

data Ty Source #

Constructors

Void
Unit
Bool
Int
Integer
Float
Double
Finite Integer
Vector Integer Ty
Prod Ty Ty
Sum Ty Ty
Fun Ty Ty

Instances

Instances details

Show Ty Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> Ty -> ShowS Source # show :: Ty -> String Source # showList :: [Ty] -> ShowS Source #
Eq Ty Source #
Instance details Defined in ConCat.Circuit Methods (==) :: Ty -> Ty -> Bool Source # (/=) :: Ty -> Ty -> Bool Source #
Ord Ty Source #
Instance details Defined in ConCat.Circuit Methods compare :: Ty -> Ty -> Ordering Source # (<) :: Ty -> Ty -> Bool Source # (<=) :: Ty -> Ty -> Bool Source # (>) :: Ty -> Ty -> Bool Source # (>=) :: Ty -> Ty -> Bool Source # max :: Ty -> Ty -> Ty Source # min :: Ty -> Ty -> Ty Source #

busTy :: Bus -> Ty Source #

data Source Source #

An information source: its bus and a description of its construction, which contains the primitive and argument sources.

Constructors

forall a b. Source Bus (Template a b) [Source]

Instances

Instances details

Show Source Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> Source -> ShowS Source # show :: Source -> String Source # showList :: [Source] -> ShowS Source #
Eq Source Source #
Instance details Defined in ConCat.Circuit Methods (==) :: Source -> Source -> Bool Source # (/=) :: Source -> Source -> Bool Source #
Ord Source Source #
Instance details Defined in ConCat.Circuit Methods compare :: Source -> Source -> Ordering Source # (<) :: Source -> Source -> Bool Source # (<=) :: Source -> Source -> Bool Source # (>) :: Source -> Source -> Bool Source # (>=) :: Source -> Source -> Bool Source # max :: Source -> Source -> Source Source # min :: Source -> Source -> Source Source #

data Template :: Type -> Type -> Type where Source #

Primitive of type a -> b

Constructors

Prim :: PrimName -> Template a b
Subgraph :: Graph -> BCirc a b -> Template () (a -> b)

Instances

Instances details

Show (Template a b) Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> Template a b -> ShowS Source # show :: Template a b -> String Source # showList :: [Template a b] -> ShowS Source #

class GenBuses a where Source #

Methods

genBuses' :: Template u v -> [Source] -> BusesM (Buses a) Source #

ty :: Ty Source #

unflattenB' :: State [Source] (Buses a) Source #

Instances

Instances details

OkCAR All => GenBuses All Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses All) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses All) Source #
OkCAR Any => GenBuses Any Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses Any) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses Any) Source #
GenBuses Void Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses Void) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses Void) Source #
GenBuses Integer Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses Integer) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses Integer) Source #
GenBuses () Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses ()) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses ()) Source #
GenBuses Bool Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses Bool) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses Bool) Source #
GenBuses Double Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses Double) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses Double) Source #
GenBuses Float Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses Float) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses Float) Source #
GenBuses Int Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses Int) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses Int) Source #
OpCon (:*) (Sat GenBuses) Source #
Instance details Defined in ConCat.Circuit Methods inOp :: forall (a :: k) (b :: k). (Sat GenBuses a && Sat GenBuses b) \|- Sat GenBuses (a :* b) Source #
OpCon (->) (Sat GenBuses) Source #
Instance details Defined in ConCat.Circuit Methods inOp :: forall (a :: k) (b :: k). (Sat GenBuses a && Sat GenBuses b) \|- Sat GenBuses (a -> b) Source #
OkCAR (Complex a) => GenBuses (Complex a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Complex a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Complex a)) Source #
OkCAR (Identity a) => GenBuses (Identity a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Identity a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Identity a)) Source #
OkCAR (Product a) => GenBuses (Product a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Product a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Product a)) Source #
OkCAR (Sum a) => GenBuses (Sum a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Sum a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Sum a)) Source #
OkCAR (Par1 p) => GenBuses (Par1 p) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Par1 p)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Par1 p)) Source #
OkCAR (Add a) => GenBuses (Add a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Add a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Add a)) Source #
OkCAR (Del a) => GenBuses (Del a) Source #
Instance details Defined in ConCat.Incremental Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Del a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Del a)) Source #
GenBuses a => GenBuses (Pair a) Source #
Instance details Defined in ConCat.Pair Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Pair a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Pair a)) Source #
KnownNat n => GenBuses (Finite n) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Finite n)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Finite n)) Source #
OkCAR (Maybe a) => GenBuses (Maybe a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Maybe a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Maybe a)) Source #
GenBuses (Proxy a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Proxy a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Proxy a)) Source #
OkCAR (U1 p) => GenBuses (U1 p) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (U1 p)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (U1 p)) Source #
(GenBuses a, GenBuses b) => GenBuses (a :* b) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (a :* b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (a :* b)) Source #
(GenBuses a, GenBuses b) => GenBuses (a :+ b) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (a :+ b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (a :+ b)) Source #
OkCAR (a -+> b) => GenBuses (a -+> b) Source #
Instance details Defined in ConCat.AdditiveFun Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (a -+> b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (a -+> b)) Source #
OkCAR (a -#> b) => GenBuses (a -#> b) Source #
Instance details Defined in ConCat.Incremental Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (a -#> b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (a -#> b)) Source #
OkCAR (Arr a b) => GenBuses (Arr a b) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Arr a b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Arr a b)) Source #
(KnownNat n, GenBuses b) => GenBuses (Vector n b) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Vector n b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Vector n b)) Source #
(GenBuses a, GenBuses b) => GenBuses (a -> b) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (a -> b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (a -> b)) Source #
OkCAR (Dual k a b) => GenBuses (Dual k a b) Source #
Instance details Defined in ConCat.Dual Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Dual k a b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Dual k a b)) Source #
OkCAR (Affine s a b) => GenBuses (Affine s a b) Source #
Instance details Defined in ConCat.Free.Affine Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (Affine s a b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (Affine s a b)) Source #
OkCAR (L s a b) => GenBuses (L s a b) Source #
Instance details Defined in ConCat.Free.LinearRow Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (L s a b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (L s a b)) Source #
OkCAR (GD k a b) => GenBuses (GD k a b) Source #
Instance details Defined in ConCat.GAD Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (GD k a b)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (GD k a b)) Source #
OkCAR (ReaderT e m a) => GenBuses (ReaderT e m a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (ReaderT e m a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (ReaderT e m a)) Source #
OkCAR (StateT s m a) => GenBuses (StateT s m a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (StateT s m a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (StateT s m a)) Source #
OkCAR (WriterT w m a) => GenBuses (WriterT w m a) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (WriterT w m a)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (WriterT w m a)) Source #
OkCAR (a, b, c) => GenBuses (a, b, c) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (a, b, c)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (a, b, c)) Source #
OkCAR ((f :: g) p) => GenBuses ((f :: g) p) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses ((f :: g) p)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses ((f :: g) p)) Source #
OkCAR ((f :+: g) p) => GenBuses ((f :+: g) p) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses ((f :+: g) p)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses ((f :+: g) p)) Source #
OkCAR (K1 i c p) => GenBuses (K1 i c p) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (K1 i c p)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (K1 i c p)) Source #
OkCAR (a, b, c, d) => GenBuses (a, b, c, d) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (a, b, c, d)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (a, b, c, d)) Source #
OkCAR ((f :.: g) p) => GenBuses ((f :.: g) p) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses ((f :.: g) p)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses ((f :.: g) p)) Source #
OkCAR (M1 i c f p) => GenBuses (M1 i c f p) Source #
Instance details Defined in ConCat.Circuit Methods genBuses' :: Template u v -> [Source] -> BusesM (Buses (M1 i c f p)) Source # ty :: Ty Source # unflattenB' :: State [Source] (Buses (M1 i c f p)) Source #

type GS a = (GenBuses a, Show a) Source #

genBusesRep' :: (OkCAR a, GenBuses (Rep a)) => Template u v -> [Source] -> BusesM (Buses a) Source #

tyRep :: forall a. GenBuses (Rep a) => Ty Source #

namedC :: Ok (:>) b => PrimName -> a :> b Source #

constC :: GS b => b -> a :> b Source #

genUnflattenB' :: (GenBuses a, GenBuses (Rep a)) => State [Source] (Buses a) Source #

class GenBuses a => SourceToBuses a where Source #

Methods

toBuses :: Source -> Buses a Source #

Instances

Instances details

SourceToBuses Integer Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses Integer Source #
SourceToBuses () Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses () Source #
SourceToBuses Bool Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses Bool Source #
SourceToBuses Double Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses Double Source #
SourceToBuses Float Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses Float Source #
SourceToBuses Int Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses Int Source #
KnownNat n => SourceToBuses (Finite n) Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses (Finite n) Source #
(KnownNat n, GenBuses b) => SourceToBuses (Vector n b) Source #
Instance details Defined in ConCat.Circuit Methods toBuses :: Source -> Buses (Vector n b) Source #

data CompS Source #

Constructors

CompS CompId PrimName [Input] [Output]

Instances

Instances details

Show CompS Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> CompS -> ShowS Source # show :: CompS -> String Source # showList :: [CompS] -> ShowS Source #

simpleComp :: Comp -> CompS Source #

mkGraph :: Ok2 (:>) a b => (a :> b) -> Graph Source #

type Attr = (String, String) Source #

graphDot :: String -> [Attr] -> Graph -> Dot Source #

writeDot :: String -> [Attr] -> Graph -> IO () Source #

displayDot :: (String, String) -> String -> IO () Source #

type Name = String Source #

type Report = String Source #

type Graph = [Comp] Source #

tagged :: [a] -> [(Int, a)] Source #

systemSuccess :: String -> IO () Source #

type BusesM = StateT Int CircuitM Source #

abstB :: OkCAR a => Buses (Rep a) -> Buses a Source #

abstC :: RepCat k a r => k r a Source #

C.abstC without the eager inlining

reprC :: RepCat k a r => k a r Source #

C.reprC without the eager inlining

data Buses :: Type -> Type where Source #

Typed aggregate of buses. Buses a carries a value of type a. AbstB is for isomorphic forms. Note: b must not have one of the standard forms. If it does, we'll get a run-time error when consuming.

Constructors

UnitB :: Buses ()
PrimB :: Source -> Buses b
ProdB :: Ok2 (:>) a b => Buses a -> Buses b -> Buses (a :* b)
IxProdB :: (OkIxProd (:>) h, Show1 h, Foldable h, Ok (:>) a) => h (Buses a) -> Buses (h a)
ConvertB :: Ok2 (:>) a b => Buses a -> Buses b

Instances

Instances details

Show (Buses a) Source #
Instance details Defined in ConCat.Circuit Methods showsPrec :: Int -> Buses a -> ShowS Source # show :: Buses a -> String Source # showList :: [Buses a] -> ShowS Source #

type OkCAR a = Ok2 (:>) a (Rep a) Source #