summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
l---------config.hs2
-rw-r--r--doc/forum/Git_repo_updating/comment_2_d83a481b0a82ed1ad5446010c6b88485._comment8
-rw-r--r--doc/todo/HostingProvider_for_AWS/comment_2_bc4fdd34c10aa3d3846818baf7b07dc7._comment8
-rw-r--r--doc/todo/HostingProvider_for_AWS/comment_3_062f85b8358930759b498b613c5599cd._comment10
-rw-r--r--doc/todo/HostingProvider_for_AWS/comment_4_7fb00a5629b390c658fcf3569d49d2c2._comment8
-rw-r--r--doc/todo/type_level_OS_requirements/comment_2_5a1c0c54db25b039eda28e213e1e6263._comment43
-rw-r--r--doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment8
-rw-r--r--doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment12
-rw-r--r--privdata/relocate1
9 files changed, 98 insertions, 2 deletions
diff --git a/config.hs b/config.hs
index 97d90636..ec313725 120000
--- a/config.hs
+++ b/config.hs
@@ -1 +1 @@
-joeyconfig.hs \ No newline at end of file
+config-simple.hs \ No newline at end of file
diff --git a/doc/forum/Git_repo_updating/comment_2_d83a481b0a82ed1ad5446010c6b88485._comment b/doc/forum/Git_repo_updating/comment_2_d83a481b0a82ed1ad5446010c6b88485._comment
new file mode 100644
index 00000000..34c93aa9
--- /dev/null
+++ b/doc/forum/Git_repo_updating/comment_2_d83a481b0a82ed1ad5446010c6b88485._comment
@@ -0,0 +1,8 @@
+[[!comment format=mdwn
+ username="mithrandi@311efa1b2b5c4999c2edae7da06fb825899e8a82"
+ nickname="mithrandi"
+ subject="comment 2"
+ date="2016-03-08T02:52:40Z"
+ content="""
+In the end, I took the approach of making the thing that used the git repo update it before using it (since the use case was amenable to such a thing).
+"""]]
diff --git a/doc/todo/HostingProvider_for_AWS/comment_2_bc4fdd34c10aa3d3846818baf7b07dc7._comment b/doc/todo/HostingProvider_for_AWS/comment_2_bc4fdd34c10aa3d3846818baf7b07dc7._comment
new file mode 100644
index 00000000..38037bbe
--- /dev/null
+++ b/doc/todo/HostingProvider_for_AWS/comment_2_bc4fdd34c10aa3d3846818baf7b07dc7._comment
@@ -0,0 +1,8 @@
+[[!comment format=mdwn
+ username="evan@0e4cded17eab71af967a38b123fbc211cf215421"
+ nickname="evan"
+ subject="AWS Instances"
+ date="2016-03-08T02:53:16Z"
+ content="""
+It just so happens I have a use case for this, and it'll also involve specifics for VPCs, Encryption at Rest, public vs private subnets, and a whole lot of other compliance stuff that would be great to be able to express as properties. I'll start in on something probably shortly. It's either that or try and make Chef compliant, and that's literally completely unappealing.
+"""]]
diff --git a/doc/todo/HostingProvider_for_AWS/comment_3_062f85b8358930759b498b613c5599cd._comment b/doc/todo/HostingProvider_for_AWS/comment_3_062f85b8358930759b498b613c5599cd._comment
new file mode 100644
index 00000000..db7bc2f0
--- /dev/null
+++ b/doc/todo/HostingProvider_for_AWS/comment_3_062f85b8358930759b498b613c5599cd._comment
@@ -0,0 +1,10 @@
+[[!comment format=mdwn
+ username="evan@0e4cded17eab71af967a38b123fbc211cf215421"
+ nickname="evan"
+ subject="Container Service"
+ date="2016-03-08T02:54:27Z"
+ content="""
+I forgot to mention that as well. Scheduling Docker containers with the container service on dedicated instances with AWS.
+
+I have needs, and a lot of stubbornness.
+"""]]
diff --git a/doc/todo/HostingProvider_for_AWS/comment_4_7fb00a5629b390c658fcf3569d49d2c2._comment b/doc/todo/HostingProvider_for_AWS/comment_4_7fb00a5629b390c658fcf3569d49d2c2._comment
new file mode 100644
index 00000000..1a37a08c
--- /dev/null
+++ b/doc/todo/HostingProvider_for_AWS/comment_4_7fb00a5629b390c658fcf3569d49d2c2._comment
@@ -0,0 +1,8 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 4"""
+ date="2016-03-08T03:40:07Z"
+ content="""
+Well Evan, I know you already have been in the guts of the spin code, so I
+know you can manage it! Looking forward to this.
+"""]]
diff --git a/doc/todo/type_level_OS_requirements/comment_2_5a1c0c54db25b039eda28e213e1e6263._comment b/doc/todo/type_level_OS_requirements/comment_2_5a1c0c54db25b039eda28e213e1e6263._comment
new file mode 100644
index 00000000..27aaf0cd
--- /dev/null
+++ b/doc/todo/type_level_OS_requirements/comment_2_5a1c0c54db25b039eda28e213e1e6263._comment
@@ -0,0 +1,43 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 2"""
+ date="2016-03-08T18:44:25Z"
+ content="""
+I've made a typed-os-requirements branch that has type-level
+OS lists implemented.
+
+For example:
+
+ *Propellor.Types.OS.TypeLevel> let l = (debian `combineSupportedOS` freeBSD ) `intersectSupportedOS` unixlike
+ *Propellor.Types.OS.TypeLevel> l
+ OSList [OSDebian,OSFreeBSD]
+ *Propellor.Types.OS.TypeLevel> :t l
+ l :: OSList
+ (IntersectOSList
+ '[] '['OSDebian, 'OSFreeBSD] '['OSDebian, 'OSBuntish, 'OSFreeBSD])
+
+What this is lacking is type-level equality for OSList.
+The complicated type above should be equivilant to `OSList '[OSDebian, OSFreeBSD]`
+
+So, this doesn't type check yet:
+
+ foo :: OSList '[OSDebian, OSFreeBSD]
+ foo = (debian `combineSupportedOS` freeBSD ) `intersectSupportedOS` unixlike
+
+ src/Propellor/Types/OS/Typelevel.hs:47:46:
+ Couldn't match expected type ‘IntersectOSList
+ '[]
+ '['OSDebian, 'OSFreeBSD]
+ '['OSDebian, 'OSBuntish, 'OSFreeBSD]’
+ with actual type ‘'['OSDebian, 'OSFreeBSD]’
+ In the expression:
+ (debian `combineSupportedOS` freeBSD)
+ `intersectSupportedOS` unixlike
+ In an equation for ‘foo’:
+ foo
+ = (debian `combineSupportedOS` freeBSD)
+ `intersectSupportedOS` unixlike
+
+Also, `intersectSupportedOS` should have an additional constraint,
+to prevent it from generating an empty type-level list.
+"""]]
diff --git a/doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment b/doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment
new file mode 100644
index 00000000..230eccab
--- /dev/null
+++ b/doc/todo/type_level_OS_requirements/comment_3_124ceb79eaa4eacc9636147dde4c262c._comment
@@ -0,0 +1,8 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 3"""
+ date="2016-03-08T21:06:08Z"
+ content="""
+Asked about what I'm stuck on:
+<http://stackoverflow.com/questions/35878018/how-to-write-an-intersection-function-for-type-level-lists>
+"""]]
diff --git a/doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment b/doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment
new file mode 100644
index 00000000..5db7b68b
--- /dev/null
+++ b/doc/todo/type_level_OS_requirements/comment_4_8d14bbbec4e219015a80f80bf6124181._comment
@@ -0,0 +1,12 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 4"""
+ date="2016-03-08T21:19:01Z"
+ content="""
+Ok, got intersectSupportedOS fixed.
+
+ *Propellor.Types.OS.TypeLevel> :t (intersectSupportedOS (combineSupportedOS freeBSD debian) debian)
+ (intersectSupportedOS (combineSupportedOS freeBSD debian) debian) :: OSList '['OSDebian]
+
+So, the type level OS lists are ready, on to the next step ... eventually ...
+"""]]
diff --git a/privdata/relocate b/privdata/relocate
deleted file mode 100644
index 271692d8..00000000
--- a/privdata/relocate
+++ /dev/null
@@ -1 +0,0 @@
-.joeyconfig