Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.IntegrityCheck

Description

There are many invariants we expect to hold in our sqlite database and on codebase objects which we can't maintain using database checks. This module performs checks for some of these invariants, which can be useful to run after performing potentially dangerous operations like migrations.

Synopsis

integrityCheckFullCodebase :: Transaction IntegrityResult
integrityCheckAllBranches :: Transaction IntegrityResult
integrityCheckAllCausals :: Transaction IntegrityResult
prettyPrintIntegrityErrors :: Foldable f => f IntegrityError -> Pretty ColorText
data IntegrityResult
- = IntegrityErrorDetected (NESet IntegrityError)
- | NoIntegrityErrors

Documentation

integrityCheckFullCodebase :: Transaction IntegrityResult Source #

Performs all available integrity checks.

integrityCheckAllBranches :: Transaction IntegrityResult Source #

Performs a bevy of checks on branch objects and their relation to causals.

integrityCheckAllCausals :: Transaction IntegrityResult Source #

Performs a bevy of checks on causals.

prettyPrintIntegrityErrors :: Foldable f => f IntegrityError -> Pretty ColorText Source #

data IntegrityResult Source #

Constructors

IntegrityErrorDetected (NESet IntegrityError)
NoIntegrityErrors

Instances

Instances details

Monoid IntegrityResult Source #
Instance details Defined in Unison.Codebase.IntegrityCheck Methods mempty :: IntegrityResult # mappend :: IntegrityResult -> IntegrityResult -> IntegrityResult # mconcat :: [IntegrityResult] -> IntegrityResult #
Semigroup IntegrityResult Source #
Instance details Defined in Unison.Codebase.IntegrityCheck Methods (<>) :: IntegrityResult -> IntegrityResult -> IntegrityResult # sconcat :: NonEmpty IntegrityResult -> IntegrityResult # stimes :: Integral b => b -> IntegrityResult -> IntegrityResult #
Show IntegrityResult Source #
Instance details Defined in Unison.Codebase.IntegrityCheck Methods showsPrec :: Int -> IntegrityResult -> ShowS # show :: IntegrityResult -> String # showList :: [IntegrityResult] -> ShowS #
Eq IntegrityResult Source #
Instance details Defined in Unison.Codebase.IntegrityCheck Methods (==) :: IntegrityResult -> IntegrityResult -> Bool # (/=) :: IntegrityResult -> IntegrityResult -> Bool #
Ord IntegrityResult Source #
Instance details Defined in Unison.Codebase.IntegrityCheck Methods compare :: IntegrityResult -> IntegrityResult -> Ordering # (<) :: IntegrityResult -> IntegrityResult -> Bool # (<=) :: IntegrityResult -> IntegrityResult -> Bool # (>) :: IntegrityResult -> IntegrityResult -> Bool # (>=) :: IntegrityResult -> IntegrityResult -> Bool # max :: IntegrityResult -> IntegrityResult -> IntegrityResult # min :: IntegrityResult -> IntegrityResult -> IntegrityResult #