Class List

Classes Methods Files

Search:

Top Level Namespace
JadeTop Level Namespace
- ASTJade
  - NodeJade::AST
  - NodesJade::AST
  - PatternJade::AST
  - PrettyPrinterJade::AST
- BasicsJade
  - EQ < DataJade::Basics
  - GT < DataJade::Basics
  - LT < DataJade::Basics
- BytesJade
  - Bytes < DataJade::Bytes
- CLIJade
  - FmtJade::CLI
  - LspJade::CLI
  - QJade::CLI
    Context < ObjectJade::CLI::Q
- CalendarJade
  - RuntimeJade::Calendar
- ClockJade
  - RuntimeJade::Clock
- CodegenJade
  - BoundaryJade::Codegen
    CacheJade::Codegen::Boundary
    SpecializedJade::Codegen::Boundary
    ListJade::Codegen::Boundary::Specialized
    MaybeJade::Codegen::Boundary::Specialized
    RecordJade::Codegen::Boundary::Specialized
    ScalarJade::Codegen::Boundary::Specialized
  - ConstructorReferenceJade::Codegen
  - ContextJade::Codegen
  - EmitterJade::Codegen
  - FunctionCallJade::Codegen
  - FunctionDeclarationJade::Codegen
  - HelpersJade::Codegen
  - ImplementationJade::Codegen
  - InlineJade::Codegen
  - InlinesJade::Codegen
  - MethodNamesJade::Codegen
  - PatternJade::Codegen
    ConstructorJade::Codegen::Pattern
  - PortDecoderJade::Codegen
  - PrettyJade::Codegen
  - TransformsJade::Codegen
    FoldShapeJade::Codegen::Transforms
    SelfCallJade::Codegen::Transforms
    TailCallJade::Codegen::Transforms
  - VariantDeclarationJade::Codegen
- CompilationError < StandardErrorJade
- Compiler < ObjectJade
  - Config < ObjectJade::Compiler
- DecodeJade
  - AtField < DataJade::Decode
  - AtIndex < DataJade::Decode
  - Custom < DataJade::Decode
  - Decoder < DataJade::Decode
  - DescJade::Decode
    AndMap < DataJade::Decode::Desc
    AndThen < DataJade::Decode::Desc
    Bool < DataJade::Decode::Desc
    Dct < DataJade::Decode::Desc
    Fail < DataJade::Decode::Desc
    Field < DataJade::Decode::Desc
    Flt < DataJade::Decode::Desc
    Idx < DataJade::Decode::Desc
    Int < DataJade::Decode::Desc
    Lst < DataJade::Decode::Desc
    Map < DataJade::Decode::Desc
    Nullable < DataJade::Decode::Desc
    OneOf < DataJade::Decode::Desc
    OptField < DataJade::Decode::Desc
    Optional < DataJade::Decode::Desc
    Pass < DataJade::Decode::Desc
    Sequence < DataJade::Decode::Desc
    Str < DataJade::Decode::Desc
    Succeed < DataJade::Decode::Desc
    Variant < DataJade::Decode::Desc
  - MissingField < DataJade::Decode
  - Multiple < DataJade::Decode
  - RunnerJade::Decode
  - WrongType < DataJade::Decode
- DiagnosticsJade
  - Annotation < DataJade::Diagnostics
  - Diagnostic < DataJade::Diagnostics
  - Label < DataJade::Diagnostics
  - List < DataJade::Diagnostics
  - Renderer < ObjectJade::Diagnostics
    Location < DataJade::Diagnostics::Renderer
- DictJade
  - Dict < DataJade::Dict
