Ctrl+K

hugr
- build
  - base
    
    ParentBuilder
  - cfg
    
    Block
    
    Cfg
  - cond_loop
    
    Case
    
    Conditional
    
    Else
    
    If
    
    TailLoop
    
    ConditionalError
  - dfg
    
    DefinitionBuilder
    
    DfBase
    
    Dfg
    
    Function
  - function
    
    Module
  - tracked_dfg
    
    TrackedDfg
- envelope
- exceptions
- ext
- hugr
  - base
    
    Hugr
    
    NodeData
  - node_port
    
    Direction
    
    InPort
    
    Node
    
    OutPort
    
    ToNode
    
    Wire
  - render
    
    DotRenderer
    
    Palette
    
    RenderConfig
- model
  - Apply
  - Block
  - Cfg
  - Conditional
  - CustomOp
  - DeclareAlias
  - DeclareConstructor
  - DeclareFunc
  - DeclareOperation
  - DefineAlias
  - DefineFunc
  - Dfg
  - Func
  - Import
  - InvalidOp
  - List
  - Literal
  - Module
  - Node
  - Op
  - Package
  - Param
  - Region
  - RegionKind
  - Splice
  - Symbol
  - TailLoop
  - Term
  - Tuple
  - Var
  - Wildcard
  - export
    
    ModelExport
- ops
  - AliasDecl
  - AliasDefn
  - AsExtOp
  - Break
  - CFG
  - Call
  - CallIndirect
  - Case
  - Command
  - Conditional
  - Const
  - Continue
  - Custom
  - DFG
  - DataflowBlock
  - DataflowOp
  - DfParentOp
  - ExitBlock
  - ExtOp
  - FuncDecl
  - FuncDefn
  - Input
  - Left
  - LoadConst
  - LoadFunc
  - MakeTuple
  - Module
  - Noop
  - Op
  - Output
  - RegisteredOp
  - Right
  - Some
  - Tag
  - TailLoop
  - UnpackTuple
  - IncompleteOp
  - InvalidPort
  - NoConcreteFunc
- package
- qsystem
  - result
    
    DataPrimitive
    
    DataValue
    
    HResult
    
    HShots
    
    QsysResult
    
    QsysShot
- std
  - collections
    
    array
    
    list
    
    static_array
  - float
    
    FloatVal
  - int
    
    INT_T
    
    DivMod
    
    int_t
    
    IntVal
  - logic
    
    Not
  - prelude
    
    StringVal
- tys
  - TypeRow
  - Qubit
  - Bool
  - Unit
  - Kind
  - get_first_sum
  - Alias
  - BoundedNatArg
  - BoundedNatParam
  - CFKind
  - ConstKind
  - Either
  - ExtType
  - ExtensionsArg
  - ExtensionsParam
  - FunctionKind
  - FunctionType
  - ListParam
  - Opaque
  - Option
  - OrderKind
  - PolyFuncType
  - RowVariable
  - SequenceArg
  - StringArg
  - StringParam
  - Sum
  - Tuple
  - TupleParam
  - Type
  - TypeArg
  - TypeParam
  - TypeTypeArg
  - TypeTypeParam
  - USize
  - UnitSum
  - ValueKind
  - Variable
  - VariableArg
- utils
- val
  - Unit
  - TRUE
  - FALSE
  - bool_value
  - Extension
  - ExtensionValue
  - Function
  - Left
  - None_
  - Right
  - Some
  - Sum
  - Tuple
  - UnitSum
  - Value

.rst

logic

logic#

HUGR logic operations.

Module attributes

Not

Not operation

By Quantinuum