unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2

Documentation

migrateSchema1To2 Source #

Arguments

:: (Reference -> Transaction ConstructorType)

A getDeclType-like lookup, possibly backed by a cache.

-> TVar (Map Hash TermBufferEntry) 
-> TVar (Map Hash DeclBufferEntry) 
-> Transaction ()