- DidYouMeanJade
- Entry < DataJade
- Err < DataJade
- Error < ObjectJade
- FormatterJade
  - AssignJade::Formatter
  - BindJade::Formatter
  - BodyJade::Formatter
  - CallsJade::Formatter
  - CaseOfJade::Formatter
  - CaseOfBranchJade::Formatter
  - CharLiteralJade::Formatter
  - ConstructorReferenceJade::Formatter
  - ExposingJade::Formatter
  - FunctionCallJade::Formatter
  - FunctionDeclarationJade::Formatter
  - FunctionDeclarationParamJade::Formatter
  - GroupingJade::Formatter
  - HelperJade::Formatter
  - IfThenElseJade::Formatter
  - ImplementationJade::Formatter
  - ImplementationFunctionJade::Formatter
  - ImportDeclarationJade::Formatter
  - InfixApplicationJade::Formatter
  - InterfaceDeclarationJade::Formatter
  - InterfaceFunctionDeclJade::Formatter
  - InteropFunctionJade::Formatter
  - InteropImportDeclarationJade::Formatter
  - KeyedCallJade::Formatter
  - LambdaJade::Formatter
  - ListJade::Formatter
  - LiteralJade::Formatter
  - MemberAccessJade::Formatter
  - ModuleNodeJade::Formatter
  - PatternJade::Formatter
  - PlaceholderJade::Formatter
  - QualifiedAccessJade::Formatter
  - RecordAccessJade::Formatter
  - RecordAccessSugarJade::Formatter
  - RecordLiteralJade::Formatter
  - RecordUpdateJade::Formatter
  - RecordUpdateSugarJade::Formatter
  - StructDeclarationJade::Formatter
  - TupleJade::Formatter
  - TypeJade::Formatter
  - TypeDeclarationJade::Formatter
  - VariableReferenceJade::Formatter
  - VariantDeclarationJade::Formatter
