mirror of
https://github.com/luau-lang/luau.git
synced 2025-04-05 19:30:54 +01:00
37 lines
1 KiB
C++
37 lines
1 KiB
C++
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
|
|
#include "Luau/Refinement.h"
|
|
|
|
namespace Luau
|
|
{
|
|
|
|
RefinementId RefinementArena::negation(RefinementId refinement)
|
|
{
|
|
return NotNull{allocator.allocate(Negation{refinement})};
|
|
}
|
|
|
|
RefinementId RefinementArena::conjunction(RefinementId lhs, RefinementId rhs)
|
|
{
|
|
return NotNull{allocator.allocate(Conjunction{lhs, rhs})};
|
|
}
|
|
|
|
RefinementId RefinementArena::disjunction(RefinementId lhs, RefinementId rhs)
|
|
{
|
|
return NotNull{allocator.allocate(Disjunction{lhs, rhs})};
|
|
}
|
|
|
|
RefinementId RefinementArena::equivalence(RefinementId lhs, RefinementId rhs)
|
|
{
|
|
return NotNull{allocator.allocate(Equivalence{lhs, rhs})};
|
|
}
|
|
|
|
RefinementId RefinementArena::proposition(DefId def, TypeId discriminantTy)
|
|
{
|
|
return NotNull{allocator.allocate(Proposition{def, discriminantTy})};
|
|
}
|
|
|
|
RefinementId RefinementArena::variadic(const std::vector<RefinementId>& refis)
|
|
{
|
|
return NotNull{allocator.allocate(Variadic{refis})};
|
|
}
|
|
|
|
} // namespace Luau
|