File tree Expand file tree Collapse file tree 1 file changed +31
-0
lines changed
dhall/tests/to-directory-tree Expand file tree Collapse file tree 1 file changed +31
-0
lines changed Original file line number Diff line number Diff line change
1
+ let User = < UserId : Natural | UserName : Text >
2
+
3
+ let Group = < GroupId : Natural | GroupName : Text >
4
+
5
+ let Access =
6
+ { execute : Optional Bool , read : Optional Bool , write : Optional Bool }
7
+
8
+ let Mode =
9
+ { user : Optional Access
10
+ , group : Optional Access
11
+ , other : Optional Access
12
+ }
13
+
14
+ let Entry =
15
+ \ (content : Type ) ->
16
+ { name : Text
17
+ , content : content
18
+ , user : Optional User
19
+ , group : Optional Group
20
+ , mode : Optional Mode
21
+ }
22
+
23
+ in forall (result : Type ) ->
24
+ let DirectoryEntry = Entry (List result)
25
+
26
+ let FileEntry = Entry Text
27
+
28
+ let Make =
29
+ { directory : DirectoryEntry -> result, file : FileEntry -> result }
30
+
31
+ in forall (make : Make ) -> List result
You can’t perform that action at this time.
0 commit comments