| 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
- updates :: 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
- hasAddsOrUpdates :: SlurpResult -> Bool
- filterUnisonFile :: SlurpResult -> TypecheckedUnisonFile Symbol Ann -> TypecheckedUnisonFile Symbol Ann
- pretty :: IsPastTense -> PrettyPrintEnv -> SlurpResult -> Pretty ColorText
- data Status
- prettyStatus :: Status -> Pretty ColorText
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 #
hasAddsOrUpdates :: 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 #