- FrontendJade
  - CommentAttacherJade::Frontend
    CommentEntryJade::Frontend::CommentAttacher
    Dangling < DataJade::Frontend::CommentAttacher::CommentEntry
    Leading < DataJade::Frontend::CommentAttacher::CommentEntry
    Trailing < DataJade::Frontend::CommentAttacher::CommentEntry
    CommentGroup < DataJade::Frontend::CommentAttacher
  - DesugaringJade::Frontend
    PlaceholderJade::Frontend::Desugaring
  - FixityFixerJade::Frontend
    Fixity < DataJade::Frontend::FixityFixer
    SplitWhenJade::Frontend::FixityFixer
  - ForwardDeclarationJade::Frontend
    BodyJade::Frontend::ForwardDeclaration
    ErrorJade::Frontend::ForwardDeclaration
    BadImport < ErrorJade::Frontend::ForwardDeclaration::Error
    ExposedTypeNotFound < ErrorJade::Frontend::ForwardDeclaration::Error
    ExposedValueNotFound < ErrorJade::Frontend::ForwardDeclaration::Error
    ModuleNotFound < ErrorJade::Frontend::ForwardDeclaration::Error
    PrivateTypeExpansion < ErrorJade::Frontend::ForwardDeclaration::Error
    TupleArityOverflow < ErrorJade::Frontend::ForwardDeclaration::Error
    TypeNotFound < ErrorJade::Frontend::ForwardDeclaration::Error
    TypeNotLowerable < ErrorJade::Frontend::ForwardDeclaration::Error
    UnknownExtendsInterface < ErrorJade::Frontend::ForwardDeclaration::Error
    FunctionDeclarationJade::Frontend::ForwardDeclaration
    HelperJade::Frontend::ForwardDeclaration
    ImplementationJade::Frontend::ForwardDeclaration
    ImplementationFunctionJade::Frontend::ForwardDeclaration
    ImportDeclarationJade::Frontend::ForwardDeclaration
    InterfaceDeclarationJade::Frontend::ForwardDeclaration
    InteropImportDeclarationJade::Frontend::ForwardDeclaration
    ModuleJade::Frontend::ForwardDeclaration
    Result < DataJade::Frontend::ForwardDeclaration
    StructDeclarationJade::Frontend::ForwardDeclaration
    TypeDeclarationJade::Frontend::ForwardDeclaration
  - PatternAnalysisJade::Frontend
    Constructor < DataJade::Frontend::PatternAnalysis
    ExhaustivenessJade::Frontend::PatternAnalysis
    Literal < DataJade::Frontend::PatternAnalysis
    Matrix < DataJade::Frontend::PatternAnalysis
    Record < DataJade::Frontend::PatternAnalysis
    Wildcard < DataJade::Frontend::PatternAnalysis
  - SemanticAnalysisJade::Frontend
    AssignJade::Frontend::SemanticAnalysis
    BodyJade::Frontend::SemanticAnalysis
    CaseOfJade::Frontend::SemanticAnalysis
    CaseOfBranchJade::Frontend::SemanticAnalysis
    CharLiteralJade::Frontend::SemanticAnalysis
    ConstructorReferenceJade::Frontend::SemanticAnalysis
    ErrorJade::Frontend::SemanticAnalysis
    CircularExtends < ErrorJade::Frontend::SemanticAnalysis::Error
    ConstantNotCallable < ErrorJade::Frontend::SemanticAnalysis::Error
    ConstructorNotFound < ErrorJade::Frontend::SemanticAnalysis::Error
    ConstructorPatternArityMismatch < ErrorJade::Frontend::SemanticAnalysis::Error
    DuplicateField < ErrorJade::Frontend::SemanticAnalysis::Error
    DuplicateFunctionDeclaration < ErrorJade::Frontend::SemanticAnalysis::Error
    DuplicateRecordField < ErrorJade::Frontend::SemanticAnalysis::Error
    InvalidListRestPattern < ErrorJade::Frontend::SemanticAnalysis::Error
    KwargsOnNonConstructor < ErrorJade::Frontend::SemanticAnalysis::Error
    MissingExposingClause < ErrorJade::Frontend::SemanticAnalysis::Error
    MissingExtendsImplementation < ErrorJade::Frontend::SemanticAnalysis::Error
    MissingField < ErrorJade::Frontend::SemanticAnalysis::Error
    MissingImplementationFunction < ErrorJade::Frontend::SemanticAnalysis::Error
    ModuleNotFound < ErrorJade::Frontend::SemanticAnalysis::Error
    NestedTaskPort < ErrorJade::Frontend::SemanticAnalysis::Error
    NonTaskPort < ErrorJade::Frontend::SemanticAnalysis::Error
    OrphanImplementation < ErrorJade::Frontend::SemanticAnalysis::Error
    PredicateMustReturnBool < ErrorJade::Frontend::SemanticAnalysis::Error
    PredicateNameNotAllowed < ErrorJade::Frontend::SemanticAnalysis::Error
    ShadowingError < ErrorJade::Frontend::SemanticAnalysis::Error
    TypeArgsMismatch < ErrorJade::Frontend::SemanticAnalysis::Error
    TypeParamRequired < ErrorJade::Frontend::SemanticAnalysis::Error
    UnboundTypeVariable < ErrorJade::Frontend::SemanticAnalysis::Error
    UndefinedVariable < ErrorJade::Frontend::SemanticAnalysis::Error
    UnknownField < ErrorJade::Frontend::SemanticAnalysis::Error
    UnknownImplementationFunction < ErrorJade::Frontend::SemanticAnalysis::Error
    UnusedInterfaceTypeParam < ErrorJade::Frontend::SemanticAnalysis::Error
    ValueNotExposed < ErrorJade::Frontend::SemanticAnalysis::Error
    VariableNotFound < ErrorJade::Frontend::SemanticAnalysis::Error
    FunctionCallJade::Frontend::SemanticAnalysis
    FunctionDeclarationJade::Frontend::SemanticAnalysis
    GroupingJade::Frontend::SemanticAnalysis
    HelperJade::Frontend::SemanticAnalysis
    IfThenElseJade::Frontend::SemanticAnalysis
    ImplementationJade::Frontend::SemanticAnalysis
    ImplementationFunctionJade::Frontend::SemanticAnalysis
    ImportDeclarationJade::Frontend::SemanticAnalysis
    InterfaceDeclarationJade::Frontend::SemanticAnalysis
    InteropImportDeclarationJade::Frontend::SemanticAnalysis
    KeyedCallJade::Frontend::SemanticAnalysis
    ValidationJade::Frontend::SemanticAnalysis::KeyedCall
    LambdaJade::Frontend::SemanticAnalysis
    ListJade::Frontend::SemanticAnalysis
    LiteralJade::Frontend::SemanticAnalysis
    MemberAccessJade::Frontend::SemanticAnalysis
    ModuleNodeJade::Frontend::SemanticAnalysis
    PatternBindingJade::Frontend::SemanticAnalysis
    PatternConstructorJade::Frontend::SemanticAnalysis
    PatternListJade::Frontend::SemanticAnalysis
    PatternLiteralJade::Frontend::SemanticAnalysis
    PatternRecordJade::Frontend::SemanticAnalysis
    PatternWildcardJade::Frontend::SemanticAnalysis
    QualifiedAccessJade::Frontend::SemanticAnalysis
    RecordAccessJade::Frontend::SemanticAnalysis
    RecordFieldJade::Frontend::SemanticAnalysis
    RecordLiteralJade::Frontend::SemanticAnalysis
    RecordUpdateJade::Frontend::SemanticAnalysis
    Result < DataJade::Frontend::SemanticAnalysis
    Scope < DataJade::Frontend::SemanticAnalysis
    StructDeclarationJade::Frontend::SemanticAnalysis
    TupleJade::Frontend::SemanticAnalysis
    TypeDeclarationJade::Frontend::SemanticAnalysis
    VariableReferenceJade::Frontend::SemanticAnalysis
    VariantDeclarationJade::Frontend::SemanticAnalysis
  - TypeCheckingJade::Frontend
    CanonicalizeJade::Frontend::TypeChecking
    ConstraintsJade::Frontend::TypeChecking
    DerivingJade::Frontend::TypeChecking::Constraints
    DecodableJade::Frontend::TypeChecking::Constraints::Deriving
    EncodableJade::Frontend::TypeChecking::Constraints::Deriving
    EqJade::Frontend::TypeChecking::Constraints::Deriving
    HelpersJade::Frontend::TypeChecking::Constraints::Deriving
    ConstructorDef < DataJade::Frontend::TypeChecking
    DefinitionJade::Frontend::TypeChecking
    Env < DataJade::Frontend::TypeChecking
    ErrorJade::Frontend::TypeChecking
    CaseOfBranchesTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    DerivationFailed < ErrorJade::Frontend::TypeChecking::Error
    FunctionBodyTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    FunctionCallTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    IfBranchTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    IfBranchesTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    IfConditionTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    ImplementationTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    ListItemTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    MissingImplementation < ErrorJade::Frontend::TypeChecking::Error
    MissingPatterns < ErrorJade::Frontend::TypeChecking::Error
    PatternTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    PortNotDecodable < ErrorJade::Frontend::TypeChecking::Error
    RecordAccessTypeMismatch < TypeMismatchJade::Frontend::TypeChecking::Error
    TypeMismatch < ErrorJade::Frontend::TypeChecking::Error
    UnresolvedConstraint < ErrorJade::Frontend::TypeChecking::Error
    Expected < DataJade::Frontend::TypeChecking
    GeneralizationJade::Frontend::TypeChecking
    GeneralizerJade::Frontend::TypeChecking
    InferenceJade::Frontend::TypeChecking
    AssignJade::Frontend::TypeChecking::Inference
    BodyJade::Frontend::TypeChecking::Inference
    CaseOfJade::Frontend::TypeChecking::Inference
    ConstructorReferenceJade::Frontend::TypeChecking::Inference
    FunctionCallJade::Frontend::TypeChecking::Inference
    FunctionDeclarationJade::Frontend::TypeChecking::Inference
    GroupingJade::Frontend::TypeChecking::Inference
    HelpersJade::Frontend::TypeChecking::Inference
    IfThenElseJade::Frontend::TypeChecking::Inference
    ImplementationJade::Frontend::TypeChecking::Inference
    ImportDeclarationJade::Frontend::TypeChecking::Inference
    InterfaceDeclarationJade::Frontend::TypeChecking::Inference
    InteropImportDeclarationJade::Frontend::TypeChecking::Inference
    LambdaJade::Frontend::TypeChecking::Inference
    ListJade::Frontend::TypeChecking::Inference
    LiteralJade::Frontend::TypeChecking::Inference
    ModuleJade::Frontend::TypeChecking::Inference
    PatternJade::Frontend::TypeChecking::Inference
    QualifiedAccessJade::Frontend::TypeChecking::Inference
    RecordAccessJade::Frontend::TypeChecking::Inference
    RecordFieldJade::Frontend::TypeChecking::Inference
    RecordLiteralJade::Frontend::TypeChecking::Inference
    RecordUpdateJade::Frontend::TypeChecking::Inference
    StructDeclarationJade::Frontend::TypeChecking::Inference
    TypeDeclarationJade::Frontend::TypeChecking::Inference
    VariableReferenceJade::Frontend::TypeChecking::Inference
    InstantiationJade::Frontend::TypeChecking
    InterfaceDef < DataJade::Frontend::TypeChecking
    LoaderJade::Frontend::TypeChecking
    Placeholder < DataJade::Frontend::TypeChecking
    PortResolutionJade::Frontend::TypeChecking
    Result < DataJade::Frontend::TypeChecking
    ResultAcc < DataJade::Frontend::TypeChecking
    Scheme < DataJade::Frontend::TypeChecking
    State < DataJade::Frontend::TypeChecking
    StructDef < DataJade::Frontend::TypeChecking
    Substitution < DataJade::Frontend::TypeChecking
    TypeDef < DataJade::Frontend::TypeChecking
    UnificationJade::Frontend::TypeChecking
    Context < DataJade::Frontend::TypeChecking::Unification
    UnificationError < ObjectJade::Frontend::TypeChecking::Unification
    VarGen < ObjectJade::Frontend::TypeChecking
  - UnusedAnalysisJade::Frontend
  - UsageAnalysisJade::Frontend
    Reference < DataJade::Frontend::UsageAnalysis
    ReferenceIndex < DataJade::Frontend::UsageAnalysis
