Circuit

Documentation

pattern (:>!) :: a -> Vec n a -> Vec (n + 1) a infixr 5

Unsafe version of :>. Will fail if applied to empty vectors. This is used to workaround spurious incomplete pattern match warnings generated in newer GHC versions.

type family Fwd a

Instances

type Fwd ()

Defined in Circuit

type Fwd () = ()

type Fwd [a]

Defined in Circuit

type Fwd [a] = [Fwd a]

type Fwd (DF dom a)

Defined in Circuit

type Fwd (DF dom a) = Signal dom (DFM2S a)

type Fwd (Signal dom a)

Defined in Circuit

type Fwd (Signal dom a) = Signal dom a

type Fwd (Vec n a)

Defined in Circuit

type Fwd (Vec n a) = Vec n (Fwd a)

type Fwd (a, b)

Defined in Circuit

type Fwd (a, b) = (Fwd a, Fwd b)

type Fwd (a, b, c)

Defined in Circuit

type Fwd (a, b, c) = (Fwd a, Fwd b, Fwd c)

type family Bwd a

Instances

type Bwd ()

Defined in Circuit

type Bwd () = ()

type Bwd [a]

Defined in Circuit

type Bwd [a] = [Bwd a]

type Bwd (DF dom a)

Defined in Circuit

type Bwd (DF dom a) = Signal dom DFS2M

type Bwd (Signal dom a)

Defined in Circuit

type Bwd (Signal dom a) = ()

type Bwd (Vec n a)

Defined in Circuit

type Bwd (Vec n a) = Vec n (Bwd a)

type Bwd (a, b)

Defined in Circuit

type Bwd (a, b) = (Bwd a, Bwd b)

type Bwd (a, b, c)

Defined in Circuit

type Bwd (a, b, c) = (Bwd a, Bwd b, Bwd c)

data a :-> b infixr 0

A type to symbolise arguments going to results of a circuit.

Constructors

a :-> b infixr 0

Instances

(Show a, Show b) => Show (a :-> b)

Defined in Circuit

Methods

showsPrec :: Int -> (a :-> b) -> ShowS

show :: (a :-> b) -> String

showList :: [a :-> b] -> ShowS

(Eq a, Eq b) => Eq (a :-> b)

Defined in Circuit

Methods

(==) :: (a :-> b) -> (a :-> b) -> Bool

(/=) :: (a :-> b) -> (a :-> b) -> Bool

idC :: Circuit a a

The identity circuit.

data DF (dom :: Domain) a

Instances

type Bwd (DF dom a)

Defined in Circuit

type Bwd (DF dom a) = Signal dom DFS2M

type Fwd (DF dom a)

Defined in Circuit

type Fwd (DF dom a) = Signal dom (DFM2S a)

data DFM2S a

Constructors

DFM2S Bool a

Instances

Default (DFM2S a)

Defined in Circuit

Methods

def :: DFM2S a

newtype DFS2M

Constructors

DFS2M Bool

Instances

Default DFS2M

Defined in Circuit

Methods

def :: DFS2M

newtype Circuit a b

Circuit type.

Constructors

Circuit

Fields

• runCircuit :: CircuitT a b

type CircuitT a b = (Fwd a :-> Bwd b) -> Bwd a :-> Fwd b

type TagCircuitT a b = (BusTag a (Fwd a) :-> BusTag b (Bwd b)) -> BusTag a (Bwd a) :-> BusTag b (Fwd b)

newtype BusTag t b

Constructors

BusTag

Fields

• unBusTag :: b

Instances

TrivialBwd a => TrivialBwd (BusTag t a)

Defined in Circuit

Methods

unitBwd :: BusTag t a

mkTagCircuit :: TagCircuitT a b -> Circuit a b

runTagCircuit :: Circuit a b -> TagCircuitT a b

pattern TagCircuit :: TagCircuitT a b -> Circuit a b

class TrivialBwd a where

Methods

unitBwd :: a

Instances

TrivialBwd ()

Defined in Circuit

Methods

unitBwd :: ()

TrivialBwd a => TrivialBwd (BusTag t a)

Defined in Circuit

Methods

