From 9281602a7d119920735e1c786df462ca000d4ab2 Mon Sep 17 00:00:00 2001 From: Jack Fox Date: Wed, 15 Nov 2017 17:04:46 -0800 Subject: [PATCH] change namespace --- RELEASE_NOTES.md | 3 + docs/index.html | 2 +- ...tor-3.html => dependenttypes-cctor-3.html} | 10 +- ...ml => dependenttypes-dependenttype-4.html} | 38 ++++---- ...tml => dependenttypes-dependenttypes.html} | 2 +- ...tml => dependenttypes-limitedvalue-3.html} | 34 +++---- ...2.html => dependenttypes-validator-2.html} | 10 +- docs/reference/index.html | 96 +++++++++---------- docs/reference/jackfoxy-domainlib-digits.html | 4 +- .../reference/jackfoxy-domainlib-digits2.html | 4 +- .../reference/jackfoxy-domainlib-digits3.html | 4 +- .../reference/jackfoxy-domainlib-digits4.html | 4 +- ...y-domainlib-digitsdef-digitsvalidator.html | 4 +- ...kfoxy-domainlib-digitsdef-validdigits.html | 4 +- ...foxy-domainlib-digitsdef-validdigits2.html | 4 +- ...foxy-domainlib-digitsdef-validdigits3.html | 4 +- ...foxy-domainlib-digitsdef-validdigits4.html | 4 +- .../jackfoxy-domainlib-nonemptyset-1.html | 4 +- ...nonemptysetdef-nonemptysetvalidator-1.html | 4 +- ...lib-nonemptysetdef-validnonemptyset-1.html | 4 +- ...jackfoxy-domainlib-trimnonemptystring.html | 4 +- ...ainlib-trimnonemptystringdef-nonempty.html | 4 +- ...imnonemptystringdef-nonemptyvalidator.html | 4 +- .../jackfoxy-domainlib-upperlatin2.html | 4 +- .../jackfoxy-domainlib-upperlatin3.html | 4 +- ...lib-upperlatindef-upperlatinvalidator.html | 4 +- ...ainlib-upperlatindef-validupperlatin2.html | 4 +- ...ainlib-upperlatindef-validupperlatin3.html | 4 +- .../jackfoxy-domainlib-utcdatetime.html | 4 +- ...b-utcdatetimedef-utcdatetimevalidator.html | 4 +- ...inlib-utcdatetimedef-validutcdatetime.html | 4 +- docs/release-notes.html | 4 + docs/tutorial.html | 2 +- docsrc/content/index.fsx | 2 +- docsrc/content/tutorial.fsx | 2 +- src/DependentTypes/AssemblyInfo.fs | 8 +- src/DependentTypes/DependentTypes.fs | 2 +- src/DependentTypes/paket.template | 4 +- src/DependentTypesConsole/AssemblyInfo.fs | 8 +- .../DemoDependentType.fs | 2 +- src/DependentTypesConsole/DemoLimitedValue.fs | 2 +- src/DomainLib/AssemblyInfo.fs | 8 +- src/DomainLib/Domain.fs | 2 +- src/DomainLib/Domain.fsi | 2 +- tests/DependentTypes.Tests/DependentType.fs | 2 +- tests/DomainLib.Tests/DomainTypes.fs | 2 +- 46 files changed, 174 insertions(+), 165 deletions(-) rename docs/reference/{robkuz-dependenttypes-cctor-3.html => dependenttypes-cctor-3.html} (93%) rename docs/reference/{robkuz-dependenttypes-dependenttype-4.html => dependenttypes-dependenttype-4.html} (88%) rename docs/reference/{robkuz-dependenttypes-dependenttypes.html => dependenttypes-dependenttypes.html} (99%) rename docs/reference/{robkuz-dependenttypes-limitedvalue-3.html => dependenttypes-limitedvalue-3.html} (88%) rename docs/reference/{robkuz-dependenttypes-validator-2.html => dependenttypes-validator-2.html} (93%) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 69ad9e7..0d49747 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -1,3 +1,6 @@ +#### 0.0.3 - November 15, 2017 +* change namespace to DependentTypes + #### 0.0.2 - November 14, 2017 * standardize on verb "Create" instead of "Parse" * Create overrides for LimitedValue diff --git a/docs/index.html b/docs/index.html index d16325b..c3b8b0f 100644 --- a/docs/index.html +++ b/docs/index.html @@ -81,7 +81,7 @@