- ImportEntry < DataJade
- InteropJade
  - BoundaryJade::Interop
  - DecodeError < ErrorJade::Interop
  - Error < StandardErrorJade::Interop
  - LoweringJade::Interop
    Error < ObjectJade::Interop::Lowering
    FunctionError < ErrorJade::Interop::Lowering
    TypeParamError < ErrorJade::Interop::Lowering
  - NotExposed < ErrorJade::Interop
  - PortNotRegistered < ErrorJade::Interop
  - RuntimeJade::Interop
  - TaskError < ErrorJade::Interop
- LSPJade
  - ConvertersJade::LSP
  - HandlersJade::LSP
  - Server < ObjectJade::LSP
  - SnippetsJade::LSP
    Snippet < DataJade::LSP::Snippets
  - State < DataJade::LSP
- LexerJade
- ModuleLoaderJade
  - CacheJade::ModuleLoader
  - CycleDependencyError < StandardErrorJade::ModuleLoader
  - DependencyGraph < DataJade::ModuleLoader
  - DependencyResolverJade::ModuleLoader
  - NormalizeJade::ModuleLoader
  - TopologicalSortJade::ModuleLoader
- Ok < DataJade
- ParsingJade
  - CombinatorsJade::Parsing
    CommaList < DataJade::Parsing::Combinators
    DslJade::Parsing::Combinators
    P < ObjectJade::Parsing::Combinators
    State < DataJade::Parsing::Combinators
  - EOFError < ErrorJade::Parsing
  - Error < ErrorJade::Parsing
  - FunctionCallPostfix < DataJade::Parsing
  - InvalidOperatorError < ErrorJade::Parsing
  - KeyedCallPostfix < DataJade::Parsing
  - MemberAccessPostfix < DataJade::Parsing
  - MissingThenError < ErrorJade::Parsing
  - TokenJade::Parsing
  - TypeJade::Parsing
  - UnexpectedTokenError < ErrorJade::Parsing
