| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Codebase.Editor.SlurpResult
Synopsis
- data SlurpResult = SlurpResult {
- originalFile :: TypecheckedUnisonFile Symbol Ann
- extraDefinitions :: SlurpComponent
- adds :: SlurpComponent
- duplicates :: SlurpComponent
- collisions :: SlurpComponent
- termExistingConstructorCollisions :: Set Symbol
- constructorExistingTermCollisions :: Set Symbol
- termAlias :: Map Symbol Aliases
- typeAlias :: Map Symbol Aliases
- defsWithBlockedDependencies :: SlurpComponent
- data Aliases
- = AddAliases (Set Name)
- | UpdateAliases {
- oldRefNames :: Set Name
- newRefNames :: Set Name
- isOk :: SlurpResult -> Bool
- isAllDuplicates :: SlurpResult -> Bool
- filterUnisonFile :: SlurpResult -> TypecheckedUnisonFile Symbol Ann -> TypecheckedUnisonFile Symbol Ann
- pretty :: IsPastTense -> PrettyPrintEnv -> SlurpResult -> Pretty ColorText
- data Status
- prettyStatus :: Status -> Pretty ColorText
- data TermSlurp v a
- = TermSlurp'Add !TermReference !(Type v a)
- | TermSlurp'Delete !TermReference !(Type v a)
- | TermSlurp'Update !Referent !(Type v a) !Referent !(Type v a)
- | TermSlurp'Unchanged
- data SlurpEntry a
Slurp result
data SlurpResult Source #
Constructors
Instances
| Show SlurpResult Source # | |
Defined in Unison.Codebase.Editor.SlurpResult Methods showsPrec :: Int -> SlurpResult -> ShowS # show :: SlurpResult -> String # showList :: [SlurpResult] -> ShowS # | |
Constructors
| AddAliases (Set Name) | |
| UpdateAliases | |
Fields
| |
Predicates
isOk :: SlurpResult -> Bool Source #
isAllDuplicates :: SlurpResult -> Bool Source #
Filtering a Unison file
filterUnisonFile :: SlurpResult -> TypecheckedUnisonFile Symbol Ann -> TypecheckedUnisonFile Symbol Ann Source #
Pretty-printing
pretty :: IsPastTense -> PrettyPrintEnv -> SlurpResult -> Pretty ColorText Source #
Definion status
Constructors
| Add | |
| Update | |
| Duplicate | |
| Collision | |
| TermExistingConstructorCollision | |
| ConstructorExistingTermCollision | |
| ExtraDefinition | |
| BlockedDependency |
Slurp entry
Constructors
| TermSlurp'Add !TermReference !(Type v a) | |
| TermSlurp'Delete !TermReference !(Type v a) | |
| TermSlurp'Update !Referent !(Type v a) !Referent !(Type v a) | |
| TermSlurp'Unchanged |
data SlurpEntry a Source #
Constructors
| SlurpEntry'Add a | |
| SlurpEntry'Delete a | |
| SlurpEntry'Update a a | |
| SlurpEntry'Unchanged |