Searched refs:nominalRolesForKind (Results 1 – 2 of 2) sorted by relevance
342 in (name, (k, ExternData (nominalRolesForKind k)))594 nominalRolesForKind :: Type a -> [Role]595 nominalRolesForKind k = replicate (kindArity k) Nominal function
378 … let roles = fromMaybe (nominalRolesForKind elabKind) $ M.lookup qualName (roleDeclarations env)