| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.UnisonFile.Names
Synopsis
- addNamesFromTypeCheckedUnisonFile :: Var v => TypecheckedUnisonFile v a -> Names -> Names
- environmentFor :: forall v a. Var v => Names -> Map v (DataDeclaration v a) -> Map v (EffectDeclaration v a) -> ResolutionResult a (Either [Error v a] (Env v a))
- toNames :: Var v => UnisonFile v a -> Names
- toTermAndWatchNames :: Var v => UnisonFile v a -> Set v
- typecheckedToNames :: Var v => TypecheckedUnisonFile v a -> Names
Documentation
addNamesFromTypeCheckedUnisonFile :: Var v => TypecheckedUnisonFile v a -> Names -> Names Source #
environmentFor :: forall v a. Var v => Names -> Map v (DataDeclaration v a) -> Map v (EffectDeclaration v a) -> ResolutionResult a (Either [Error v a] (Env v a)) Source #
toTermAndWatchNames :: Var v => UnisonFile v a -> Set v Source #
The set of all term and test watch names. No constructors.
typecheckedToNames :: Var v => TypecheckedUnisonFile v a -> Names Source #