DependentType 21: 22: -
open robkuz.DependentTypes
+
open DependentTypes
 
 module DigitsDef =
     let regex = new Regex("^[0-9]+$")
diff --git a/docs/reference/robkuz-dependenttypes-cctor-3.html b/docs/reference/dependenttypes-cctor-3.html
similarity index 93%
rename from docs/reference/robkuz-dependenttypes-cctor-3.html
rename to docs/reference/dependenttypes-cctor-3.html
index 5a4c3bb..39eee65 100644
--- a/docs/reference/robkuz-dependenttypes-cctor-3.html
+++ b/docs/reference/dependenttypes-cctor-3.html
@@ -37,7 +37,7 @@ 

DependentTypes

Cctor<'Config, 'T, 'T2>

- Namespace: robkuz.DependentTypes
+ Namespace: DependentTypes

@@ -50,10 +50,10 @@

Constructors

- + new(config, vfn) -
+
Signature: (config:'Config * vfn:('Config -> 'T -> Option<'T2>)) -> Cctor<'Config,'T,'T2>
@@ -77,10 +77,10 @@

Instance members

- + TryCreate(x) -
+
Signature: x:'T -> Option<'T2>
diff --git a/docs/reference/robkuz-dependenttypes-dependenttype-4.html b/docs/reference/dependenttypes-dependenttype-4.html similarity index 88% rename from docs/reference/robkuz-dependenttypes-dependenttype-4.html rename to docs/reference/dependenttypes-dependenttype-4.html index bb3b4c8..4f2c5cd 100644 --- a/docs/reference/robkuz-dependenttypes-dependenttype-4.html +++ b/docs/reference/dependenttypes-dependenttype-4.html @@ -37,7 +37,7 @@

DependentTypes

DependentType<'Cctor, 'Config, 'T, 'T2>

- Namespace: robkuz.DependentTypes
+ Namespace: DependentTypes

@@ -50,10 +50,10 @@

Union Cases

