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 #

toNames :: Var v => UnisonFile v a -> Names Source #

typecheckedToNames :: Var v => TypecheckedUnisonFile v a -> Names Source #