- PortJade
- Registry < DataJade
- ResultsJade
- RuntimeJade
- SetJade
  - Set < DataJade::Set
- Source < DataJade
- StdlibJade
  - BasicsJade::Stdlib
  - BytesJade::Stdlib
  - CalendarJade::Stdlib
  - CharJade::Stdlib
  - ClockJade::Stdlib
  - CompiledJade::Stdlib
  - DecodeJade::Stdlib
    ParamsJade::Stdlib::Decode
  - DictJade::Stdlib
  - EncodeJade::Stdlib
  - IntrinsicsJade::Stdlib
  - ListJade::Stdlib
  - MaybeJade::Stdlib
  - ResultJade::Stdlib
  - SetJade::Stdlib
  - StringJade::Stdlib
  - TaskJade::Stdlib
  - TupleJade::Stdlib
- SymbolJade
  - AnonymousRecord < DataJade::Symbol
  - BaseJade::Symbol
  - Constructor < DataJade::Symbol
  - DerivedFunction < DataJade::Symbol
  - Function < DataJade::Symbol
  - FunctionType < DataJade::Symbol
  - Implementation < DataJade::Symbol
  - ImplementationTemplate < DataJade::Symbol
  - Interface < DataJade::Symbol
  - InterfaceFunction < DataJade::Symbol
  - InteropFunction < DataJade::Symbol
    Dict < DataJade::Symbol::InteropFunction
  - Lambda < DataJade::Symbol
  - ParserJade::Symbol
  - PartialApplication < DataJade::Symbol
  - RecordType < DataJade::Symbol
  - StdlibFunction < DataJade::Symbol
  - StdlibImplementation < DataJade::Symbol
  - Struct < DataJade::Symbol
  - TypeApplication < DataJade::Symbol
  - TypeRef < DataJade::Symbol
  - Union < DataJade::Symbol
  - ValueRef < DataJade::Symbol
  - Variable < DataJade::Symbol
  - Variant < DataJade::Symbol
- TaskJade
  - AndThen < DataJade::Task
  - Decoded < DataJade::Task
  - Dispatch < DataJade::Task
  - Literal < DataJade::Task
  - Map < DataJade::Task
  - MapError < DataJade::Task
  - OnError < DataJade::Task
  - Sequence < DataJade::Task
- TaskDef < DataJade
- TasksJade
  - Block < DataJade::Tasks
  - MatcherJade::Tasks
  - OutcomeJade::Tasks
  - RSpecJade::Tasks
    LooseJade::Tasks::RSpec
  - ReturnedTask < StandardErrorJade::Tasks
  - TestRegistry < ObjectJade::Tasks
  - Unbound < StandardErrorJade::Tasks
- Token < DataJade
- TupleJade
  - Tuple2 < DataJade::Tuple
  - Tuple3 < DataJade::Tuple
  - Tuple4 < DataJade::Tuple
- TypeJade
  - AnonymousRecord < DataJade::Type
  - Application < DataJade::Type
  - BaseJade::Type
  - Constraint < DataJade::Type
  - Constructor < DataJade::Type
  - Function < DataJade::Type
  - PartialApplication < DataJade::Type
  - Unit < DataJade::Type
  - Var < DataJade::Type