- + DependentType('T2) -
+
Signature: 'T2
@@ -76,10 +76,10 @@

Instance members

- + Value -
+
Signature: 'T2
@@ -103,10 +103,10 @@

Static members

- + ConvertTo(x) -
+
Signature: x:DependentType<'x,'y,'q,^r> -> Option<DependentType<'a,'b,^r,'s>>
Type parameters: 'a, 'b, 's
@@ -121,10 +121,10 @@

Static members

- + Create(xs) -
+
Signature: (xs:'T list) -> DependentType<'Cctor,'Config,'T,'T2> list
@@ -139,10 +139,10 @@

Static members

- + Create(xs) -
+
Signature: xs:seq<'T> -> seq<DependentType<'Cctor,'Config,'T,'T2>>
@@ -157,10 +157,10 @@

Static members

- + Create(x) -
+
Signature: x:'T -> DependentType<'Cctor,'Config,'T,'T2>
@@ -175,10 +175,10 @@

Static members

- + Extract(x) -
+
Signature: x:DependentType<'Cctor,'Config,'T,'T2> -> 'T2
@@ -193,10 +193,10 @@

Static members

- + TryCreate(x) -
+
Signature: (x:'T option) -> Option<DependentType<'Cctor,'Config,'T,'T2>>
@@ -211,10 +211,10 @@

Static members

- + TryCreate(x) -
+
Signature: x:'T -> Option<DependentType<'Cctor,'Config,'T,'T2>>
diff --git a/docs/reference/robkuz-dependenttypes-dependenttypes.html b/docs/reference/dependenttypes-dependenttypes.html similarity index 99% rename from docs/reference/robkuz-dependenttypes-dependenttypes.html rename to docs/reference/dependenttypes-dependenttypes.html index ee021cb..c00d8cd 100644 --- a/docs/reference/robkuz-dependenttypes-dependenttypes.html +++ b/docs/reference/dependenttypes-dependenttypes.html @@ -37,7 +37,7 @@

DependentTypes

DependentTypes

- Namespace: robkuz.DependentTypes
+ Namespace: DependentTypes

diff --git a/docs/reference/robkuz-dependenttypes-limitedvalue-3.html b/docs/reference/dependenttypes-limitedvalue-3.html similarity index 88% rename from docs/reference/robkuz-dependenttypes-limitedvalue-3.html rename to docs/reference/dependenttypes-limitedvalue-3.html index d41ba00..d7402bf 100644 --- a/docs/reference/robkuz-dependenttypes-limitedvalue-3.html +++ b/docs/reference/dependenttypes-limitedvalue-3.html @@ -37,7 +37,7 @@

DependentTypes

LimitedValue<'Validator, 'Config, 'T>

- Namespace: robkuz.DependentTypes
+ Namespace: DependentTypes

@@ -50,10 +50,10 @@

Union Cases

- + DependentType('T) -
+
Signature: 'T
@@ -76,10 +76,10 @@

Instance members

- + Value -
+
Signature: 'T
@@ -103,10 +103,10 @@

Static members

- + ConvertTo(x) -
+
Signature: x:LimitedValue<'x,'y,^q> -> Option<LimitedValue<'a,'b,^q>>
Type parameters: 'a, 'b
@@ -121,10 +121,10 @@

Static members

- + Create(xs) -
+
Signature: (xs:'T list) -> LimitedValue<'Validator,'Config,'T> list
@@ -139,10 +139,10 @@

Static members

- + Create(xs) -
+
Signature: xs:seq<'T> -> seq<LimitedValue<'Validator,'Config,'T>>
@@ -157,10 +157,10 @@

Static members

- + Create(x) -
+
Signature: x:'T -> LimitedValue<'Validator,'Config,'T>
@@ -175,10 +175,10 @@

Static members

- + Extract(x) -
+
Signature: x:LimitedValue<'Validator,'Config,'T> -> 'T
@@ -193,10 +193,10 @@

Static members

- + TryCreate(x) -
+
Signature: x:'T -> Option<LimitedValue<'Validator,'Config,'T>>
diff --git a/docs/reference/robkuz-dependenttypes-validator-2.html b/docs/reference/dependenttypes-validator-2.html similarity index 93% rename from docs/reference/robkuz-dependenttypes-validator-2.html rename to docs/reference/dependenttypes-validator-2.html index 2d649f5..4d4004e 100644 --- a/docs/reference/robkuz-dependenttypes-validator-2.html +++ b/docs/reference/dependenttypes-validator-2.html @@ -37,7 +37,7 @@

DependentTypes

Validator<'Config, 'T>

- Namespace: robkuz.DependentTypes
+ Namespace: DependentTypes

@@ -50,10 +50,10 @@

Constructors

- + new(config, vfn) -
+
Signature: (config:'Config * vfn:('Config -> 'T -> Option<'T>)) -> Validator<'Config,'T>
@@ -77,10 +77,10 @@

Instance members

- + Validate(x) -
+
Signature: x:'T -> Option<'T>
diff --git a/docs/reference/index.html b/docs/reference/index.html index b2da030..dd5aa3a 100644 --- a/docs/reference/index.html +++ b/docs/reference/index.html @@ -36,6 +36,54 @@

DependentTypes

DependentTypes

+

DependentTypes Namespace

+
+ + + + + + + + + + + + + + + + + + + + + + +
TypeDescription
+ Cctor<'Config, 'T, 'T2> +
+ DependentType<'Cctor, 'Config, 'T, 'T2> +
+ LimitedValue<'Validator, 'Config, 'T> +
+ Validator<'Config, 'T> +
+ + + + + + + + + + +
ModuleDescription
+ DependentTypes +
+ +

Jackfoxy.DomainLib Namespace

@@ -139,54 +187,6 @@

Jackfoxy.DomainLib Namespace

-
-

robkuz.DependentTypes Namespace

-
- - - - - - - - - - - - - - - - - - - - - - -
TypeDescription
- Cctor<'Config, 'T, 'T2> -
- DependentType<'Cctor, 'Config, 'T, 'T2> -
- LimitedValue<'Validator, 'Config, 'T> -
- Validator<'Config, 'T> -
- - - - - - - - - - -
ModuleDescription
- DependentTypes -
-
diff --git a/docs/reference/jackfoxy-domainlib-digits.html b/docs/reference/jackfoxy-domainlib-digits.html index 739b63f..3125c91 100644 --- a/docs/reference/jackfoxy-domainlib-digits.html +++ b/docs/reference/jackfoxy-domainlib-digits.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: string
diff --git a/docs/reference/jackfoxy-domainlib-digits2.html b/docs/reference/jackfoxy-domainlib-digits2.html index 67e5092..2fea745 100644 --- a/docs/reference/jackfoxy-domainlib-digits2.html +++ b/docs/reference/jackfoxy-domainlib-digits2.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: string
diff --git a/docs/reference/jackfoxy-domainlib-digits3.html b/docs/reference/jackfoxy-domainlib-digits3.html index 7ac7ef9..c0ad000 100644 --- a/docs/reference/jackfoxy-domainlib-digits3.html +++ b/docs/reference/jackfoxy-domainlib-digits3.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: string
diff --git a/docs/reference/jackfoxy-domainlib-digits4.html b/docs/reference/jackfoxy-domainlib-digits4.html index 0c995ba..d2cbb7c 100644 --- a/docs/reference/jackfoxy-domainlib-digits4.html +++ b/docs/reference/jackfoxy-domainlib-digits4.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: string
diff --git a/docs/reference/jackfoxy-domainlib-digitsdef-digitsvalidator.html b/docs/reference/jackfoxy-domainlib-digitsdef-digitsvalidator.html index a0177c9..30c442d 100644 --- a/docs/reference/jackfoxy-domainlib-digitsdef-digitsvalidator.html +++ b/docs/reference/jackfoxy-domainlib-digitsdef-digitsvalidator.html @@ -51,10 +51,10 @@

Constructors

- + new(config) -
+
Signature: config:int -> DigitsValidator
diff --git a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits.html b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits.html index 933956f..fc5e3dd 100644 --- a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits.html +++ b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidDigits
diff --git a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits2.html b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits2.html index 04f6645..bc57a38 100644 --- a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits2.html +++ b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits2.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidDigits2
diff --git a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits3.html b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits3.html index 52639a7..9bc6eee 100644 --- a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits3.html +++ b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits3.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidDigits3
diff --git a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits4.html b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits4.html index 5d5b3d9..8f641a0 100644 --- a/docs/reference/jackfoxy-domainlib-digitsdef-validdigits4.html +++ b/docs/reference/jackfoxy-domainlib-digitsdef-validdigits4.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidDigits4
diff --git a/docs/reference/jackfoxy-domainlib-nonemptyset-1.html b/docs/reference/jackfoxy-domainlib-nonemptyset-1.html index b360256..115182d 100644 --- a/docs/reference/jackfoxy-domainlib-nonemptyset-1.html +++ b/docs/reference/jackfoxy-domainlib-nonemptyset-1.html @@ -52,10 +52,10 @@

Instance members

- + Value -
+
Signature: Set<'T>
diff --git a/docs/reference/jackfoxy-domainlib-nonemptysetdef-nonemptysetvalidator-1.html b/docs/reference/jackfoxy-domainlib-nonemptysetdef-nonemptysetvalidator-1.html index f828758..d3dff31 100644 --- a/docs/reference/jackfoxy-domainlib-nonemptysetdef-nonemptysetvalidator-1.html +++ b/docs/reference/jackfoxy-domainlib-nonemptysetdef-nonemptysetvalidator-1.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> NonEmptySetValidator<'T>
diff --git a/docs/reference/jackfoxy-domainlib-nonemptysetdef-validnonemptyset-1.html b/docs/reference/jackfoxy-domainlib-nonemptysetdef-validnonemptyset-1.html index 91fd26b..c2ddb0f 100644 --- a/docs/reference/jackfoxy-domainlib-nonemptysetdef-validnonemptyset-1.html +++ b/docs/reference/jackfoxy-domainlib-nonemptysetdef-validnonemptyset-1.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidNonEmptySet<'T>
diff --git a/docs/reference/jackfoxy-domainlib-trimnonemptystring.html b/docs/reference/jackfoxy-domainlib-trimnonemptystring.html index b812a73..29e2b3d 100644 --- a/docs/reference/jackfoxy-domainlib-trimnonemptystring.html +++ b/docs/reference/jackfoxy-domainlib-trimnonemptystring.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: string
diff --git a/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonempty.html b/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonempty.html index 882b024..55b7569 100644 --- a/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonempty.html +++ b/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonempty.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> NonEmpty
diff --git a/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonemptyvalidator.html b/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonemptyvalidator.html index 3ea0f65..08cb8e5 100644 --- a/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonemptyvalidator.html +++ b/docs/reference/jackfoxy-domainlib-trimnonemptystringdef-nonemptyvalidator.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> NonEmptyValidator
diff --git a/docs/reference/jackfoxy-domainlib-upperlatin2.html b/docs/reference/jackfoxy-domainlib-upperlatin2.html index 0747010..67ea8be 100644 --- a/docs/reference/jackfoxy-domainlib-upperlatin2.html +++ b/docs/reference/jackfoxy-domainlib-upperlatin2.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: string
diff --git a/docs/reference/jackfoxy-domainlib-upperlatin3.html b/docs/reference/jackfoxy-domainlib-upperlatin3.html index 322a1e8..8a37847 100644 --- a/docs/reference/jackfoxy-domainlib-upperlatin3.html +++ b/docs/reference/jackfoxy-domainlib-upperlatin3.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: string
diff --git a/docs/reference/jackfoxy-domainlib-upperlatindef-upperlatinvalidator.html b/docs/reference/jackfoxy-domainlib-upperlatindef-upperlatinvalidator.html index c449d79..95a2fb6 100644 --- a/docs/reference/jackfoxy-domainlib-upperlatindef-upperlatinvalidator.html +++ b/docs/reference/jackfoxy-domainlib-upperlatindef-upperlatinvalidator.html @@ -51,10 +51,10 @@

Constructors

- + new(config) -
+
Signature: config:int -> UpperLatinValidator
diff --git a/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin2.html b/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin2.html index e19b5a2..6719280 100644 --- a/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin2.html +++ b/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin2.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidUpperLatin2
diff --git a/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin3.html b/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin3.html index f83d38a..72103c2 100644 --- a/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin3.html +++ b/docs/reference/jackfoxy-domainlib-upperlatindef-validupperlatin3.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidUpperLatin3
diff --git a/docs/reference/jackfoxy-domainlib-utcdatetime.html b/docs/reference/jackfoxy-domainlib-utcdatetime.html index 1241570..c1546ce 100644 --- a/docs/reference/jackfoxy-domainlib-utcdatetime.html +++ b/docs/reference/jackfoxy-domainlib-utcdatetime.html @@ -50,10 +50,10 @@

Instance members

- + Value -
+
Signature: DateTime
diff --git a/docs/reference/jackfoxy-domainlib-utcdatetimedef-utcdatetimevalidator.html b/docs/reference/jackfoxy-domainlib-utcdatetimedef-utcdatetimevalidator.html index f231746..0775899 100644 --- a/docs/reference/jackfoxy-domainlib-utcdatetimedef-utcdatetimevalidator.html +++ b/docs/reference/jackfoxy-domainlib-utcdatetimedef-utcdatetimevalidator.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> UtcDateTimeValidator
diff --git a/docs/reference/jackfoxy-domainlib-utcdatetimedef-validutcdatetime.html b/docs/reference/jackfoxy-domainlib-utcdatetimedef-validutcdatetime.html index 7eccc1d..fd26b01 100644 --- a/docs/reference/jackfoxy-domainlib-utcdatetimedef-validutcdatetime.html +++ b/docs/reference/jackfoxy-domainlib-utcdatetimedef-validutcdatetime.html @@ -51,10 +51,10 @@

Constructors

- + new() -
+
Signature: unit -> ValidUtcDateTime
diff --git a/docs/release-notes.html b/docs/release-notes.html index 6c53004..5868dda 100644 --- a/docs/release-notes.html +++ b/docs/release-notes.html @@ -32,6 +32,10 @@

DependentTypes

+

0.0.3 - November 15, 2017

+
    +
  • change namespace to DependentTypes
  • +

0.0.2 - November 14, 2017

  • standardize on verb "Create" instead of "Parse"
  • diff --git a/docs/tutorial.html b/docs/tutorial.html index 63a824a..89f8301 100644 --- a/docs/tutorial.html +++ b/docs/tutorial.html @@ -57,7 +57,7 @@

    16: 17:

-
open robkuz.DependentTypes
+
open DependentTypes
 open DependentTypes
 open System
 
diff --git a/docsrc/content/index.fsx b/docsrc/content/index.fsx
index e7f16c4..8cbe7c3 100644
--- a/docsrc/content/index.fsx
+++ b/docsrc/content/index.fsx
@@ -45,7 +45,7 @@ which in turn requires a function ````'Config -> 'T1 -> 'T2 option```` that vali
 
 In practice the whole construction looks like this:
 *)
-open robkuz.DependentTypes
+open DependentTypes
 
 module DigitsDef =
     let regex = new Regex("^[0-9]+$")
diff --git a/docsrc/content/tutorial.fsx b/docsrc/content/tutorial.fsx
index fbfae95..f07ba15 100644
--- a/docsrc/content/tutorial.fsx
+++ b/docsrc/content/tutorial.fsx
@@ -15,7 +15,7 @@ dependent types.
 The ````module```` is for code formatting purposes. Otherwise it serves no functional purpose. This is an example of passing ````unit````
 as the ````config````.
 *)
-open robkuz.DependentTypes
+open DependentTypes
 open DependentTypes
 open System
 
diff --git a/src/DependentTypes/AssemblyInfo.fs b/src/DependentTypes/AssemblyInfo.fs
index 5a5c48a..a8d0751 100644
--- a/src/DependentTypes/AssemblyInfo.fs
+++ b/src/DependentTypes/AssemblyInfo.fs
@@ -5,8 +5,8 @@ open System.Reflection
 []
 []
 []
-[]
-[]
+[]
+[]
 []
 do ()
 
@@ -14,6 +14,6 @@ module internal AssemblyVersionInformation =
     let [] AssemblyTitle = "DependentTypes"
     let [] AssemblyProduct = "DependentTypes"
     let [] AssemblyDescription = "F# DependentTypes"
-    let [] AssemblyVersion = "0.0.2"
-    let [] AssemblyFileVersion = "0.0.2"
+    let [] AssemblyVersion = "0.0.3"
+    let [] AssemblyFileVersion = "0.0.3"
     let [] AssemblyConfiguration = "Release"
diff --git a/src/DependentTypes/DependentTypes.fs b/src/DependentTypes/DependentTypes.fs
index 9672180..8fc90e4 100644
--- a/src/DependentTypes/DependentTypes.fs
+++ b/src/DependentTypes/DependentTypes.fs
@@ -1,4 +1,4 @@
-namespace robkuz.DependentTypes
+namespace DependentTypes
 
 module DependentTypes =
     let inline mkDependentType (x: ^S) : Option< ^T> = 
diff --git a/src/DependentTypes/paket.template b/src/DependentTypes/paket.template
index 21fca6d..cb87ae3 100644
--- a/src/DependentTypes/paket.template
+++ b/src/DependentTypes/paket.template
@@ -6,13 +6,15 @@ owners
 authors 
     Robert Kuzelj, Jack Fox
 projectUrl
-    https://github.com/jackfoxy/DependentTypes
+    https://jackfoxy.github.io/DependentTypes/
 iconUrl
     https://raw.githubusercontent.com/jackfoxy/DependentTypes/master/docs/files/img/logo.png
 licenseUrl
     https://github.com/jackfoxy/DependentTypes/blob/master/LICENSE.txt
 requireLicenseAcceptance
     false
+language
+    F#
 copyright
     Copyright 2017
 tags
diff --git a/src/DependentTypesConsole/AssemblyInfo.fs b/src/DependentTypesConsole/AssemblyInfo.fs
index af7a907..e709815 100644
--- a/src/DependentTypesConsole/AssemblyInfo.fs
+++ b/src/DependentTypesConsole/AssemblyInfo.fs
@@ -5,8 +5,8 @@ open System.Reflection
 []
 []
 []
-[]
-[]
+[]
+[]
 []
 do ()
 
@@ -14,6 +14,6 @@ module internal AssemblyVersionInformation =
     let [] AssemblyTitle = "DependentTypesConsole"
     let [] AssemblyProduct = "DependentTypes"
     let [] AssemblyDescription = "F# DependentTypes"
-    let [] AssemblyVersion = "0.0.2"
-    let [] AssemblyFileVersion = "0.0.2"
+    let [] AssemblyVersion = "0.0.3"
+    let [] AssemblyFileVersion = "0.0.3"
     let [] AssemblyConfiguration = "Release"
diff --git a/src/DependentTypesConsole/DemoDependentType.fs b/src/DependentTypesConsole/DemoDependentType.fs
index 5744da3..2c2f307 100644
--- a/src/DependentTypesConsole/DemoDependentType.fs
+++ b/src/DependentTypesConsole/DemoDependentType.fs
@@ -1,6 +1,6 @@
 module DemoDependentType
 
-open robkuz.DependentTypes
+open DependentTypes
 open DependentTypes
 open System
 
diff --git a/src/DependentTypesConsole/DemoLimitedValue.fs b/src/DependentTypesConsole/DemoLimitedValue.fs
index 5392a13..d0f02d1 100644
--- a/src/DependentTypesConsole/DemoLimitedValue.fs
+++ b/src/DependentTypesConsole/DemoLimitedValue.fs
@@ -1,6 +1,6 @@
 module DemoLimitedValue
 
-open robkuz.DependentTypes
+open DependentTypes
 open DependentTypes
 open System
 
diff --git a/src/DomainLib/AssemblyInfo.fs b/src/DomainLib/AssemblyInfo.fs
index 2bc951f..f37396a 100644
--- a/src/DomainLib/AssemblyInfo.fs
+++ b/src/DomainLib/AssemblyInfo.fs
@@ -5,8 +5,8 @@ open System.Reflection
 []
 []
 []
-[]
-[]
+[]
+[]
 []
 do ()
 
@@ -14,6 +14,6 @@ module internal AssemblyVersionInformation =
     let [] AssemblyTitle = "DomainLib"
     let [] AssemblyProduct = "DependentTypes"
     let [] AssemblyDescription = "F# DependentTypes"
-    let [] AssemblyVersion = "0.0.2"
-    let [] AssemblyFileVersion = "0.0.2"
+    let [] AssemblyVersion = "0.0.3"
+    let [] AssemblyFileVersion = "0.0.3"
     let [] AssemblyConfiguration = "Release"
diff --git a/src/DomainLib/Domain.fs b/src/DomainLib/Domain.fs
index 6ade1e7..62c87e1 100644
--- a/src/DomainLib/Domain.fs
+++ b/src/DomainLib/Domain.fs
@@ -1,6 +1,6 @@
 namespace Jackfoxy.DomainLib
 
-open robkuz.DependentTypes
+open DependentTypes
 open System
 open System.Text.RegularExpressions
 
diff --git a/src/DomainLib/Domain.fsi b/src/DomainLib/Domain.fsi
index 0633a40..6800bd9 100644
--- a/src/DomainLib/Domain.fsi
+++ b/src/DomainLib/Domain.fsi
@@ -1,6 +1,6 @@
 namespace Jackfoxy.DomainLib
 
-open robkuz.DependentTypes
+open DependentTypes
 open System 
 open System.Collections.Generic
 
diff --git a/tests/DependentTypes.Tests/DependentType.fs b/tests/DependentTypes.Tests/DependentType.fs
index 3c6dbdf..f0b0821 100644
--- a/tests/DependentTypes.Tests/DependentType.fs
+++ b/tests/DependentTypes.Tests/DependentType.fs
@@ -1,6 +1,6 @@
 namespace DependentTypes.Tests
 
-open robkuz.DependentTypes
+open DependentTypes
 open Expecto
 open FsCheck
 
diff --git a/tests/DomainLib.Tests/DomainTypes.fs b/tests/DomainLib.Tests/DomainTypes.fs
index 8f74336..2491aba 100644
--- a/tests/DomainLib.Tests/DomainTypes.fs
+++ b/tests/DomainLib.Tests/DomainTypes.fs
@@ -1,6 +1,6 @@
 namespace DomainLib.Tests
 
-open robkuz.DependentTypes
+open DependentTypes
 open Jackfoxy.DomainLib
 open DomainGeneratorsCode
 open Expecto