Module radn::atomic

This module allows to describe a primitive subset of Mentionable types, Atomics, simple static types, which are completely Context-independent.

Traits

• Atomic
  This trait combines functionality of Mentionable and Factory, while limiting MentionableTop::points_typed (and corresponding MentionableTop::topology_hash) to an empty sequence.
• AtomicBase
  Atomic base.
• AtomicExt
  Extension trait to provide method-like utilities associated with Atomics.
• AtomicModeParse
  A more generic version of Atomic.
• AtomicModeProxy
  External implementation of AtomicModeProxy.
• CInliningAtomic
  For auto-deriving InliningAtomic from concrete implementations.
• CRegularAtomic
  For auto-deriving RegularAtomic from concrete implementations.
• InliningAtomic
  Atomic analogue of InliningFactory/InliningObject.
• RegularAtomic
  Mostly same as AtomicModeParse but requires Mode to be RegularMode.

Type Definitions

• AExtensionResultM
  Atomic equivalent of ExtensionResult.
• AExtensionSourceM
  Atomic equivalent of ExtensionSource.
• AIParseResult
  Inlining version of AParseResult. Preserves the parser.
• AModeResultM
  Atomic equivalent of ModeResult.
• AParseError
  Atomic version of ParseError.
• AParseResult
  Atomic version of ParseResult