Open Sidebar
Close Sidebar
CrystalDoc.info
Source code
Shards.info
savi
main
Array
BitArray
File
LLVM
BasicBlock
BasicBlockCollection
Builder
Context
Function
FunctionCollection
Module
TargetData
Type
ValueMethods
Savi
AST
A
Annotation
Call
Choice
ComposeString
CopyOnMutateVisitor
Declare
Document
Extract
FieldDisplace
FieldRead
FieldWrite
Format
Edit
IndentState
Layer
Rule
Function
Gather
AnnotatedNodes
Group
Identifier
Jump
Kind
LiteralCharacter
LiteralFloat
LiteralInteger
LiteralString
Loop
Node
Operator
Prefix
Qualify
Relate
Term
Try
Visitor
Yield
Compiler
Binary
BinaryObject
BinaryVerona
Classify
Analysis
Pass
TypeExprVisitor
Visitor
CodeGen
ContinuationInfo
DebugInfo
Frame
GenFunc
CallingConvention
Constructor
Errorable
Simple
Yielding
YieldingErrorable
GenType
PonyRT
VeronaRT
Common
FindByPos
Completeness
Analysis
Branch
Pass
Context
Flow
Analysis
Block
Location
Pass
Visitor
Infer
AddressOf
Analysis
ArrayLiteral
ArrayLiteralElementAntecedent
Cap
Choice
Conduit
Aliased
ArrayLiteralElementAntecedent
Consumed
Direct
Inner
Union
Consume
DynamicInfo
ErrorInfo
ErrorOut
Field
FieldExtract
FieldRead
FixedEnumValue
FixedInfo
FixedPrelude
FixedSingleton
FixedTypeExpr
FromAssign
FromAssignNoAlias
FromCall
FromCallErrorOut
FromCallYieldOut
FromConstructor
FromYield
FuncAnalysis
FuncBody
Info
JumpBreak
JumpError
JumpInfo
JumpNext
JumpReturn
Literal
Local
LocalRef
Loop
MetaType
AntiNominal
Capability
Inner
Intersection
Nominal
Unconstrained
Union
Unsatisfiable
NamedInfo
Param
Pass
PassEdge
Phi
RecoverUnsafe
Refinement
ReflectionOfType
ReifiedFunction
ReifiedType
ReifiedTypeAlias
Self
Sequence
Span
ByReifyCap
ErrorPropagate
Fallback
Inner
Terminal
StackAddressOfVariable
StaticAddressOfFunction
Tether
TowardCallParam
TowardCallYieldIn
TypeAliasAnalysis
TypeAliasVisitor
TypeAnalysis
TypeCondition
TypeConditionForLocal
TypeConditionStatic
TypeExprEvaluator
TypeParam
TypeParamCondition
TypeVisitor
Visitor
YieldIn
YieldOut
Inventory
Analysis
Pass
TypeAnalysis
Visitor
Jumps
Analysis
JumpKind
Pass
Visitor
Lifetime
ForFunc
Info
PassAsArgument
ReleaseFromScope
Load
Local
Analysis
Pass
UseSite
Visitor
Macros
SimpleIdentifiers
Util
Manifests
Namespace
Analysis
Options
Paint
Color
Pass
Analyze
ReentranceError
Populate
ReplaceIdentifiersVisitor
PopulateTypes
PreInfer
Analysis
FuncVisitor
Pass
PreSubtyping
Analysis
Analyst
Pass
PreTInfer
Analysis
FuncVisitor
Pass
Privacy
Pass
Reach
Def
Func
Ref
Signature
Refer
Analysis
Field
Info
Local
Pass
Scope
Self
Type
TypeAlias
TypeParam
Unresolved
Visitor
ReferType
Analysis
Pass
Visitor
Reparse
Run
ServeDefinition
ServeHover
SourceService
SubtypingCache
ForReifiedFunc
ForReifiedType
MetaType
ReifiedFunction
ReifiedType
Sugar
Target
TInfer
AddressOf
Analysis
ArrayLiteral
ArrayLiteralElementAntecedent
Choice
Conduit
ArrayLiteralElementAntecedent
Direct
Inner
Union
Consume
DynamicInfo
ErrorInfo
ErrorOut
Field
FieldExtract
FieldRead
FixedEnumValue
FixedInfo
FixedPrelude
FixedSingleton
FixedTypeExpr
FromAssign
FromCall
FromCallErrorOut
FromCallYieldOut
FromConstructor
FromYield
FuncAnalysis
FuncBody
Info
JumpBreak
JumpError
JumpInfo
JumpNext
JumpReturn
Literal
Local
LocalRef
Loop
MetaType
AntiNominal
Inner
Intersection
Nominal
Unconstrained
Union
Unsatisfiable
NamedInfo
Param
Pass
PassEdge
Phi
RecoverUnsafe
Refinement
ReflectionOfType
ReifiedFunction
ReifiedType
ReifiedTypeAlias
Self
Sequence
Span
ErrorPropagate
Fallback
Inner
Terminal
StackAddressOfVariable
StaticAddressOfFunction
Tether
TowardCallParam
TowardCallYieldIn
TypeAliasAnalysis
TypeAliasVisitor
TypeAnalysis
TypeCondition
TypeConditionForLocal
TypeConditionStatic
TypeExprEvaluator
TypeParam
TypeParamCondition
TypeVisitor
Visitor
YieldIn
YieldOut
TSubtypingCache
ForReifiedFunc
ForReifiedType
MetaType
ReifiedFunction
ReifiedType
TTypeCheck
ForReifiedFunc
Info
MetaType
ReifiedFunction
ReifiedType
ReifiedTypeAlias
TypeParam
TypeCheck
Cap
ForReifiedFunc
Info
MetaType
ReifiedFunction
ReifiedType
ReifiedTypeAlias
TypeParam
TypeContext
Analysis
Layer
Pass
Visitor
Types
Edge
Analysis
Pass
Visitor
Graph
Analysis
Pass
Visitor
Type
TypeBottom
TypeNominal
TypeSimple
TypeTop
TypeUnion
TypeVariable
Scope
Verify
ErrorFinderVisitor
Pass
Visitor
XTypes
AlgebraicType
AlgebraicTypeFactor
AlgebraicTypeSimple
AlgebraicTypeSummand
Aliased
Analysis
Cap
Logic
Value
Cursor
Graph
Analysis
Pass
Visitor
Intersection
IntersectionBasic
JumpsAway
NominalCap
NominalType
NoUnique
OriginOfViewpoint
OverrideCap
Pass
Stabilized
TypeVariable
Scope
TypeVariableRef
Union
ViewableAs
Viewpoint
Error
Info
FFIGen
Options
Init
Bin
Lib
Packaging
Dependency
Manifest
RemoteService
GitHub
Parser
Builder
State
Program
Declarator
Bootstrap
Interpreter
Scope
Layer
TermAcceptor
Enum
Keyword
Typed
Function
Link
Intrinsic
Package
Link
Type
Link
TypeAlias
Link
TypeWithValue
Link
Server
Source
Package
Pos
SpecMarkdown
Example
Format
String
StructRef
Time
Generated using Crystal 1.14.0
2024-11-16 15:41:11 UTC
module
Savi::
Compiler::
Types
Defined in:
savi/compiler/types/edge.cr
savi/compiler/types/type.cr
Keyboard Shortcuts
×
s
,
/
Search
Esc
Abort search / Close modal
⇨
,
Enter
Open highlighted result
⇧
,
Ctrl+j
Select previous result
⇩
,
Ctrl+k
Select next result
?
Show usage info