src/main/java/org/shedlang/compiler/ShedBuiltins.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

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;
import java.util.Optional;

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(
        Optional.empty(),
        List.of(Types.STRING),
        List.of(),
        Effects.IO,
        Types.UNIT
    );
}