[Impl] pass through blocks

[DrCatman]

pass in a space and non-negative integer

domain: space
co-domain: same space, n copies

• deadend
  • 0: empty
  • bookkeeps a nothing
• identity
  • 1: itself
• splitter
  • 2
• broadcast
  • 3: n

[mzargham]

from cadcad.blocks import deadend, indentity

deadend

annotations

def deadend(domain:List[Space], n_terminals=1:int )-> Block:

use

myblock = deadend([Real])

expected

myblock.domain = domain #input argument
myblock.codomain = [EmptySpace for _ in range(n_terminals)]

identity (and related broadcast block)

annotations

def identity(domain:List[Space], n_terminals=1:int )-> Block:

use

myblock = identity([Real])

expected

myblock.domain = domain #input argument
myblock.codomain = [Real for _ in range(n_terminals)]