source: src/libcfa/containers/maybe @ 64fc0ba

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 64fc0ba was 64fc0ba, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Added maybe and result to libcfa makefiles and made some minor fixes

  • Property mode set to 100644
File size: 1023 bytes
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// maybe -- May contain a value.
8//
9// Author           : Andrew Beach
10// Created On       : Wed May 25 14:43:00 2017
11// Last Modified By : Andrew Beach
12// Last Modified On : Wed Apr 25 16:58:00 2017
13// Update Count     : 1
14//
15
16
17#ifndef MAYBE_H
18#define MAYBE_H
19
20#include <stdbool.h>
21
22// DO NOT USE DIRECTLY!
23forall(otype T)
24struct maybe {
25    bool has_value;
26    T value;
27};
28
29
30forall(otype T)
31void ?{}(maybe(T) * this);
32
33forall(otype T)
34void ?{}(maybe(T) * this, T value);
35
36forall(otype T)
37void ?{}(maybe(T) * this, maybe(T) other);
38
39forall(otype T)
40void ^?{}(maybe(T) * this);
41
42forall(otype T)
43bool ?!=?(maybe(T) this, zero_t);
44
45forall(otype T)
46maybe(T) maybe_value(T value);
47
48forall(otype T)
49maybe(T) maybe_none();
50
51forall(otype T)
52bool has_value(maybe(T) * this);
53
54forall(otype T)
55T get(maybe(T) * this);
56
57#endif // MAYBE_H
Note: See TracBrowser for help on using the repository browser.