-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathValue.php
More file actions
32 lines (25 loc) · 804 Bytes
/
Value.php
File metadata and controls
32 lines (25 loc) · 804 Bytes
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
<meta charset='utf-8'/>
<meta name="viewport" content="width=device-width, initial-scale=0.6">
<html>
<head>
<title>Value - Plange</title>
<link rel=StyleSheet href='../../css/general.css' type='text/css' />
</head>
<body>
<?php require('../../header.php') ?>
<p>a non-polymorphic abstraction for manipulating values as first class object</p>
<div class="code2">
<p>Outline</p>
<pre>
Value := type {
<List<Relation>> typeConstraints;
<Maybe<Type*>> T;
<List<Relation>> constraints;
<Maybe<Pointer<Any>>> value;
}
</pre>
</div>
<p>See: <a href="../keywords/box.php">box (keyword)</a></p>
<?php require('../../footer.php') ?>
</body>
</html>