CommonTypes Module
Types and nested modules
Functions and values
| Function or value | Description |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
getSTransformWithDefault infoOpt
Parameters:
SymbolInfo option
Returns: STransform
|
|
|
|
Full Usage:
isClocked visitedSheets ldcs comp
Parameters:
string list
ldcs : LoadedComponent list
comp : Component
Returns: bool
|
|
Full Usage:
isNegated gateType
Parameters:
GateComponentType
Returns: bool
Modifiers: inline |
|
|
|
|
A sheet's parameter data as though it were always there: a sheet that declares none reads as empty declarations and no slots, and writing to it creates the record. A LENS, where lcParameterSlots_ above is a prism, and that is the whole point. Composing a prism onto a prism gives an optic whose SETTER does nothing when the outer get returns None (Optics.fs), so `Optic.set` through lcParameterSlots_ silently dropped every write to a sheet that had no parameter data yet - which is exactly the sheet a first declaration is being written to. That hole is why ParameterView grew a second, hand-written path for the None case.
|
|
|
Full Usage:
legacyTypesConvert (lComps, lConns)
Parameters:
LegacyComponent list
lConns : LegacyConnection list
Returns: Component list * Connection list
|
|
|
|
Full Usage:
loadedComponentOf_ name
Parameters:
string
Returns: Lens<Project, LoadedComponent>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
shifterWidthFor busWidth
Parameters:
int
Returns: int
|
Number of bits needed on a shifter's SHIFT input to express every shift amount 0 .. busWidth-1. Must be recomputed whenever the bus width changes. This is ceil(log2 busWidth), clamped to 1 so that a one-bit bus still has a shift input. It used to count the bits of busWidth-1 itself; ParameterTypes.clog2 is the same count, exported because `clog2` in a parameter expression must mean exactly what the SHIFT input does. The one difference is at busWidth <= 0, where counting the bits of -1 shifted for ever.
|
|
|
|
|
|
|
Full Usage:
unreduced arg1
Parameters:
ReducedCanvasState
Returns: Component list * Connection list
|
|
|
Active patterns
| Active pattern | Description |
Full Usage:
(|IsBinaryGate|NotBinaryGate|) cType
Parameters:
ComponentType
Returns: Choice<unit, unit>
|
|
|
|
Full Usage:
(|MemoryAndType|_|) typ
Parameters:
ComponentType
Returns: ((Memory1 -> ComponentType) * Memory1) option
|
|
|
|