CinnabarEngine/softshape.m at master · FlyingJester/CinnabarEngine · GitHub

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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
:- module softshape.
% This should really be reconciled with the model module.
%==============================================================================%
:- interface.
%==============================================================================%

:- use_module model.
:- import_module list.

:- type vertex2d ---> vertex(x2::float, y2::float, u2::float, v2::float).
:- type vertex3d ---> vertex(x3::float, y3::float, z3::float, u3::float, v3::float).
:- type shape2d ---> shape2d(list(vertex2d)) ;
    shape2d(list(vertex2d), float, float, float).

:- type shape3d ---> shape3d(list(vertex3d)) ; % Vertices
    shape3d(list(vertex3d), float, float, float). % Vertices and model-wide RGB

% Abstraction for vertex2 and vertex3.
:- typeclass vertex(T) where [
    func x(T) = float,
    func y(T) = float,
    func z(T) = float,
    func u(T) = float,
    func v(T) = float
].

:- instance vertex(vertex2d).
:- instance vertex(vertex3d).

:- instance model.loadable(shape3d).

:- func rectangle(float, float, float, float) = shape2d.

%==============================================================================%
:- implementation.
%==============================================================================%

:- import_module float.

rectangle(X, Y, W, H) = shape2d([vertex(X, Y, 0.0, 0.0)
    |[vertex(X+W, Y,   1.0, 0.0)
    |[vertex(X+W, Y+H, 1.0, 1.0)
    |[vertex(X,   Y+H, 0.0, 1.0)
    |[]]]]]).

:- instance model.loadable(shape3d) where [
    (next(model.vertex(model.point(X, Y, Z), model.tex(U, V), _),
        shape3d(VertIn), shape3d(VertOut)) :-
        list.append(VertIn, [vertex(X, Y, Z, U, V)|[]], VertOut)
    ),
    (next(model.vertex(model.point(X, Y, Z), model.tex(U, V), _),
        shape3d(VertIn, R, G, B), shape3d(VertOut, R, G, B)) :-
        list.append(VertIn, [vertex(X, Y, Z, U, V)|[]], VertOut)
    )
].

:- instance vertex(vertex2d) where [
    x(V) = V ^ x2,
    y(V) = V ^ y2,
    z(_) = 0.0,
    u(V) = V ^ u2,
    v(V) = V ^ v2
].

:- instance vertex(vertex3d) where [
    x(V) = V ^ x3,
    y(V) = V ^ y3,
    z(V) = V ^ z3,
    u(V) = V ^ u3,
    v(V) = V ^ v3
].