unison-parser-typechecker-0.0.0

unison-parser-typechecker-0.0.0

• U
  Submodules

  • Codebase
    Submodules

    • Branch
      Submodules

      •  U.Codebase.Branch.Diff
    •  U.Codebase.Projects
• Unison
  Submodules

  •  Unison.Builtin
    Submodules

    •  Unison.Builtin.Decls
    •  Unison.Builtin.Terms
  •  Unison.Codebase
    Submodules

    •  Unison.Codebase.Branch
      Submodules

      •  Unison.Codebase.Branch.BranchDiff
      •  Unison.Codebase.Branch.Merge
      •  Unison.Codebase.Branch.Names
      •  Unison.Codebase.Branch.Raw
      •  Unison.Codebase.Branch.Type
    •  Unison.Codebase.BranchDiff
    •  Unison.Codebase.BranchUtil
    •  Unison.Codebase.BuiltinAnnotation
    •  Unison.Codebase.Causal
      Submodules

      •  Unison.Codebase.Causal.Type
    •  Unison.Codebase.CodeLookup
      Submodules

      •  Unison.Codebase.CodeLookup.Util
    • Editor
      Submodules

      •  Unison.Codebase.Editor.DisplayObject
      •  Unison.Codebase.Editor.RemoteRepo
    •  Unison.Codebase.FileCodebase
    •  Unison.Codebase.Init
      Submodules

      •  Unison.Codebase.Init.CreateCodebaseError
      •  Unison.Codebase.Init.OpenCodebaseError
      •  Unison.Codebase.Init.Type
    •  Unison.Codebase.IntegrityCheck
    •  Unison.Codebase.MainTerm
    •  Unison.Codebase.Metadata
    •  Unison.Codebase.Patch
    •  Unison.Codebase.Path
      Submodules

      •  Unison.Codebase.Path.Parse
    •  Unison.Codebase.ProjectPath
    •  Unison.Codebase.PushBehavior
    •  Unison.Codebase.Runtime
    •  Unison.Codebase.Serialization
    •  Unison.Codebase.ShortCausalHash
    •  Unison.Codebase.SqliteCodebase
      Submodules

      • Branch
        Submodules

        •  Unison.Codebase.SqliteCodebase.Branch.Cache
        •  Unison.Codebase.SqliteCodebase.Branch.Dependencies
      •  Unison.Codebase.SqliteCodebase.Conversions
      •  Unison.Codebase.SqliteCodebase.Migrations
        Submodules

        •  Unison.Codebase.SqliteCodebase.Migrations.Helpers
        •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema11To12
        •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema16To17
        •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2
          Submodules

          •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers
        •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema3To4
        •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema5To6
        •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema6To7
        •  Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema7To8
      •  Unison.Codebase.SqliteCodebase.Operations
      •  Unison.Codebase.SqliteCodebase.Paths
      •  Unison.Codebase.SqliteCodebase.SyncEphemeral
    •  Unison.Codebase.TermEdit
      Submodules

      •  Unison.Codebase.TermEdit.Typing
    •  Unison.Codebase.Type
    •  Unison.Codebase.TypeEdit
    •  Unison.Codebase.UniqueTypeGuidLookup
    •  Unison.Codebase.Verbosity
  •  Unison.CodebasePath
  • DataDeclaration
    Submodules

    •  Unison.DataDeclaration.Dependencies
  •  Unison.FileParsers
  • Hashing
    Submodules

    • V2
      Submodules

      •  Unison.Hashing.V2.Convert Converts V1 types to the V2 hashing types
  •  Unison.KindInference
    Submodules

    • Constraint
      Submodules

      •  Unison.KindInference.Constraint.Context
      •  Unison.KindInference.Constraint.Pretty Pretty printers for kind inference constraints
      •  Unison.KindInference.Constraint.Provenance
      •  Unison.KindInference.Constraint.Solved
      •  Unison.KindInference.Constraint.TypeProvenance
      •  Unison.KindInference.Constraint.Unsolved
    •  Unison.KindInference.Error
      Submodules

      •  Unison.KindInference.Error.Pretty
    •  Unison.KindInference.Generate
      Submodules

      •  Unison.KindInference.Generate.Monad
    •  Unison.KindInference.Solve
      Submodules

      •  Unison.KindInference.Solve.Monad
    •  Unison.KindInference.UVar
  •  Unison.Parsers
  •  Unison.PatternMatchCoverage
    Submodules

    •  Unison.PatternMatchCoverage.Class
    •  Unison.PatternMatchCoverage.Constraint
    •  Unison.PatternMatchCoverage.Desugar
    •  Unison.PatternMatchCoverage.EffectHandler
    •  Unison.PatternMatchCoverage.GrdTree
    •  Unison.PatternMatchCoverage.IntervalSet
    •  Unison.PatternMatchCoverage.ListPat
    •  Unison.PatternMatchCoverage.Literal
    •  Unison.PatternMatchCoverage.NormalizedConstraints
    •  Unison.PatternMatchCoverage.PmGrd
    •  Unison.PatternMatchCoverage.PmLit
    •  Unison.PatternMatchCoverage.Pretty
    •  Unison.PatternMatchCoverage.Solve
    •  Unison.PatternMatchCoverage.UFMap
  •  Unison.PrettyPrintEnv
    Submodules

    •  Unison.PrettyPrintEnv.FQN
    •  Unison.PrettyPrintEnv.MonadPretty
    •  Unison.PrettyPrintEnv.Names
    •  Unison.PrettyPrintEnv.Util
  •  Unison.PrettyPrintEnvDecl
    Submodules

    •  Unison.PrettyPrintEnvDecl.Names
    •  Unison.PrettyPrintEnvDecl.Sqlite
  •  Unison.PrintError
  •  Unison.Result
  • Share
    Submodules

    •  Unison.Share.Types
  • Syntax
    Submodules

    •  Unison.Syntax.DeclParser
    •  Unison.Syntax.DeclPrinter
    •  Unison.Syntax.FileParser
    •  Unison.Syntax.FilePrinter
    •  Unison.Syntax.NamePrinter
    •  Unison.Syntax.Precedence
    •  Unison.Syntax.TermParser
    •  Unison.Syntax.TermPrinter
    •  Unison.Syntax.TypeParser
    •  Unison.Syntax.TypePrinter
  •  Unison.Typechecker
    Submodules

    •  Unison.Typechecker.Components
    •  Unison.Typechecker.Context
    •  Unison.Typechecker.Extractor
    •  Unison.Typechecker.TypeError
    •  Unison.Typechecker.TypeLookup
    •  Unison.Typechecker.TypeVar
  •  Unison.UnisonFile
    Submodules

    •  Unison.UnisonFile.Env
    •  Unison.UnisonFile.Names
    •  Unison.UnisonFile.Summary
    •  Unison.UnisonFile.Type
  • Util
    Submodules

    •  Unison.Util.CycleTable
    •  Unison.Util.CyclicEq
    •  Unison.Util.CyclicOrd
    •  Unison.Util.EnumContainers
    •  Unison.Util.Exception
    •  Unison.Util.Logger
    • Pretty
      Submodules

      •  Unison.Util.Pretty.MegaParsec
    •  Unison.Util.RefPromise
    •  Unison.Util.Star2
    •  Unison.Util.TQueue
    •  Unison.Util.Text
      Submodules

      •  Unison.Util.Text.Pattern
    •  Unison.Util.TransitiveClosure