Documentation

bindNames :: Var v => (v -> Name) -> (Name -> v) -> Set v -> Names -> DataDeclaration v a -> ResolutionResult a (DataDeclaration v a) Source #

dataDeclToNames' :: Var v => (v -> Name) -> (v, (Id, DataDeclaration v a)) -> Names Source #

effectDeclToNames' :: Var v => (v -> Name) -> (v, (Id, EffectDeclaration v a)) -> Names Source #