unitBwd :: BusTag t a

TrivialBwd a => TrivialBwd (Signal dom a)

Defined in Circuit

Methods

unitBwd :: Signal dom a

(TrivialBwd a, KnownNat n) => TrivialBwd (Vec n a)

Defined in Circuit

Methods

unitBwd :: Vec n a

(TrivialBwd a, TrivialBwd b) => TrivialBwd (a, b)

Defined in Circuit

Methods

unitBwd :: (a, b)

(TrivialBwd a, TrivialBwd b, TrivialBwd c) => TrivialBwd (a, b, c)

Defined in Circuit

Methods

unitBwd :: (a, b, c)

(TrivialBwd a, TrivialBwd b, TrivialBwd c, TrivialBwd d) => TrivialBwd (a, b, c, d)

Defined in Circuit

Methods

unitBwd :: (a, b, c, d)

(TrivialBwd a, TrivialBwd b, TrivialBwd c, TrivialBwd d, TrivialBwd e) => TrivialBwd (a, b, c, d, e)

Defined in Circuit

Methods

unitBwd :: (a, b, c, d, e)

(TrivialBwd a, TrivialBwd b, TrivialBwd c, TrivialBwd d, TrivialBwd e, TrivialBwd f) => TrivialBwd (a, b, c, d, e, f)

Defined in Circuit

Methods

unitBwd :: (a, b, c, d, e, f)

(TrivialBwd a, TrivialBwd b, TrivialBwd c, TrivialBwd d, TrivialBwd e, TrivialBwd f, TrivialBwd g) => TrivialBwd (a, b, c, d, e, f, g)

Defined in Circuit

Methods

unitBwd :: (a, b, c, d, e, f, g)

(TrivialBwd a, TrivialBwd b, TrivialBwd c, TrivialBwd d, TrivialBwd e, TrivialBwd f, TrivialBwd g, TrivialBwd h) => TrivialBwd (a, b, c, d, e, f, g, h)

Defined in Circuit

Methods

unitBwd :: (a, b, c, d, e, f, g, h)

(TrivialBwd a, TrivialBwd b, TrivialBwd c, TrivialBwd d, TrivialBwd e, TrivialBwd f, TrivialBwd g, TrivialBwd h, TrivialBwd i) => TrivialBwd (a, b, c, d, e, f, g, h, i)

Defined in Circuit

Methods

unitBwd :: (a, b, c, d, e, f, g, h, i)

(TrivialBwd a, TrivialBwd b, TrivialBwd c, TrivialBwd d, TrivialBwd e, TrivialBwd f, TrivialBwd g, TrivialBwd h, TrivialBwd i, TrivialBwd j) => TrivialBwd (a, b, c, d, e, f, g, h, i, j)

Defined in Circuit

Methods

unitBwd :: (a, b, c, d, e, f, g, h, i, j)

class BusTagBundle t a where

Associated Types

type BusTagUnbundled t a = res | res -> t a

Methods

taggedBundle :: BusTagUnbundled t a -> BusTag t a

taggedUnbundle :: BusTag t a -> BusTagUnbundled t a

Instances

BusTagBundle () ()

Defined in Circuit

Associated Types

type BusTagUnbundled () () = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled () () -> BusTag () ()

taggedUnbundle :: BusTag () () -> BusTagUnbundled () ()

BusTagBundle (Vec n t) (Vec n a)

Defined in Circuit

Associated Types

type BusTagUnbundled (Vec n t) (Vec n a) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (Vec n t) (Vec n a) -> BusTag (Vec n t) (Vec n a)

taggedUnbundle :: BusTag (Vec n t) (Vec n a) -> BusTagUnbundled (Vec n t) (Vec n a)

BusTagBundle (ta, tb) (a, b)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb) (a, b) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb) (a, b) -> BusTag (ta, tb) (a, b)

taggedUnbundle :: BusTag (ta, tb) (a, b) -> BusTagUnbundled (ta, tb) (a, b)

BusTagBundle (ta, tb, tc) (a, b, c)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc) (a, b, c) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc) (a, b, c) -> BusTag (ta, tb, tc) (a, b, c)

