aboutsummaryrefslogtreecommitdiff
path: root/src/main/java/org/shedlang/compiler/ShedBuiltins.java
blob: 14a2e6ceff5260cf46b079911a651bf8d178ef0d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
package org.shedlang.compiler;

import org.shedlang.compiler.types.Effects;
import org.shedlang.compiler.types.FunctionType;
import org.shedlang.compiler.types.NamespaceName;
import org.shedlang.compiler.types.Types;

import java.util.List;

public class ShedBuiltins {
    private ShedBuiltins() {
    }

    public static final NamespaceName NAMESPACE_NAME = NamespaceName.of("Shed", "Builtins");

    public static final String PRINT_NAME = "print";

    public static final FunctionType PRINT_TYPE = new FunctionType(
        List.of(Types.STRING),
        List.of(),
        Effects.IO,
        Types.UNIT
    );
}