Header menu logo issie

TruthTableView Module

Types

Type Description

SelectionCache

Functions and values

Function or value Description

addInternalConnections (arg1, arg2) (arg3, arg4)

Full Usage: addInternalConnections (arg1, arg2) (arg3, arg4)

Parameters:
Returns: Component list * Connection list

Fills in internal connections between any two selected components. This makes a contiguous circuit. This allows truth tables to be selected via comnponents only.

arg0 : Component list
arg1 : Connection list
arg2 : Component list
arg3 : Connection list
Returns: Component list * Connection list

correctCanvasState (arg1, arg2) (arg3, arg4)

Full Usage: correctCanvasState (arg1, arg2) (arg3, arg4)

Parameters:
Returns: Result<(Component list * Connection list), SimulationError>

Corrects the Selected Canvas State by adding extra connections and IOs to components not connected to anything. On success returns a new, corrected CanvasState compatible with Step Simulator. On failure returns SimulationError.

arg0 : Component list
arg1 : Connection list
arg2 : Component list
arg3 : Connection list
Returns: Result<(Component list * Connection list), SimulationError>

emptySelCache

Full Usage: emptySelCache

Returns: SelectionCache
Returns: SelectionCache

getPortIdsfromConnectionId cid conns

Full Usage: getPortIdsfromConnectionId cid conns

Parameters:
Returns: string list

From a Connection Id and a list of all Connections, return the Ids for the source and target ports of Connection described by the Connection Id.

cid : ConnectionId
conns : Connection list
Returns: string list

isPortInComponents port comps

Full Usage: isPortInComponents port comps

Parameters:
Returns: bool

Returns true if the provided port is present in any of the components in the Component list.

port : Port
comps : Component list
Returns: bool

isPortInConnections port conns

Full Usage: isPortInConnections port conns

Parameters:
Returns: bool

Returns true if the provided port is present in any of the connections in the Connection list.

port : Port
conns : Connection list
Returns: bool

katex

Full Usage: katex

Returns: obj
Returns: obj

makeColumnMoveArrows io headingEl dispatch

Full Usage: makeColumnMoveArrows io headingEl dispatch

Parameters:
Returns: ReactElement
io : CellIO
headingEl : ReactElement
dispatch : TTMsg -> unit
Returns: ReactElement

makeSimDataSelected model

Full Usage: makeSimDataSelected model

Parameters:
Returns: (Result<SimulationData, SimulationError> * CanvasState) option

Make and return Simulation Data (or Simulation Error) for the model for selected components. Identical functionality to SimulationView.makeSimData, but only considers selected components. Includes memoization: if the selected components have not changed then the cached corrected canvas and simulation are returned.

model : Model
Returns: (Result<SimulationData, SimulationError> * CanvasState) option

makeSortingArrows io sortInfo dispatch

Full Usage: makeSortingArrows io sortInfo dispatch

Parameters:
Returns: ReactElement
io : CellIO
sortInfo : (CellIO * SortType) option
dispatch : TTMsg -> unit
Returns: ReactElement

partitionResults results

Full Usage: partitionResults results

Parameters:
    results : Result<'a, 'b> list

Returns: 'a list * 'b list

Partitions a list of results into a list of Ok and list of Error

results : Result<'a, 'b> list
Returns: 'a list * 'b list

restartTruthTable (arg1, arg2) model dispatch arg5

Full Usage: restartTruthTable (arg1, arg2) model dispatch arg5

Parameters:
Returns: Unit
arg0 : Component list
arg1 : Connection list
model : Model
dispatch : Msg -> Unit
arg4 : 'a
Returns: Unit

selCache

Full Usage: selCache

Returns: SelectionCache
Returns: SelectionCache

updateMergeSplitWireLabels model dispatch

Full Usage: updateMergeSplitWireLabels model dispatch

Parameters:

Updates MergeWires and SplitWire Component labels to MWx/SWx. Previous Issie versions had empty labels for these components.

model : Model
dispatch : Msg -> unit

viewCellAsHeading dispatch sortInfo styleInfo cell

Full Usage: viewCellAsHeading dispatch sortInfo styleInfo cell

Parameters:
Returns: ReactElement
dispatch : TTMsg -> unit
sortInfo : (CellIO * SortType) option
styleInfo : Map<CellIO, CSSProp list>
cell : TruthTableCell
Returns: ReactElement

viewOutputHider table hidden dispatch

Full Usage: viewOutputHider table hidden dispatch

Parameters:
Returns: ReactElement
table : TruthTable
hidden : CellIO list
dispatch : TTMsg -> unit
Returns: ReactElement

viewRowAsData numBase styleInfo i row

Full Usage: viewRowAsData numBase styleInfo i row

Parameters:
Returns: ReactElement list
numBase : NumberBase
styleInfo : Map<CellIO, CSSProp list>
i : int
row : TruthTableCell list
Returns: ReactElement list

viewTruthTable (arg1, arg2) model dispatch

Full Usage: viewTruthTable (arg1, arg2) model dispatch

Parameters:
Returns: ReactElement
arg0 : Component list
arg1 : Connection list
model : Model
dispatch : Msg -> Unit
Returns: ReactElement

viewTruthTableData table model dispatch

Full Usage: viewTruthTableData table model dispatch

Parameters:
Returns: ReactElement
table : TruthTable
model : Model
dispatch : TTMsg -> unit
Returns: ReactElement

viewTruthTableError simError

Full Usage: viewTruthTableError simError

Parameters:
Returns: ReactElement
simError : SimulationError
Returns: ReactElement

Type something to start searching.