taggedUnbundle :: BusTag (ta, tb, tc) (a, b, c) -> BusTagUnbundled (ta, tb, tc) (a, b, c)

BusTagBundle (ta, tb, tc, td) (a, b, c, d)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc, td) (a, b, c, d) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc, td) (a, b, c, d) -> BusTag (ta, tb, tc, td) (a, b, c, d)

taggedUnbundle :: BusTag (ta, tb, tc, td) (a, b, c, d) -> BusTagUnbundled (ta, tb, tc, td) (a, b, c, d)

BusTagBundle (ta, tb, tc, td, te) (a, b, c, d, e)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc, td, te) (a, b, c, d, e) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc, td, te) (a, b, c, d, e) -> BusTag (ta, tb, tc, td, te) (a, b, c, d, e)

taggedUnbundle :: BusTag (ta, tb, tc, td, te) (a, b, c, d, e) -> BusTagUnbundled (ta, tb, tc, td, te) (a, b, c, d, e)

BusTagBundle (ta, tb, tc, td, te, tf) (a, b, c, d, e, f)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc, td, te, tf) (a, b, c, d, e, f) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc, td, te, tf) (a, b, c, d, e, f) -> BusTag (ta, tb, tc, td, te, tf) (a, b, c, d, e, f)

taggedUnbundle :: BusTag (ta, tb, tc, td, te, tf) (a, b, c, d, e, f) -> BusTagUnbundled (ta, tb, tc, td, te, tf) (a, b, c, d, e, f)

BusTagBundle (ta, tb, tc, td, te, tf, tg) (a, b, c, d, e, f, g)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc, td, te, tf, tg) (a, b, c, d, e, f, g) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc, td, te, tf, tg) (a, b, c, d, e, f, g) -> BusTag (ta, tb, tc, td, te, tf, tg) (a, b, c, d, e, f, g)

taggedUnbundle :: BusTag (ta, tb, tc, td, te, tf, tg) (a, b, c, d, e, f, g) -> BusTagUnbundled (ta, tb, tc, td, te, tf, tg) (a, b, c, d, e, f, g)

BusTagBundle (ta, tb, tc, td, te, tf, tg, th) (a, b, c, d, e, f, g, h)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th) (a, b, c, d, e, f, g, h) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th) (a, b, c, d, e, f, g, h) -> BusTag (ta, tb, tc, td, te, tf, tg, th) (a, b, c, d, e, f, g, h)

taggedUnbundle :: BusTag (ta, tb, tc, td, te, tf, tg, th) (a, b, c, d, e, f, g, h) -> BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th) (a, b, c, d, e, f, g, h)

BusTagBundle (ta, tb, tc, td, te, tf, tg, th, ti) (a, b, c, d, e, f, g, h, i)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th, ti) (a, b, c, d, e, f, g, h, i) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th, ti) (a, b, c, d, e, f, g, h, i) -> BusTag (ta, tb, tc, td, te, tf, tg, th, ti) (a, b, c, d, e, f, g, h, i)

taggedUnbundle :: BusTag (ta, tb, tc, td, te, tf, tg, th, ti) (a, b, c, d, e, f, g, h, i) -> BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th, ti) (a, b, c, d, e, f, g, h, i)

BusTagBundle (ta, tb, tc, td, te, tf, tg, th, ti, tj) (a, b, c, d, e, f, g, h, i, j)

Defined in Circuit

Associated Types

type BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th, ti, tj) (a, b, c, d, e, f, g, h, i, j) = (res :: Type)

Methods

taggedBundle :: BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th, ti, tj) (a, b, c, d, e, f, g, h, i, j) -> BusTag (ta, tb, tc, td, te, tf, tg, th, ti, tj) (a, b, c, d, e, f, g, h, i, j)

taggedUnbundle :: BusTag (ta, tb, tc, td, te, tf, tg, th, ti, tj) (a, b, c, d, e, f, g, h, i, j) -> BusTagUnbundled (ta, tb, tc, td, te, tf, tg, th, ti, tj) (a, b, c, d, e, f, g, h, i, j)

pattern BusTagBundle :: BusTagBundle t a => BusTagUnbundled t a -> BusTag t a