├── .gitattributes
├── .gitignore
├── GangOfFour
    ├── Behavioral-Patterns
    │   ├── ChainOfResponsibility.fs
    │   ├── Command.fs
    │   ├── Interpreter.fs
    │   ├── Iterator.fs
    │   ├── Mediator.fs
    │   ├── Memento.fs
    │   ├── Observer.fs
    │   ├── State.fs
    │   ├── Strategy.fs
    │   ├── TemplateMethod.fs
    │   └── Vistor.fs
    ├── Creational-Patterns
    │   ├── AbstractFactory.fs
    │   ├── Builder.fs
    │   ├── FactoryMethod.fs
    │   ├── Prototype.fs
    │   └── Singleton.fs
    ├── GangOfFour.fsproj
    ├── GangOfFour.sln
    └── Structural-Patterns
    │   ├── Adapter.fs
    │   ├── Bridge.fs
    │   ├── Composite.fs
    │   ├── Decorator.fs
    │   ├── Facade.fs
    │   ├── Flyweight.fs
    │   └── Proxy.fs
├── README.md
└── ef-mvc
    ├── Controllers.fs
    ├── Data.fs
    ├── Models.fs
    ├── Program.fs
    ├── Properties
        └── launchSettings.json
    ├── Startup.fs
    ├── Tools.fs
    ├── ViewModels.fs
    ├── Views
        ├── Home
        │   ├── About.cshtml
        │   ├── Index.cshtml
        │   └── Privacy.cshtml
        ├── Shared
        │   ├── Error.cshtml
        │   ├── _Layout.cshtml
        │   └── _ValidationScriptsPartial.cshtml
        ├── Students
        │   ├── Create.cshtml
        │   ├── Delete.cshtml
        │   ├── Details.cshtml
        │   ├── Edit.cshtml
        │   └── Index.cshtml
        ├── _ViewImports.cshtml
        └── _ViewStart.cshtml
    ├── appsettings.Development.json
    ├── appsettings.json
    ├── database
        ├── .gitignore
        └── Readme.md
    ├── ef-mvc.fsproj
    ├── ef-mvc.sln
    └── wwwroot
        ├── css
            └── site.css
        ├── favicon.ico
        ├── js
            └── site.js
        └── lib
            ├── bootstrap
                ├── LICENSE
                └── dist
                │   ├── css
                │       ├── bootstrap-grid.css
                │       ├── bootstrap-grid.css.map
                │       ├── bootstrap-grid.min.css
                │       ├── bootstrap-grid.min.css.map
                │       ├── bootstrap-reboot.css
                │       ├── bootstrap-reboot.css.map
                │       ├── bootstrap-reboot.min.css
                │       ├── bootstrap-reboot.min.css.map
                │       ├── bootstrap.css
                │       ├── bootstrap.css.map
                │       ├── bootstrap.min.css
                │       └── bootstrap.min.css.map
                │   └── js
                │       ├── bootstrap.bundle.js
                │       ├── bootstrap.bundle.js.map
                │       ├── bootstrap.bundle.min.js
                │       ├── bootstrap.bundle.min.js.map
                │       ├── bootstrap.js
                │       ├── bootstrap.js.map
                │       ├── bootstrap.min.js
                │       └── bootstrap.min.js.map
            ├── jquery-validation-unobtrusive
                ├── LICENSE.txt
                ├── jquery.validate.unobtrusive.js
                └── jquery.validate.unobtrusive.min.js
            ├── jquery-validation
                ├── LICENSE.md
                └── dist
                │   ├── additional-methods.js
                │   ├── additional-methods.min.js
                │   ├── jquery.validate.js
                │   └── jquery.validate.min.js
            └── jquery
                ├── LICENSE.txt
                └── dist
                    ├── jquery.js
                    ├── jquery.min.js
                    └── jquery.min.map


/.gitattributes:
--------------------------------------------------------------------------------
1 | # Auto detect text files and perform LF normalization
2 | * text=auto
3 | 


--------------------------------------------------------------------------------
/.gitignore:
--------------------------------------------------------------------------------
  1 | ## Ignore Visual Studio temporary files, build results, and
  2 | ## files generated by popular Visual Studio add-ons.
  3 | ##
  4 | ## Get latest from https://github.com/github/gitignore/blob/master/VisualStudio.gitignore
  5 | 
  6 | # User-specific files
  7 | *.rsuser
  8 | *.suo
  9 | *.user
 10 | *.userosscache
 11 | *.sln.docstates
 12 | 
 13 | # User-specific files (MonoDevelop/Xamarin Studio)
 14 | *.userprefs
 15 | 
 16 | # Mono auto generated files
 17 | mono_crash.*
 18 | 
 19 | # Build results
 20 | [Dd]ebug/
 21 | [Dd]ebugPublic/
 22 | [Rr]elease/
 23 | [Rr]eleases/
 24 | x64/
 25 | x86/
 26 | [Ww][Ii][Nn]32/
 27 | [Aa][Rr][Mm]/
 28 | [Aa][Rr][Mm]64/
 29 | bld/
 30 | [Bb]in/
 31 | [Oo]bj/
 32 | [Ll]og/
 33 | [Ll]ogs/
 34 | 
 35 | # Visual Studio 2015/2017 cache/options directory
 36 | .vs/
 37 | # Uncomment if you have tasks that create the project's static files in wwwroot
 38 | #wwwroot/
 39 | 
 40 | # Visual Studio 2017 auto generated files
 41 | Generated\ Files/
 42 | 
 43 | # MSTest test Results
 44 | [Tt]est[Rr]esult*/
 45 | [Bb]uild[Ll]og.*
 46 | 
 47 | # NUnit
 48 | *.VisualState.xml
 49 | TestResult.xml
 50 | nunit-*.xml
 51 | 
 52 | # Build Results of an ATL Project
 53 | [Dd]ebugPS/
 54 | [Rr]eleasePS/
 55 | dlldata.c
 56 | 
 57 | # Benchmark Results
 58 | BenchmarkDotNet.Artifacts/
 59 | 
 60 | # .NET Core
 61 | project.lock.json
 62 | project.fragment.lock.json
 63 | artifacts/
 64 | 
 65 | # ASP.NET Scaffolding
 66 | ScaffoldingReadMe.txt
 67 | 
 68 | # StyleCop
 69 | StyleCopReport.xml
 70 | 
 71 | # Files built by Visual Studio
 72 | *_i.c
 73 | *_p.c
 74 | *_h.h
 75 | *.ilk
 76 | *.meta
 77 | *.obj
 78 | *.iobj
 79 | *.pch
 80 | *.pdb
 81 | *.ipdb
 82 | *.pgc
 83 | *.pgd
 84 | *.rsp
 85 | *.sbr
 86 | *.tlb
 87 | *.tli
 88 | *.tlh
 89 | *.tmp
 90 | *.tmp_proj
 91 | *_wpftmp.csproj
 92 | *.log
 93 | *.vspscc
 94 | *.vssscc
 95 | .builds
 96 | *.pidb
 97 | *.svclog
 98 | *.scc
 99 | 
100 | # Chutzpah Test files
101 | _Chutzpah*
102 | 
103 | # Visual C++ cache files
104 | ipch/
105 | *.aps
106 | *.ncb
107 | *.opendb
108 | *.opensdf
109 | *.sdf
110 | *.cachefile
111 | *.VC.db
112 | *.VC.VC.opendb
113 | 
114 | # Visual Studio profiler
115 | *.psess
116 | *.vsp
117 | *.vspx
118 | *.sap
119 | 
120 | # Visual Studio Trace Files
121 | *.e2e
122 | 
123 | # TFS 2012 Local Workspace
124 | $tf/
125 | 
126 | # Guidance Automation Toolkit
127 | *.gpState
128 | 
129 | # ReSharper is a .NET coding add-in
130 | _ReSharper*/
131 | *.[Rr]e[Ss]harper
132 | *.DotSettings.user
133 | 
134 | # TeamCity is a build add-in
135 | _TeamCity*
136 | 
137 | # DotCover is a Code Coverage Tool
138 | *.dotCover
139 | 
140 | # AxoCover is a Code Coverage Tool
141 | .axoCover/*
142 | !.axoCover/settings.json
143 | 
144 | # Coverlet is a free, cross platform Code Coverage Tool
145 | coverage*[.json, .xml, .info]
146 | 
147 | # Visual Studio code coverage results
148 | *.coverage
149 | *.coveragexml
150 | 
151 | # NCrunch
152 | _NCrunch_*
153 | .*crunch*.local.xml
154 | nCrunchTemp_*
155 | 
156 | # MightyMoose
157 | *.mm.*
158 | AutoTest.Net/
159 | 
160 | # Web workbench (sass)
161 | .sass-cache/
162 | 
163 | # Installshield output folder
164 | [Ee]xpress/
165 | 
166 | # DocProject is a documentation generator add-in
167 | DocProject/buildhelp/
168 | DocProject/Help/*.HxT
169 | DocProject/Help/*.HxC
170 | DocProject/Help/*.hhc
171 | DocProject/Help/*.hhk
172 | DocProject/Help/*.hhp
173 | DocProject/Help/Html2
174 | DocProject/Help/html
175 | 
176 | # Click-Once directory
177 | publish/
178 | 
179 | # Publish Web Output
180 | *.[Pp]ublish.xml
181 | *.azurePubxml
182 | # Note: Comment the next line if you want to checkin your web deploy settings,
183 | # but database connection strings (with potential passwords) will be unencrypted
184 | *.pubxml
185 | *.publishproj
186 | 
187 | # Microsoft Azure Web App publish settings. Comment the next line if you want to
188 | # checkin your Azure Web App publish settings, but sensitive information contained
189 | # in these scripts will be unencrypted
190 | PublishScripts/
191 | 
192 | # NuGet Packages
193 | *.nupkg
194 | # NuGet Symbol Packages
195 | *.snupkg
196 | # The packages folder can be ignored because of Package Restore
197 | **/[Pp]ackages/*
198 | # except build/, which is used as an MSBuild target.
199 | !**/[Pp]ackages/build/
200 | # Uncomment if necessary however generally it will be regenerated when needed
201 | #!**/[Pp]ackages/repositories.config
202 | # NuGet v3's project.json files produces more ignorable files
203 | *.nuget.props
204 | *.nuget.targets
205 | 
206 | # Microsoft Azure Build Output
207 | csx/
208 | *.build.csdef
209 | 
210 | # Microsoft Azure Emulator
211 | ecf/
212 | rcf/
213 | 
214 | # Windows Store app package directories and files
215 | AppPackages/
216 | BundleArtifacts/
217 | Package.StoreAssociation.xml
218 | _pkginfo.txt
219 | *.appx
220 | *.appxbundle
221 | *.appxupload
222 | 
223 | # Visual Studio cache files
224 | # files ending in .cache can be ignored
225 | *.[Cc]ache
226 | # but keep track of directories ending in .cache
227 | !?*.[Cc]ache/
228 | 
229 | # Others
230 | ClientBin/
231 | ~$*
232 | *~
233 | *.dbmdl
234 | *.dbproj.schemaview
235 | *.jfm
236 | *.pfx
237 | *.publishsettings
238 | orleans.codegen.cs
239 | 
240 | # Including strong name files can present a security risk
241 | # (https://github.com/github/gitignore/pull/2483#issue-259490424)
242 | #*.snk
243 | 
244 | # Since there are multiple workflows, uncomment next line to ignore bower_components
245 | # (https://github.com/github/gitignore/pull/1529#issuecomment-104372622)
246 | #bower_components/
247 | 
248 | # RIA/Silverlight projects
249 | Generated_Code/
250 | 
251 | # Backup & report files from converting an old project file
252 | # to a newer Visual Studio version. Backup files are not needed,
253 | # because we have git ;-)
254 | _UpgradeReport_Files/
255 | Backup*/
256 | UpgradeLog*.XML
257 | UpgradeLog*.htm
258 | ServiceFabricBackup/
259 | *.rptproj.bak
260 | 
261 | # SQL Server files
262 | *.mdf
263 | *.ldf
264 | *.ndf
265 | 
266 | # Business Intelligence projects
267 | *.rdl.data
268 | *.bim.layout
269 | *.bim_*.settings
270 | *.rptproj.rsuser
271 | *- [Bb]ackup.rdl
272 | *- [Bb]ackup ([0-9]).rdl
273 | *- [Bb]ackup ([0-9][0-9]).rdl
274 | 
275 | # Microsoft Fakes
276 | FakesAssemblies/
277 | 
278 | # GhostDoc plugin setting file
279 | *.GhostDoc.xml
280 | 
281 | # Node.js Tools for Visual Studio
282 | .ntvs_analysis.dat
283 | node_modules/
284 | 
285 | # Visual Studio 6 build log
286 | *.plg
287 | 
288 | # Visual Studio 6 workspace options file
289 | *.opt
290 | 
291 | # Visual Studio 6 auto-generated workspace file (contains which files were open etc.)
292 | *.vbw
293 | 
294 | # Visual Studio LightSwitch build output
295 | **/*.HTMLClient/GeneratedArtifacts
296 | **/*.DesktopClient/GeneratedArtifacts
297 | **/*.DesktopClient/ModelManifest.xml
298 | **/*.Server/GeneratedArtifacts
299 | **/*.Server/ModelManifest.xml
300 | _Pvt_Extensions
301 | 
302 | # Paket dependency manager
303 | .paket/paket.exe
304 | paket-files/
305 | 
306 | # FAKE - F# Make
307 | .fake/
308 | 
309 | # CodeRush personal settings
310 | .cr/personal
311 | 
312 | # Python Tools for Visual Studio (PTVS)
313 | __pycache__/
314 | *.pyc
315 | 
316 | # Cake - Uncomment if you are using it
317 | # tools/**
318 | # !tools/packages.config
319 | 
320 | # Tabs Studio
321 | *.tss
322 | 
323 | # Telerik's JustMock configuration file
324 | *.jmconfig
325 | 
326 | # BizTalk build output
327 | *.btp.cs
328 | *.btm.cs
329 | *.odx.cs
330 | *.xsd.cs
331 | 
332 | # OpenCover UI analysis results
333 | OpenCover/
334 | 
335 | # Azure Stream Analytics local run output
336 | ASALocalRun/
337 | 
338 | # MSBuild Binary and Structured Log
339 | *.binlog
340 | 
341 | # NVidia Nsight GPU debugger configuration file
342 | *.nvuser
343 | 
344 | # MFractors (Xamarin productivity tool) working folder
345 | .mfractor/
346 | 
347 | # Local History for Visual Studio
348 | .localhistory/
349 | 
350 | # BeatPulse healthcheck temp database
351 | healthchecksdb
352 | 
353 | # Backup folder for Package Reference Convert tool in Visual Studio 2017
354 | MigrationBackup/
355 | 
356 | # Ionide (cross platform F# VS Code tools) working folder
357 | .ionide/
358 | 
359 | # Fody - auto-generated XML schema
360 | FodyWeavers.xsd
361 | 
362 | # dumb mac file
363 | .DS_Store
364 | 


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/ChainOfResponsibility.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Chain of Responsability (page 223)
 3 |  *   
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | namespace GangOfFour.ChainOfResponsibility
12 | 
13 | ///Domain Code
14 | type Topic = NoHelp | TopicCategory of int
15 | 
16 | ///Chain of Responsibility
17 | [<AbstractClass>]
18 | type HelpHandler(?optSuccessor:HelpHandler, ?optTopic: Topic) =
19 |     let mutable topic = defaultArg optTopic NoHelp
20 |     let mutable successor = optSuccessor
21 |     member _.HasHelp with get () = match topic with NoHelp -> false | _ -> true
22 |     member _.SetHandler(s, t) =
23 |         successor <- Some s
24 |         topic <- t
25 |     abstract HandleHelp: unit -> unit
26 |     default _.HandleHelp () = successor |> Option.iter (fun s -> s.HandleHelp())
27 | 
28 | [<AbstractClass>]
29 | type Widget =
30 |     inherit HelpHandler
31 |     new (?optTopic: Topic) = 
32 |         { inherit HelpHandler(optTopic=defaultArg optTopic NoHelp) }
33 |     new (parent:Widget, ?optTopic: Topic) =
34 |         { inherit HelpHandler(parent, defaultArg optTopic NoHelp) }
35 | 
36 | type Button (d:Widget, ?optTopic: Topic) =
37 |     inherit Widget(d, defaultArg optTopic NoHelp)
38 |     override this.HandleHelp () =
39 |         if this.HasHelp then
40 |             () //offer help on the button here
41 |         else
42 |             base.HandleHelp()
43 | 
44 | type Dialog (h: HelpHandler, ?optTopic: Topic) as this=
45 |     inherit Widget(defaultArg optTopic NoHelp)
46 |     do 
47 |         this.SetHandler(h, defaultArg optTopic NoHelp)
48 |     override this.HandleHelp () =
49 |         if this.HasHelp then
50 |             () //offer help on the dialog here
51 |         else
52 |             base.HandleHelp()
53 | 
54 | type Application(topic:Topic) =
55 |     inherit HelpHandler(optTopic=topic)
56 |     override this.HandleHelp() =
57 |         () //offer list of help topics
58 | 
59 | ///Example Code
60 | module Example =
61 |     let main _ =
62 |         let printTopic = TopicCategory(1)
63 |         let paperOrientationTopic = TopicCategory(2)
64 |         let appTopic = TopicCategory(3)
65 | 
66 |         let app = Application(appTopic)
67 |         let dialog = Dialog(app, appTopic)
68 |         let button = Button(dialog, paperOrientationTopic)
69 | 
70 |         button.HandleHelp()
71 | 


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Command.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Command (page 223)
 3 |  *   aka Action, Transaction
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Command
12 | 
13 | open System
14 | open System.Collections.Generic
15 | 
16 | ///Sample code Helpers
17 | let private notImpl msg = raise <| System.NotImplementedException(msg)
18 | 
19 | ///Domain Code
20 | type Application () = 
21 |     member _.Add(doc:Document) : unit= notImpl "Add  document to application"
22 | and Document(name:string) = 
23 |     member _.Open() : unit = notImpl "Open Document"
24 |     member _.Paste() : unit = notImpl "Paste into Document"
25 | 
26 | ///Command Code
27 | [<AbstractClass>]
28 | type Command () =
29 |     abstract Execute: unit -> unit
30 | 
31 | type OpenCommand(app:Application) =
32 |     inherit Command()
33 |     let askUser () : string = notImpl "Prompts User for the name of the Document"
34 |     override _.Execute() =
35 |         let name = askUser()
36 |         if not <| String.IsNullOrEmpty(name) then
37 |             let doc = Document(name)
38 |             app.Add(doc)
39 |             doc.Open();
40 | 
41 | type PasteCommand (doc:Document) =
42 |     inherit Command()
43 |     override _.Execute() =
44 |         doc.Paste()
45 | 
46 | type SimpleCommand<'T> (receiver:'T, action:'T -> unit) =
47 |     inherit Command()
48 |     override _.Execute () =
49 |         receiver |> action
50 | 
51 | type MacroCommand() =
52 |     inherit Command()
53 |     member val Commands 
54 |         = upcast ResizeArray<Command>() : ICollection<Command> with get
55 |     override this.Execute () =
56 |         this.Commands
57 |         |> Seq.iter (fun c->c.Execute())


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Interpreter.fs:
--------------------------------------------------------------------------------
  1 | (***************************************************************** 
  2 |  * Interpreter (page 243)
  3 |  *   
  4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
  5 |  *   by Gamma, Helm, Johnson, & Vlissides
  6 |  * Sample Code Ported to F#
  7 |  *
  8 |  * - Initally Ported by Jay Tuley (Jun 2020)
  9 |  *
 10 |  *****************************************************************)
 11 | namespace GangOfFour.Interpreter
 12 | 
 13 | module RegExInterpretor =
 14 |     open System
 15 |     open System.Text
 16 |     open System.IO
 17 |     ///Domain Code
 18 |     type MatchStream = 
 19 |         { Data:string; Position:int} with 
 20 |         member this.NextAvailable(size) =
 21 |             this.Data.[this.Position..this.Position + size - 1], {this with Position = this.Position + size}
 22 | 
 23 |     type State (?init:string) =
 24 |         let streams = ResizeArray<MatchStream>()
 25 |         do
 26 |             init |> Option.iter (fun s-> {Data=s;Position=0} |> streams.Add)
 27 |         member _.IsEmpty with get () = 
 28 |             streams |> Seq.isEmpty
 29 |         member _.Success with get () =
 30 |             streams |> Seq.where (fun x->x.Data.Length = x.Position) |> (not << Seq.isEmpty)
 31 |         member _.Add(s:MatchStream) = 
 32 |             s |> streams.Add
 33 |         member _.Iter (action:MatchStream -> unit) =
 34 |             streams |> Seq.iter action
 35 |         member this.AddAll(inputState:State) =
 36 |             inputState.Iter this.Add
 37 |         member _.Copy() =
 38 |             let finalState = State()
 39 |             streams |> Seq.iter finalState.Add
 40 |             finalState
 41 | 
 42 |     /// Interpreter (example ported from SmallTalk)
 43 |     [<AbstractClass>]
 44 |     type RegularExpression () = 
 45 |         abstract Match:State -> State
 46 | 
 47 |     and SequenceExpression(exp1:RegularExpression, exp2:RegularExpression) =
 48 |         inherit RegularExpression()
 49 |         override _.Match(inputState) =
 50 |             inputState |> exp1.Match |> exp2.Match
 51 | 
 52 |     and AlternationExpression(alt1:RegularExpression, alt2:RegularExpression) =
 53 |         inherit RegularExpression() 
 54 |         override _.Match(inputState) =
 55 |             let finalState = inputState |> alt1.Match
 56 |             inputState |> alt2.Match |> finalState.AddAll
 57 |             finalState
 58 | 
 59 |     and RepetitionExpression(repeat:RegularExpression) =
 60 |         inherit RegularExpression()
 61 |         override _.Match(inputState) =
 62 |             let mutable state = inputState
 63 |             let finalState = inputState.Copy()
 64 |             while not <| state.IsEmpty do
 65 |                 state <- state |> repeat.Match
 66 |                 state |> finalState.AddAll
 67 |             finalState
 68 | 
 69 |     and LiteralExpression(components:string) =
 70 |         inherit RegularExpression()
 71 |         override _.Match(inputState) =
 72 |             let finalState = State()
 73 |             inputState.Iter(
 74 |                 fun s -> 
 75 |                     let next, result = s.NextAvailable(components.Length)
 76 |                     if next = components then
 77 |                         finalState.Add(result)
 78 |                 )
 79 |             finalState
 80 | 
 81 |     ///Helpers for Syntax and Operators
 82 |     type String with
 83 |         member this.Expr with get() : RegularExpression=
 84 |             upcast LiteralExpression(this)
 85 |         member this.Repeat with get() : RegularExpression =
 86 |             upcast RepetitionExpression(this.Expr)
 87 | 
 88 |     type RegularExpression with
 89 |         member this.Expr with get() : RegularExpression=
 90 |             this
 91 |         member this.Repeat with get() : RegularExpression =
 92 |             upcast RepetitionExpression(this.Expr)
 93 |         static member (.|) (a : RegularExpression, b: RegularExpression) : RegularExpression =
 94 |             upcast AlternationExpression(a,b)
 95 |         static member (.&) (a : RegularExpression, b: RegularExpression) : RegularExpression =
 96 |             upcast SequenceExpression(a,b)
 97 | 
 98 |     ///Example 
 99 |     module Example1 =
100 | 
101 |         let main _ =
102 |             let regex = ("dog ".Expr .| "cat ".Expr).Repeat .& "weather".Expr
103 |             let m = (State "dog cat dog cat weather") |> regex.Match
104 |             if(m.Success) then
105 |                 printfn "Matched!"
106 |             ()
107 | 
108 | module BooleanInterpreter =
109 |     ///Sample code Helpers
110 |     let private notImpl msg = raise <| System.NotImplementedException(msg)
111 | 
112 |     //Interpretor 
113 |     type Context () = 
114 |         member _.Lookup (name:string) : bool = notImpl "Variable lookup"
115 |         member _.Assign (exp:VariableExp, value:bool) : unit = notImpl "Variable assignment"
116 | 
117 |     and [<AbstractClass>] BooleanExp () = 
118 |         abstract Evaluate: Context -> bool
119 |         abstract Replace: string * BooleanExp -> BooleanExp
120 |         abstract Copy: unit -> BooleanExp
121 | 
122 |     and VariableExp (name:string) =
123 |         inherit BooleanExp()
124 |         override _.Evaluate(context) = 
125 |             context.Lookup(name)
126 |         override _.Copy() = 
127 |             upcast VariableExp(name)
128 |         override _.Replace(name', exp) =
129 |             if name = name' then
130 |                 exp.Copy()
131 |             else
132 |                 upcast VariableExp(name)
133 | 
134 |     and AndExp (op1:BooleanExp, op2:BooleanExp) = 
135 |         inherit BooleanExp()
136 |         override _.Evaluate(context) =
137 |             op1.Evaluate(context) && op2.Evaluate(context)
138 |         override _.Copy() = 
139 |             upcast AndExp(op1.Copy(), op2.Copy())    
140 |         override _.Replace(name', exp) =
141 |             upcast AndExp(op1.Replace(name', exp), op1.Replace(name', exp))  
142 | 
143 |     and OrExp (op1:BooleanExp, op2:BooleanExp) = 
144 |         inherit BooleanExp()
145 |         override _.Evaluate(context) =
146 |             op1.Evaluate(context) || op2.Evaluate(context)
147 |         override _.Copy() = 
148 |             upcast OrExp(op1.Copy(), op2.Copy())    
149 |         override _.Replace(name', exp) =
150 |             upcast OrExp(op1.Replace(name', exp), op1.Replace(name', exp))  
151 | 
152 |     and NotExp (op1:BooleanExp) = 
153 |         inherit BooleanExp()
154 |         override _.Evaluate(context) =
155 |             not <| op1.Evaluate(context)
156 |         override _.Copy() = 
157 |             upcast NotExp(op1.Copy())   
158 |         override _.Replace(name', exp) =
159 |             upcast NotExp(op1.Replace(name', exp))  
160 | 
161 |     and Constant(value:bool) = 
162 |         inherit BooleanExp()
163 |         override _.Evaluate(_) =
164 |             value
165 |         override _.Copy() = 
166 |             upcast Constant(value)
167 |         override _.Replace(_, _) =
168 |             upcast Constant(value)
169 | 
170 |     ///Example Usage
171 |     module Example2 =
172 |         let main _ =
173 |             let context = Context()
174 | 
175 |             let x = VariableExp("X")
176 |             let y = VariableExp("Y")
177 | 
178 |             let exp =
179 |                 OrExp(
180 |                     AndExp(Constant(true), x),
181 |                     AndExp(y, NotExp(x))
182 |                 )
183 |             
184 |             context.Assign(x, false)
185 |             context.Assign(y, true)
186 |             
187 |             let result1 = exp.Evaluate(context)
188 | 
189 |             let z = VariableExp("Z")
190 |             let notZ = NotExp(z)
191 |             let replacement = exp.Replace("Y", notZ)
192 | 
193 |             context.Assign(z, true)
194 | 
195 |             let result2 = replacement.Evaluate(context)
196 | 
197 |             ()


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Iterator.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Iterator (page 257)
 3 |  *   aka Cursor
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Iterator
12 | 
13 | open System.Collections.Generic
14 | 
15 | 
16 | ///Iterator .net Sytle
17 | let [<Literal>] DEFAULT_LIST_CAPACITY = 10
18 | 
19 | type MyList<'T> (?optSize:int) =
20 |     let size = defaultArg optSize DEFAULT_LIST_CAPACITY
21 |     let store = ResizeArray<'T>(size)
22 |     member _.Count with get () = store.Count
23 |     member _.Item with get index = store.[index]
24 |     interface seq<'T> with
25 |         member _.GetEnumerator () =
26 |             // This object expression implements the IEnumerator<'T> interface
27 |             // without making a new named type
28 |             let mutable current = 0;
29 |             { 
30 |                 new IEnumerator<'T> with
31 |                    member this.Current with get (): 'T = 
32 |                         if store.Count > current then
33 |                             store.[current]
34 |                         else
35 |                             failwith "Enumerator Out Of Bounds"
36 |                     member this.Current with get(): obj = 
37 |                         this.Current
38 |                     member _.Dispose(): unit = ()
39 |                     member _.MoveNext(): bool = 
40 |                         current <- current + 1
41 |                         store.Count > current
42 |                     member this.Reset(): unit = 
43 |                         current <- 0     
44 |             }
45 |         member this.GetEnumerator(): System.Collections.IEnumerator = 
46 |             upcast (this :> IEnumerable<'T>).GetEnumerator()
47 | 
48 | ///Example
49 | 
50 | type Employee (name) = 
51 |     member _.Print () =
52 |         printfn "%s" name
53 | 
54 | [<AbstractClass>]
55 | type Traverser<'T>(items:seq<'T>) =
56 |     abstract ProcessItem: 'T -> bool
57 |     member this.Traverse (): bool = 
58 |         let mutable result = None
59 |         let iterator = items.GetEnumerator()
60 |         while result |> Option.defaultValue true 
61 |                 && (iterator.MoveNext()) 
62 |             do
63 |                 result <- Some <| this.ProcessItem(iterator.Current)
64 |         result |> Option.defaultValue false
65 | 
66 | type PrintNEmployees(employees:seq<Employee> , n:int ) =
67 |     inherit Traverser<Employee> (employees)
68 |     let mutable count = 0
69 |     override _.ProcessItem(e) =
70 |         count <- count + 1
71 |         e.Print()
72 |         count < n
73 | 
74 | [<AbstractClass>]
75 | type FilteringTraverser<'T>(items:seq<'T>) =
76 |     abstract ProcessItem: 'T -> bool
77 |     abstract TestItem: 'T -> bool
78 |     member this.Traverse (): bool = 
79 |         let mutable result = None
80 |         let iterator = items.GetEnumerator()
81 |         while result |> Option.defaultValue true 
82 |                 && (iterator.MoveNext()) 
83 |             do
84 |                 if this.TestItem(iterator.Current) then
85 |                     result <- Some <| this.ProcessItem(iterator.Current)
86 |         result |> Option.defaultValue false


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Mediator.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Mediator (page 273)
 3 |  *   
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module rec GangOfFour.Mediator
12 | 
13 | open FSharp.Interop.NullOptAble
14 | 
15 | ///Sample code Helpers
16 | let private notImpl msg = raise <| System.NotImplementedException(msg)
17 | 
18 | //Example Mediator
19 | 
20 | [<AbstractClass>]
21 | type DialogDirector () =
22 |     abstract ShowDialog: unit -> unit
23 |     abstract WidgetChanged: Widget -> unit
24 |     abstract CreateWidgets: unit -> unit
25 | 
26 | type MouseEvent = class end
27 | 
28 | [<AbstractClass>]
29 | type Widget (dialog: DialogDirector) =
30 |     abstract Changed: unit -> unit
31 |     default this.Changed() = dialog.WidgetChanged(this)
32 |     abstract HandleMouse: MouseEvent -> unit
33 |     //...
34 | 
35 | type ListBox (dialog) =
36 |     inherit Widget(dialog)
37 |     abstract GetSelection: unit -> string
38 |     default _.GetSelection() = notImpl "Get Selection"
39 |     abstract SetList: List<char> -> unit
40 |     default _.SetList(listItems) = notImpl "SetList"
41 |     override _.HandleMouse(event) = notImpl "Handle Mouse"
42 |     //...
43 | 
44 | type EntryField (dialog) =
45 |     inherit Widget(dialog)
46 |     abstract SetText:string -> unit
47 |     default _.SetText(text) = notImpl "Set Text"
48 |     abstract GetText:unit -> string
49 |     default _.GetText() = notImpl "Get Text"
50 |     override _.HandleMouse(event) = notImpl "Handle Mouse"
51 |     // ...
52 | 
53 | type Button (dialog) =
54 |     inherit Widget(dialog)
55 |     abstract SetText:string -> unit
56 |     default _.SetText(text) = notImpl "Set Text"
57 |     // ...
58 |     override this.HandleMouse(event) =
59 |         // ...
60 |         this.Changed()
61 | 
62 | type FontDialogDirector () =
63 |     inherit DialogDirector()
64 |     let mutable _ok = None
65 |     let mutable _cancel = None
66 |     let mutable _fontList = None
67 |     let mutable _fontName = None
68 |     override _.ShowDialog () = notImpl "Show Dialog"
69 |     override this.CreateWidgets() =
70 |         _ok <- Some <| Button(this)
71 |         _cancel <- Some <| Button(this)
72 |         _fontList <- Some <| ListBox(this)
73 |         _fontName <- Some <| EntryField(this)
74 |         // ... Fill in list box
75 |         // ... Assemble widgets in dialog
76 |     override this.WidgetChanged(changedWidget) =
77 |         guard {
78 |             let! ok = _ok 
79 |             let! fontList = _fontList
80 |             let! cancel = _cancel 
81 |             let! fontName = _fontName
82 |             match changedWidget with
83 |             | :? ListBox as fl when fl = fontList  ->
84 |                 fontList.GetSelection() |> fontName.SetText
85 |             | :? Button as ok' when ok' = ok ->
86 |                 //apply font change and dismiss dialog
87 |                 notImpl "ok"
88 |             | :? Button as cancel' when cancel' = cancel ->
89 |                 //dismiss dialog
90 |                 notImpl "cancel"
91 |             | _ -> ()
92 |         }
93 | 


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Memento.fs:
--------------------------------------------------------------------------------
1 | namespace GangOfFour


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Observer.fs:
--------------------------------------------------------------------------------
1 | namespace GangOfFour


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/State.fs:
--------------------------------------------------------------------------------
1 | namespace GangOfFour


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Strategy.fs:
--------------------------------------------------------------------------------
1 | namespace GangOfFour


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/TemplateMethod.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * TemplateMethod (page 273)
 3 |  *   
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.TemplateMethod
12 | 
13 | ///Sample code Helpers
14 | let private notImpl msg = raise <| System.NotImplementedException(msg)
15 | 
16 | ///Sample Code
17 | [<AbstractClass>]
18 | type View () =
19 |     member _.SetFocus () = notImpl "View Sets Focus"
20 |     member _.ResetFocus () = notImpl "View Resets Focus"
21 |     abstract DoDisplay : unit -> unit
22 |     ///Template Method
23 |     member this.Display () =
24 |         this.SetFocus()
25 |         this.DoDisplay()
26 |         this.ResetFocus()
27 | and MyView () = 
28 |     inherit View ()
29 |     override this.DoDisplay () = notImpl "Render Display COntent here"


--------------------------------------------------------------------------------
/GangOfFour/Behavioral-Patterns/Vistor.fs:
--------------------------------------------------------------------------------
  1 | (***************************************************************** 
  2 |  * Visitor (page 331)
  3 |  *   
  4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
  5 |  *   by Gamma, Helm, Johnson, & Vlissides
  6 |  * Sample Code Ported to F#
  7 |  *
  8 |  * - Initally Ported by Jay Tuley (Jun 2020)
  9 |  *
 10 |  *****************************************************************)
 11 | module GangOfFour.Vistor
 12 | 
 13 | module EquipmentVistor = ()
 14 | 
 15 | 
 16 | module RegexVistor =
 17 | 
 18 |     /// Domain Code
 19 |     type MatchStream = 
 20 |         { Data:string; Position:int} with 
 21 |         member this.NextAvailable(size) =
 22 |             this.Data.[this.Position..this.Position + size - 1], {this with Position = this.Position + size}
 23 | 
 24 |     type State (?init:string) =
 25 |         let streams = ResizeArray<MatchStream>()
 26 |         do
 27 |             init |> Option.iter (fun s-> {Data=s;Position=0} |> streams.Add)
 28 |         member _.IsEmpty with get () = 
 29 |             streams |> Seq.isEmpty
 30 |         member _.Success with get () =
 31 |             streams |> Seq.where (fun x->x.Data.Length = x.Position) |> (not << Seq.isEmpty)
 32 |         member _.Add(s:MatchStream) = 
 33 |             s |> streams.Add
 34 |         member _.Iter (action:MatchStream -> unit) =
 35 |             streams |> Seq.iter action
 36 |         member this.AddAll(inputState:State) =
 37 |             inputState.Iter this.Add
 38 |         member _.Copy() =
 39 |             let finalState = State()
 40 |             streams |> Seq.iter finalState.Add
 41 |             finalState
 42 | 
 43 |     /// Visitor (example ported from SmallTalk)
 44 |     [<AbstractClass>]
 45 |     type RegularExpression () = 
 46 |         abstract Accept:REMatchingVistor -> State
 47 | 
 48 |     and SequenceExpression(exp1:RegularExpression, exp2:RegularExpression) =
 49 |         inherit RegularExpression()
 50 |         member _.Exp1 = exp1
 51 |         member _.Exp2 = exp2
 52 |         override this.Accept(visitor) =
 53 |             visitor.VisitSequence(this)
 54 | 
 55 |     and AlternationExpression(alt1:RegularExpression, alt2:RegularExpression) =
 56 |         inherit RegularExpression() 
 57 |         member _.Alt1 = alt1
 58 |         member _.Alt2 = alt2
 59 |         override this.Accept(visitor) =
 60 |             visitor.VisitAlternation(this)
 61 | 
 62 |     and RepetitionExpression(repeat:RegularExpression) =
 63 |         inherit RegularExpression()
 64 |         member _.Repeat = repeat
 65 |         override this.Accept(visitor) =
 66 |             visitor.VisitRepeat(this)
 67 | 
 68 |     and LiteralExpression(components:string) =
 69 |         inherit RegularExpression()
 70 |         member _.Components = components
 71 |         override this.Accept(visitor) =
 72 |             visitor.VisitLiteral(this)
 73 | 
 74 |     and REMatchingVistor () = 
 75 |         let mutable inputState = State()
 76 |         member this.VisitSequence(seqExp:SequenceExpression) =
 77 |             inputState <- seqExp.Exp1.Accept(this)
 78 |             seqExp.Exp2.Accept(this)
 79 |         member this.VisitRepeat(repExp:RepetitionExpression) =
 80 |             let finalState = inputState.Copy()
 81 |             while not <| inputState.IsEmpty do
 82 |                 inputState <- repExp.Repeat.Accept(this)
 83 |                 inputState |> finalState.AddAll
 84 |             finalState
 85 |         member this.VisitAlternation(altExp:AlternationExpression) =
 86 |             let originalState = inputState
 87 |             let finalState = altExp.Alt1.Accept(this)
 88 |             inputState <- originalState
 89 |             altExp.Alt2.Accept(this) |> finalState.AddAll
 90 |             finalState
 91 |         member _.VisitLiteral(literalExp:LiteralExpression) =
 92 |             let finalState = State()
 93 |             inputState.Iter(
 94 |                 fun s -> 
 95 |                     let next, result = s.NextAvailable(literalExp.Components.Length)
 96 |                     if next = literalExp.Components then
 97 |                         finalState.Add(result)
 98 |                 )
 99 |             finalState
100 | 


--------------------------------------------------------------------------------
/GangOfFour/Creational-Patterns/AbstractFactory.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Abstract Factory (page 87)
 3 |  *   aka Kit
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | 
12 | namespace GangOfFour.AbstractFactory
13 | 
14 | open System.Collections.Generic
15 | 
16 | ///Domain Clases
17 | type Direction = North | East | South | West
18 | 
19 | [<AbstractClass>]
20 | type Edge () = class end
21 | type Wall () = inherit Edge ()
22 | type Door (r1, r2) = inherit Edge ()
23 | 
24 | and Room (n:int) =
25 |     let sides = new Dictionary<Direction, Edge>()
26 |     member _.SetSide(d, e:#Edge) =
27 |         sides.[d] <- e
28 | 
29 | type Maze () =
30 |     let rooms = ResizeArray()
31 |     member _.AddRoom(r) = 
32 |         rooms.Add(r)
33 | /// Base Abstract Factory
34 | type MazeFactory () =
35 |     abstract MakeMaze: unit -> Maze
36 |     default _.MakeMaze () = Maze()
37 | 
38 |     abstract MakeWall: unit -> Wall
39 |     default _.MakeWall() = Wall()
40 | 
41 |     abstract MakeRoom: int -> Room
42 |     default _.MakeRoom(n) = Room(n)
43 |     
44 |     abstract MakeDoor: Room * Room -> Door
45 |     default _.MakeDoor(r1, r2) = Door(r1,r2)
46 | 
47 | /// Usage of Factory
48 | type MazeGame () =
49 |     member _.CreateMaze(factory:#MazeFactory) =
50 |         let maze = factory.MakeMaze()
51 |         let r1 = factory.MakeRoom(1)
52 |         let r2 = factory.MakeRoom(2)
53 |         let door = factory.MakeDoor(r1,r2)
54 |         
55 |         maze.AddRoom(r1)
56 |         maze.AddRoom(r2)
57 | 
58 |         r1.SetSide(North, factory.MakeWall())
59 |         r1.SetSide(East, door)
60 |         r1.SetSide(South, factory.MakeWall())
61 |         r1.SetSide(West, factory.MakeWall())
62 | 
63 |         r2.SetSide(North, factory.MakeWall())
64 |         r2.SetSide(East, factory.MakeWall())
65 |         r2.SetSide(South, factory.MakeWall())     
66 |         r2.SetSide(West, door)
67 |         maze
68 | 
69 | ///Enchanted Maze Alternative Factory implemenation
70 | type Spell = Alohomora
71 | type EnchantedRoom (n, s) = inherit Room (n)
72 | type DoorNeedingSpell(r1, r2) = inherit Door(r1, r2)
73 | type EnchantedMazeFactory () =
74 |     inherit MazeFactory ()
75 |     let castSpell () = Alohomora
76 |     override _.MakeRoom(n) =
77 |         upcast EnchantedRoom (n, castSpell())
78 |     override _.MakeDoor(r1,r2) = 
79 |         upcast DoorNeedingSpell(r1,r2)
80 | 
81 | ///Bomb Maze Alternative Factory implemenation
82 | type BombedWall () = inherit Wall()
83 | type RoomWithABomb(n) = inherit Room(n)
84 | type BombMazeFactory () =
85 |     inherit MazeFactory ()
86 |     override _.MakeWall() = upcast BombedWall()
87 |     override _.MakeRoom(n) = upcast RoomWithABomb(n)


--------------------------------------------------------------------------------
/GangOfFour/Creational-Patterns/Builder.fs:
--------------------------------------------------------------------------------
  1 | (***************************************************************** 
  2 |  * Builder (page 97)
  3 |  *
  4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
  5 |  *   by Gamma, Helm, Johnson, & Vlissides
  6 |  * Sample Code Ported to F#
  7 |  *
  8 |  * - Initally Ported by Jay Tuley (Jun 2020)
  9 |  *
 10 |  *****************************************************************)
 11 | namespace GangOfFour.Builder
 12 | 
 13 | open System.Collections.Generic
 14 | 
 15 | ///Domain Clases
 16 | type Direction = North | East | South | West
 17 | 
 18 | [<AbstractClass>]
 19 | type Edge () = class end
 20 | type Wall () = inherit Edge ()
 21 | type Door (r1, r2) = inherit Edge ()
 22 | and Room (n:int) =
 23 |     let sides = new Dictionary<Direction, Edge>()
 24 |     member _.SetSide(d, e:#Edge) =
 25 |         sides.[d] <- e
 26 |     member _.No () = n
 27 |     member _.GetSide(d) =
 28 |         let exists,s =sides.TryGetValue(d)
 29 |         if exists then Some s else None
 30 | 
 31 | type Maze () =
 32 |     let rooms = Dictionary<int,Room>()
 33 |     member _.AddRoom(r:Room) = 
 34 |         rooms.Add(r.No(), r)
 35 |     member _.RoomNo(n) =
 36 |         let exists,r =rooms.TryGetValue(n)
 37 |         if exists then Some r else None
 38 | 
 39 | 
 40 | ///Base Builder 
 41 | [<AbstractClass>]
 42 | type MazeBuilder () =
 43 |     abstract BuildMaze: unit -> unit
 44 |     abstract BuildRoom: int -> unit
 45 |     abstract BuildDoor: int * int -> unit
 46 |     abstract GetMaze: unit -> Maze
 47 | 
 48 | ///Standard Builder 
 49 | type StandardMazeBuilder () =
 50 |     inherit MazeBuilder()
 51 |     let mutable _currentMaze = None
 52 |     let getMaze () = 
 53 |         match _currentMaze with
 54 |         | Some m -> m 
 55 |         | None -> failwith "BuildMaze() was never called." 
 56 |     // The Sample code didn't implement the "commonWall" utility function.
 57 |     // This is the dumbest implementation I could think of that was reasonable.
 58 |     let commonWall (r1:Room) (r2:Room) =
 59 |         let combos =
 60 |             [
 61 |                 North, South
 62 |                 East, West
 63 |                 South, North
 64 |                 West, East
 65 |             ]
 66 |         seq { 
 67 |                 for d1, d2 in combos do
 68 |                     match r1.GetSide(d1), r2.GetSide(d2) with
 69 |                     | None, None -> yield d1, d2
 70 |                     | _, _ -> ()
 71 |             }
 72 |             |> Seq.tryHead
 73 |             |> Option.defaultWith (failwith "No Matching Sides Available")
 74 |     override _.BuildMaze() =
 75 |         _currentMaze <- Maze() |> Some
 76 |     override _.GetMaze() = getMaze ()
 77 |     override _.BuildRoom(n) =
 78 |         let r = getMaze().RoomNo(n)
 79 |         match r with
 80 |         | None -> 
 81 |             let room = Room(n)
 82 |             getMaze().AddRoom(room)
 83 |             room.SetSide(North, Wall())
 84 |             room.SetSide(East, Wall())
 85 |             room.SetSide(South, Wall())
 86 |             room.SetSide(West, Wall())
 87 |         | _ -> ()
 88 |     override _.BuildDoor(n1, n2) =
 89 |         let checkR1 = getMaze().RoomNo(n1)
 90 |         let checkR2 = getMaze().RoomNo(n2)
 91 |         match checkR1, checkR2 with
 92 |         | Some r1, Some r2 ->
 93 |             let door = Door(r1, r2)
 94 |             let d1,d2 = commonWall r1 r2
 95 |             r1.SetSide(d1, door)
 96 |             r2.SetSide(d2, door)
 97 |         | f1, f2 -> failwithf "Build Door requires both Rooms %i:%A, %i:%A." n1 f1 n2 f2 
 98 | 
 99 | ///Counting Maze Alternative Builder Implemenation
100 | type CountingMazeBuilder() =
101 |     inherit MazeBuilder()
102 |     let mutable _rooms,_doors = 0,0
103 |     override _.BuildMaze() =
104 |         _rooms<-0;_doors <- 0
105 |     override _.BuildRoom(_) =
106 |         _rooms <- _rooms + 1
107 |     override _.BuildDoor(_,_) =
108 |         _doors <- _doors + 1
109 |     override _.GetMaze () = raise <| System.NotSupportedException() 
110 |     member _.GetCounts() = struct (_rooms, _doors)


--------------------------------------------------------------------------------
/GangOfFour/Creational-Patterns/FactoryMethod.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Factory Method (page 107)
 3 |  *  aka Virtual Constructor
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | 
12 | namespace GangOfFour.FactoryMethod
13 | 
14 | open System.Collections.Generic
15 | 
16 | type Direction = North | East | South | West
17 | 
18 | [<AbstractClass>]
19 | type Edge () = class end
20 | type Wall () = inherit Edge ()
21 | type Door (r1, r2) = inherit Edge ()
22 | 
23 | and Room (n:int) =
24 |     let sides = new Dictionary<Direction, Edge>()
25 |     member _.SetSide(d, e:#Edge) =
26 |         sides.[d] <- e
27 | 
28 | type Maze () =
29 |     let rooms = ResizeArray()
30 |     member _.AddRoom(r) = 
31 |         rooms.Add(r)
32 | 
33 | 
34 | type MazeGame () =
35 |     //Factory Methods
36 |     abstract MakeMaze: unit -> Maze
37 |     default _.MakeMaze () = Maze()
38 | 
39 |     abstract MakeWall: unit -> Wall
40 |     default _.MakeWall() = Wall()
41 | 
42 |     abstract MakeRoom: int -> Room
43 |     default _.MakeRoom(n) = Room(n)
44 |     
45 |     abstract MakeDoor: Room * Room -> Door
46 |     default _.MakeDoor(r1, r2) = Door(r1,r2)
47 | 
48 |     ///Normal Game setup
49 |     member this.CreateMaze() =
50 |         let maze = this.MakeMaze()
51 |         let r1 = this.MakeRoom(1)
52 |         let r2 = this.MakeRoom(2)
53 |         let door = this.MakeDoor(r1,r2)
54 |         
55 |         maze.AddRoom(r1)
56 |         maze.AddRoom(r2)
57 | 
58 |         r1.SetSide(North, this.MakeWall())
59 |         r1.SetSide(East, door)
60 |         r1.SetSide(South, this.MakeWall())
61 |         r1.SetSide(West, this.MakeWall())
62 | 
63 |         r2.SetSide(North, this.MakeWall())
64 |         r2.SetSide(East, this.MakeWall())
65 |         r2.SetSide(South, this.MakeWall())     
66 |         r2.SetSide(West, door)
67 |         maze
68 | 
69 | ///Enchanted Maze Alternative Game implemenation
70 | type Spell = Alohomora
71 | type EnchantedRoom (n, s) = inherit Room (n)
72 | type DoorNeedingSpell(r1, r2) = inherit Door(r1, r2)
73 | type EnchantedMazeGame () =
74 |     inherit MazeGame ()
75 |     let castSpell () = Alohomora
76 |     override _.MakeRoom(n) =
77 |         upcast EnchantedRoom (n, castSpell())
78 |     override _.MakeDoor(r1,r2) = 
79 |         upcast DoorNeedingSpell(r1,r2)
80 | 
81 | ///Bomb Maze Alternative Game implemenation
82 | type BombedWall () = inherit Wall()
83 | type RoomWithABomb(n) = inherit Room(n)
84 | type BombMazeGame () =
85 |     inherit MazeGame ()
86 |     override _.MakeWall() = upcast BombedWall()
87 |     override _.MakeRoom(n) = upcast RoomWithABomb(n)


--------------------------------------------------------------------------------
/GangOfFour/Creational-Patterns/Prototype.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Prototype (page 117)
 3 |  *  
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | namespace GangOfFour.Prototype
12 | 
13 | open GangOfFour.AbstractFactory
14 | 
15 | ///Copy Extensions - So we don't need to clutter the abstract factory example
16 | module CopyExtensions =
17 |     type Reflect = System.Activator
18 |     type Wall with
19 |         member this.CopyWall() : Wall =
20 |             downcast Reflect.CreateInstance(this.GetType())
21 |     type Room with
22 |         member this.CopyRoom(n:int) : Room =
23 |             downcast Reflect.CreateInstance(this.GetType(),n)
24 |         static member Prototype<'T when 'T :> Room> () : 'T = 
25 |             downcast Reflect.CreateInstance(typeof<'T>,0)
26 |     type Door with
27 |         member this.CopyDoor(r1:Room, r2:Room) : Door =
28 |             downcast Reflect.CreateInstance(this.GetType(),r1,r2)
29 |         static member Prototype<'T when 'T :> Door> () : 'T = 
30 |             downcast Reflect.CreateInstance(typeof<'T>,Room.Prototype<Room>(), Room.Prototype<Room>())   
31 |     type Maze with
32 |         member this.CopyMaze() : Maze =
33 |             downcast Reflect.CreateInstance(this.GetType())
34 | 
35 | open CopyExtensions
36 | ///General Prototype Factory
37 | type MazePrototypeFactory (maze:Maze, wall:Wall, room:Room, door:Door) =
38 |     inherit MazeFactory()
39 |     override _.MakeWall() = wall.CopyWall()
40 |     override _.MakeDoor(r1,r2) = door.CopyDoor(r1,r2)
41 |     override _.MakeRoom(n) = room.CopyRoom(n)
42 |     override _.MakeMaze() = maze.CopyMaze()
43 | 
44 | ///Prototype Instances
45 | module MazeFactories =
46 |     let simpleMazeFactor = MazePrototypeFactory(Maze(), Wall(), Room.Prototype<Room>(), Door.Prototype<Door>())
47 |     let bombedMazeFactor = MazePrototypeFactory(Maze(), BombedWall(), Room.Prototype<RoomWithABomb>(), Door.Prototype<Door>())


--------------------------------------------------------------------------------
/GangOfFour/Creational-Patterns/Singleton.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Singleton (page 127)
 3 |  *  
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Singleton
12 | 
13 | open GangOfFour.AbstractFactory
14 | 
15 | ///Singleton Lazy Store
16 | let private instance =
17 |     lazy 
18 |         let mazeStyle = System.Environment.GetEnvironmentVariable("MAZESTYLE") 
19 |         let fac:MazeFactory =
20 |             match mazeStyle with
21 |             | "bombed" -> upcast BombMazeFactory()
22 |             | "enchanted" -> upcast EnchantedMazeFactory()
23 |             | _ -> MazeFactory()
24 |         fac
25 | 
26 | //Singleton added to Maze Factory class
27 | type MazeFactory with
28 |     static member Instance () = instance.Force()


--------------------------------------------------------------------------------
/GangOfFour/GangOfFour.fsproj:
--------------------------------------------------------------------------------
 1 | <Project Sdk="Microsoft.NET.Sdk">
 2 |   <PropertyGroup>
 3 |     <TargetFramework>netstandard2.0</TargetFramework>
 4 |   </PropertyGroup>
 5 |   <ItemGroup>
 6 |     <Compile Include="Creational-Patterns/*.fs" />
 7 |     <Compile Include="Structural-Patterns/*.fs" />
 8 |     <Compile Include="Behavioral-Patterns/*.fs" />
 9 |   </ItemGroup>
10 |   <ItemGroup>
11 |     <PackageReference Include="FSharp.Interop.Dynamic" Version="5.0.1.268" />
12 |     <PackageReference Include="FSharp.Interop.NullOptAble" Version="0.11.0-alpha134" />
13 |   </ItemGroup>
14 | </Project>


--------------------------------------------------------------------------------
/GangOfFour/GangOfFour.sln:
--------------------------------------------------------------------------------
 1 | 
 2 | Microsoft Visual Studio Solution File, Format Version 12.00
 3 | # Visual Studio 15
 4 | Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "GangOfFour", "GangOfFour.fsproj", "{E8C62C26-DD3A-4DE3-A59A-524ADBA73781}"
 5 | EndProject
 6 | Global
 7 | 	GlobalSection(SolutionConfigurationPlatforms) = preSolution
 8 | 		Debug|Any CPU = Debug|Any CPU
 9 | 		Release|Any CPU = Release|Any CPU
10 | 	EndGlobalSection
11 | 	GlobalSection(ProjectConfigurationPlatforms) = postSolution
12 | 		{E8C62C26-DD3A-4DE3-A59A-524ADBA73781}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
13 | 		{E8C62C26-DD3A-4DE3-A59A-524ADBA73781}.Debug|Any CPU.Build.0 = Debug|Any CPU
14 | 		{E8C62C26-DD3A-4DE3-A59A-524ADBA73781}.Release|Any CPU.ActiveCfg = Release|Any CPU
15 | 		{E8C62C26-DD3A-4DE3-A59A-524ADBA73781}.Release|Any CPU.Build.0 = Release|Any CPU
16 | 	EndGlobalSection
17 | EndGlobal
18 | 


--------------------------------------------------------------------------------
/GangOfFour/Structural-Patterns/Adapter.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Adapter (page 139)
 3 |  *  aka Wrapper
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | namespace rec GangOfFour.Adapter
12 | 
13 | //Domain Classes
14 | type Point = {X:float; Y:float}
15 | type BoundingBox = {BottomLeft: Point; TopRight:Point}
16 | 
17 | [<AbstractClass>]
18 | type Shape () =
19 |     abstract BoundingBox : BoundingBox with get
20 |     abstract CreateManipulator : unit -> Manipulator
21 | 
22 | [<AbstractClass>]
23 | type TextView () =
24 |     abstract GetOrigin: unit -> float * float
25 |     abstract GetExtent: unit -> float * float
26 |     abstract IsEmpty: unit -> bool
27 | 
28 | type Manipulator () = class end
29 | 
30 | //Object Adapters
31 | type TextManipulator (ts: TextShape) =
32 |     inherit Manipulator ()
33 | type TextShape(textView:TextView) =
34 |     inherit Shape()
35 |     override _.BoundingBox with get () =
36 |         let left, bottom = textView.GetOrigin()
37 |         let width, height = textView.GetExtent()
38 |         {
39 |             BottomLeft= {Y=bottom; X=left}
40 |             TopRight= {Y=bottom+height; X=left+width}
41 |         }
42 |     override this.CreateManipulator() =
43 |         upcast TextManipulator(this)
44 |     member _.IsEmpty() =
45 |         textView.IsEmpty()


--------------------------------------------------------------------------------
/GangOfFour/Structural-Patterns/Bridge.fs:
--------------------------------------------------------------------------------
  1 | (***************************************************************** 
  2 |  * Bridge (page 151)
  3 |  *  aka Handle/Body
  4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
  5 |  *   by Gamma, Helm, Johnson, & Vlissides
  6 |  * Sample Code Ported to F#
  7 |  *
  8 |  * - Initally Ported by Jay Tuley (Jun 2020)
  9 |  *
 10 |  *****************************************************************)
 11 | 
 12 | module GangOfFour.Bridge
 13 | 
 14 | ///Sample code Helpers
 15 | let private notImpl msg = raise <| System.NotImplementedException(msg)
 16 | type NotFullyImplementedForExampleAttribute = AbstractClassAttribute
 17 | 
 18 | ///Domain Code
 19 | type Point = {X:float; Y:float}
 20 | 
 21 | [<NotFullyImplementedForExample>]
 22 | type WindowSystemFactory () =
 23 |     static member Instance () : WindowSystemFactory =
 24 |         notImpl "Singleton to pull correct factory"
 25 |     abstract MakeWindowImp : unit -> WindowImp
 26 | and [<AbstractClass>] View () =
 27 |     abstract DrawOn: Window -> unit
 28 | and [<NotFullyImplementedForExample>]  Window () =
 29 |     let _imp = lazy WindowSystemFactory.Instance().MakeWindowImp()
 30 |     member internal _.GetWindowImp() = _imp.Force()
 31 | 
 32 |     abstract DrawContents: unit -> unit
 33 | 
 34 |     abstract Open: unit -> unit
 35 |     abstract Close: unit -> unit
 36 |     abstract Iconfify: unit -> unit
 37 |     abstract Deiconfify: unit -> unit
 38 | 
 39 |     abstract SetOrigin: Point -> unit
 40 |     abstract SetExtent: Point -> unit
 41 |     abstract Raise: unit -> unit
 42 |     abstract Lower: unit -> unit
 43 | 
 44 |     abstract DrawLine: Point * Point -> unit
 45 |     abstract DrawRect: Point * Point -> unit
 46 |     default this.DrawRect (p1, p2) =
 47 |         let imp = this.GetWindowImp()
 48 |         imp.DeviceRect(p1.X, p1.Y, p2.X, p2.Y)
 49 |     abstract DrawPolygon: Point array * int -> unit
 50 |     abstract DrawText: string * Point -> unit
 51 | 
 52 | 
 53 | and [<AbstractClass>] WindowImp () =
 54 |     abstract ImpTop: unit -> unit
 55 |     abstract ImpBottom: unit -> unit
 56 |     abstract ImpSetOrigin: float * float -> unit
 57 |     abstract ImpSetExtent: float * float  -> unit
 58 | 
 59 |     abstract DeviceRect: float * float  * float * float  -> unit
 60 |     abstract DeviceText: string * float * float  -> unit
 61 |     abstract DeviceBitmap: byte array * float * float -> unit
 62 |     // lots more functions for drawing on windows...
 63 | 
 64 | [<NotFullyImplementedForExample>]
 65 | type ApplicationWindow (contents:View) =
 66 |     inherit Window ()
 67 |     override this.DrawContents() =  contents.DrawOn(this)
 68 | 
 69 | [<NotFullyImplementedForExample>]
 70 | type IconWindow(bitmap:byte[]) =
 71 |     inherit Window ()
 72 |     override this.DrawContents() = 
 73 |         let imp = this.GetWindowImp()
 74 |         imp.DeviceBitmap(bitmap, 0.0, 0.0)
 75 | 
 76 | ///Domain Library Code
 77 | 
 78 | module XWindowLib =
 79 |     [<AllowNullLiteral>]
 80 |     type Display = class end
 81 |     [<AllowNullLiteral>]
 82 |     type Drawable = class end
 83 |     [<AllowNullLiteral>]
 84 |     type GC = class end
 85 |     let XDrawRectangle(d:Display, id: Drawable, g:GC, x: int, y:int, w:int, h:int) =
 86 |         notImpl "Library Implementation"
 87 | 
 88 | module PMWindowLib =
 89 |     [<AllowNullLiteral>]
 90 |     type HPS = class end
 91 |     type PPOINTL = 
 92 |         struct
 93 |             val mutable x: float
 94 |             val mutable y: float
 95 |         end
 96 |     type STATUS = GPI_SUCESS | GPI_ERROR
 97 |     let GpiBeginPath(_:HPS, _:int64) : bool = notImpl "Library Implementation"
 98 |     let GpiSetCurrentPosition(_:HPS, _: PPOINTL) : bool = notImpl "Library Implementation"
 99 |     let GpiPolyLine(_:HPS, _:int64, _: PPOINTL array) : STATUS = notImpl "Library Implementation"
100 |     let GpiEndPath(_:HPS) : bool = notImpl "Library Implementation"
101 |     let GpiStrokePath(_:HPS, _:int64, _:int64) = notImpl "Library Implementation"
102 | 
103 | ///Bridge Code
104 | 
105 | [<AutoOpen>]
106 | module XWindowBrdige =
107 |     open XWindowLib
108 |     [<NotFullyImplementedForExample>]
109 |     type XWindowImp(dpy: Display, winId:Drawable, gc:GC) =
110 |         inherit WindowImp()
111 |         new () = XWindowImp(null,null, null)
112 |         override _.DeviceRect(x0:float, y0:float, x1:float, y1:float) =
113 |             let x = (x0,x1) ||> min |> round |> int
114 |             let y = (y0,y1) ||> min |> round |> int
115 |             let w = x0 - x1 |> abs |> round |> int
116 |             let h = y0 - y1 |> abs |> round |> int 
117 |             XDrawRectangle(dpy, winId, gc, x, y, w, h)
118 | 
119 | [<AutoOpen>]
120 | module PMWindowBridge =
121 |     open PMWindowLib
122 |     [<NotFullyImplementedForExample>]
123 |     type PMWindowImp(hps: HPS) =
124 |         inherit WindowImp()
125 |         new () = PMWindowImp(null)
126 |         override _.DeviceRect(x0:float, y0:float, x1:float, y1:float) =
127 |             let left = min x0 x1
128 |             let right = max x0 x1
129 |             let bottom = min y0 y1
130 |             let top = max y0 y1
131 | 
132 |             //Simulating actual bridged data structure
133 |             let point = Array.zeroCreate<PPOINTL> 4
134 |             let rect = 
135 |                 [
136 |                     left, top
137 |                     right,top
138 |                     right, bottom
139 |                     left, bottom
140 |                 ] 
141 |             for i, (x, y) in List.indexed rect do
142 |                 point.[i].x <- x
143 |                 point.[i].y <- y
144 |             
145 |             if GpiBeginPath(hps, 1L) = false
146 |                 || GpiSetCurrentPosition(hps, point.[3]) = false
147 |                 || GpiPolyLine(hps, 4L, point) = GPI_ERROR
148 |                 || GpiEndPath(hps) = false 
149 |             then
150 |                 notImpl "Report Error"
151 |             else
152 |                 GpiStrokePath(hps, 1L, 0L)


--------------------------------------------------------------------------------
/GangOfFour/Structural-Patterns/Composite.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Composite (page 163)
 3 |  *  aka Handle/Body
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Composite
12 | 
13 | open System.Collections.Generic
14 | 
15 | ///Domain Types
16 | 
17 | [<Measure>] type watts
18 | [<Measure>] type dollars
19 | 
20 | module Database =
21 |     let LookupPower name : int<watts> =
22 |         raise <| System.NotImplementedException()
23 |     let LookupPrice name : decimal<dollars> =
24 |         raise <| System.NotImplementedException()
25 |     let LookupDiscountPrice name : decimal<dollars> =
26 |         raise <| System.NotImplementedException()
27 | 
28 | ///Abstract base Class
29 | 
30 | [<AbstractClass>]
31 | type Equipment (name) =
32 |     member val Name = name with get
33 |     abstract Power : int<watts>
34 |     default _.Power with get () = Database.LookupPower name
35 |     abstract NetPrice: decimal<dollars>
36 |     default _.NetPrice with get () = Database.LookupPrice name
37 |     abstract DiscountPrice: decimal<dollars>
38 |     default _.DiscountPrice with get () = Database.LookupDiscountPrice name
39 | 
40 | ///Leaf Types
41 | 
42 | type FloppyDisk (name) = inherit Equipment(name)
43 | type Card (name) = inherit Equipment(name)
44 | 
45 | ///Abstract Composite
46 | 
47 | [<AbstractClass>]
48 | type CompositeEqupment(name) =
49 |     inherit Equipment(name)
50 |     let _equipment = ResizeArray<Equipment>()
51 |     override _.Power with get () = _equipment |> Seq.sumBy (fun x->x.Power)
52 |     override _.NetPrice with get () = _equipment |> Seq.sumBy (fun x->x.NetPrice)
53 |     override _.DiscountPrice with get () = _equipment |> Seq.sumBy (fun x->x.DiscountPrice)
54 |     member _.Add(item) = _equipment.Add(item)
55 |     interface IEnumerable<Equipment> with
56 |         member _.GetEnumerator(): IEnumerator<Equipment> = 
57 |             upcast _equipment.GetEnumerator()
58 |         member _.GetEnumerator(): System.Collections.IEnumerator = 
59 |             upcast _equipment.GetEnumerator()
60 | 
61 | 
62 | ///Composite Types       
63 | type Chassis (name) = inherit CompositeEqupment(name)
64 | type Cabinet (name) = inherit CompositeEqupment(name)
65 | type Bus (name) = inherit CompositeEqupment(name)
66 | 
67 | module Example =
68 |     let main _ =
69 |         let cabinet = Cabinet("PC Cabinet")
70 |         let chassis = Chassis("PC CHassis")
71 | 
72 |         cabinet.Add(chassis)
73 | 
74 |         let bus = Bus("MCA Bus")
75 |         bus.Add(Card "16Mbs Token Ring")
76 |         
77 |         chassis.Add(bus)
78 |         chassis.Add(FloppyDisk "3.5inch Floppy")
79 | 
80 |         chassis.NetPrice |> printf "The net price is %M" 
81 | 


--------------------------------------------------------------------------------
/GangOfFour/Structural-Patterns/Decorator.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Decorator (page 175)
 3 |  *  aka Wrapper
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Decorator
12 | 
13 | //Domain Types
14 | [<AbstractClass;AllowNullLiteral>]
15 | type VisualComponent () =
16 |     abstract Draw: unit-> unit
17 |     abstract Resize: unit -> unit
18 | 
19 | type Window () =
20 |     member val Contents:VisualComponent = null  with get, set
21 | 
22 | [<AbstractClass>]
23 | type TextView () =
24 |     inherit VisualComponent()
25 | 
26 | //Decorator Pattern Types
27 | type Decorator(comp:VisualComponent) =
28 |     inherit VisualComponent()
29 |     override _.Draw() =
30 |         comp.Draw()
31 |     override _.Resize() =
32 |         comp.Resize()
33 | 
34 | type BorderDecorator(comp:VisualComponent, borderWidth:int) =
35 |     inherit Decorator(comp)
36 |     member private _.DrawBorder() = raise <| System.NotImplementedException()
37 |     override this.Draw () =
38 |         base.Draw()
39 |         this.DrawBorder()
40 | 
41 | type ScrollDecorator (comp:VisualComponent) =
42 |     inherit Decorator(comp)
43 | 
44 | //Example Code
45 | module Example =
46 |     let window: Window = failwith "Ref Window"
47 |     let textView: TextView = failwith "Ref Text View"
48 |     let main _ =
49 |         window.Contents <- 
50 |             BorderDecorator(ScrollDecorator(textView), 1)
51 |             


--------------------------------------------------------------------------------
/GangOfFour/Structural-Patterns/Facade.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Facade (page 185)
 3 |  *  
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Facade
12 | 
13 | open System.IO
14 | 
15 | ///Sample code Helpers
16 | let private notImpl msg = raise <| System.NotImplementedException(msg)
17 | type NotFullyImplementedForExampleAttribute = AbstractClassAttribute
18 | 
19 | //Domain Code
20 | module internal rec SubSystem =
21 |     type Token = class end
22 |     [<NotFullyImplementedForExample>]
23 |     type Scanner(input:Stream) =
24 |         abstract Scan: unit -> Token
25 | 
26 |     [<NotFullyImplementedForExample>]
27 |     type ProgramNode () = 
28 |         abstract SourcePosition: line:int * index:int with get
29 |         //...
30 |         abstract Add: ProgramNode -> unit
31 |         abstract Remove: ProgramNode -> unit
32 |         //...
33 |         abstract Traverse:CodeGenerator-> unit
34 |     
35 |     [<NotFullyImplementedForExample>]
36 |     type ExpressionNode () = 
37 |         inherit ProgramNode ()
38 |         let _children = ResizeArray<ProgramNode>()
39 |         override this.Traverse(cg) =
40 |             cg.Visit(this)
41 |             for c in _children do
42 |                 c.Traverse(cg)
43 |     
44 |     [<NotFullyImplementedForExample>]
45 |     type StatementNode () =
46 |         inherit ProgramNode ()
47 | 
48 | 
49 |     [<NotFullyImplementedForExample>]
50 |     type ProgramNodeBuilder () =
51 |         abstract NewVariable: variableName:string -> ProgramNode
52 |         abstract NewAssignment: variable:ProgramNode * expression:ProgramNode -> ProgramNode
53 |         abstract NewReturnstatement: value:ProgramNode -> ProgramNode
54 |         abstract NewCondition: condition:ProgramNode * truePart:ProgramNode * falsePart: ProgramNode -> ProgramNode
55 |         // ...
56 |         abstract RootNode: ProgramNode with get
57 | 
58 |     [<NotFullyImplementedForExample>]
59 |     type Parser() =
60 |         abstract Parse:Scanner * ProgramNodeBuilder -> unit
61 | 
62 |     [<NotFullyImplementedForExample>]
63 |     type CodeGenerator (output:Stream) =
64 |         abstract Visit: ExpressionNode -> unit
65 |         abstract Visit: StatementNode -> unit
66 | 
67 |     [<NotFullyImplementedForExample>]
68 |     type RISCCodeGenerator (output:Stream) =   
69 |         inherit CodeGenerator(output)
70 | 
71 |     [<NotFullyImplementedForExample>]
72 |     type StackMachineCodeGenerator (output:Stream) =   
73 |         inherit CodeGenerator(output)
74 | 
75 | 
76 | 
77 | [<AutoOpen>]
78 | module TopLevel =
79 |     open SubSystem
80 |     ///Facade
81 |     type Compiler () = 
82 |         member _.Compile(input:Stream, output:Stream) =
83 |             let scanner:Scanner = notImpl "Init Scanner with input"
84 |             let builder:ProgramNodeBuilder  = notImpl "Init Program Builder"
85 |             let parser:Parser = notImpl "Init Parser"
86 |             
87 |             parser.Parse(scanner, builder)
88 | 
89 |             let generator:RISCCodeGenerator = notImpl "Init Code Generator"
90 |             let parseTree = builder.RootNode
91 |             parseTree.Traverse(generator)
92 | 


--------------------------------------------------------------------------------
/GangOfFour/Structural-Patterns/Flyweight.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Flyweight (page 195)
 3 |  *  
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Flyweight
12 | 
13 | ///Sample code Helpers
14 | let private notImpl msg = raise <| System.NotImplementedException(msg)
15 | type NotFullyImplementedForExampleAttribute = AbstractClassAttribute
16 | 
17 | //Flyway Sample Code
18 | type Window () = class end
19 | type Font () = class end
20 | 
21 | [<NotFullyImplementedForExample>]
22 | type GlyphContext () =
23 |     abstract Next: step:int -> unit
24 |     abstract Insert: quantity:int -> unit
25 |     abstract GetFont: unit -> Font
26 |     abstract SetFont: Font * span:int -> unit
27 | [<NotFullyImplementedForExample>]
28 | type Glyph () =
29 |     abstract Draw: Window * GlyphContext -> unit
30 | 
31 |     abstract SetFont: Font * GlyphContext -> unit
32 |     abstract GetFont: GlyphContext -> Font
33 | 
34 |     abstract First: GlyphContext -> unit
35 |     abstract Next: GlyphContext -> unit
36 |     abstract IsDone: GlyphContext -> bool
37 |     abstract Current: GlyphContext -> Glyph
38 | 
39 |     abstract Insert: Glyph * GlyphContext -> unit
40 |     abstract Remove: GlyphContext -> unit
41 | 
42 | [<NotFullyImplementedForExample>]
43 | type Character (charCode:char) =
44 |     inherit Glyph()
45 | 
46 | type Row () = class end
47 | type Column () = class end
48 | 
49 | type GlyphFactory () =
50 |     let _characters = Array.create<Character option> 256 None
51 | 
52 |     member _.CreateCharacter(c:char) =
53 |         match _characters.[int c] with
54 |         | None ->
55 |             let n:Character = notImpl "c |> Character"  
56 |             _characters.[int c] <- n |> Some
57 |             n 
58 |         | Some x -> x
59 | 
60 |     member _.CreateRow() =
61 |         Row ()
62 |     member _.CreateColumn() =
63 |         Column ()


--------------------------------------------------------------------------------
/GangOfFour/Structural-Patterns/Proxy.fs:
--------------------------------------------------------------------------------
 1 | (***************************************************************** 
 2 |  * Proxy (page 195)
 3 |  *  aka Surrogate
 4 |  * Design Patterns: Elements of Reusable Object-Oriented Software
 5 |  *   by Gamma, Helm, Johnson, & Vlissides
 6 |  * Sample Code Ported to F#
 7 |  *
 8 |  * - Initally Ported by Jay Tuley (Jun 2020)
 9 |  *
10 |  *****************************************************************)
11 | module GangOfFour.Proxy
12 | 
13 | ///Sample code Helpers
14 | let private notImpl msg = raise <| System.NotImplementedException(msg)
15 | type NotFullyImplementedForExampleAttribute = AbstractClassAttribute
16 | 
17 | //Domain Code
18 | open System.IO
19 | 
20 | type Point = {X:int; Y:int}
21 | 
22 | [<AbstractClass>]
23 | type Graphic () =
24 |     abstract Draw:Point -> unit
25 |     abstract HandleMouse:Event<obj> -> unit
26 |     abstract Extent:Point with get
27 |     abstract Load: Stream -> unit
28 |     abstract Save: Stream -> unit
29 | 
30 | [<Sealed>]
31 | type Image (fileName:string) =
32 |     inherit Graphic()
33 |     override _.Draw (_)= notImpl "Sample Code"
34 |     override _.HandleMouse (_)= notImpl "Sample Code"
35 |     override _.Extent with get () = notImpl "Sample Code"
36 |     override _.Load(_) = notImpl "Sample Code"
37 |     override _.Save(_) = notImpl "Sample Code"
38 | 
39 | 
40 | //Virtual Proxy
41 | 
42 | type ImageProxy (fileName) =
43 |     inherit Graphic()
44 |     let mutable _fileName = fileName;
45 |     let mutable _cachedExtent:Point option = None
46 |     let _image = lazy Image(_fileName)
47 |     let _extent = lazy _image.Value.Extent
48 |     member _.Image with get () = _image.Force()
49 |     override _.Extent with get () = _cachedExtent |> Option.defaultWith _extent.Force
50 |     override this.Draw (at)= this.Image.Draw(at)
51 |     override this.HandleMouse (event)= this.Image.HandleMouse(event)
52 |     override this.Save(dest) = 
53 |         use writer = new BinaryWriter(dest)
54 |         writer.Write(this.Extent.X)
55 |         writer.Write(this.Extent.Y)
56 |         writer.Write(_fileName)
57 |     override this.Load(from) = 
58 |         use reader = new BinaryReader(from)
59 |         let x=reader.ReadInt32()
60 |         let y=reader.ReadInt32()
61 |         _cachedExtent <- Some {X=x;Y=y}
62 |         _fileName <- reader.ReadString()
63 | 
64 | //Dynamic Proxy
65 | open FSharp.Interop.Dynamic
66 | open FSharp.Reflection
67 | 
68 | type LegalProxy(target:obj, legalMemberNames:string Set) =
69 |     inherit System.Dynamic.DynamicObject()
70 |     override _.TryInvokeMember(binder, args, (result:obj byref)) =
71 |         if legalMemberNames.Contains(binder.Name) then
72 |             let tupleType = typeof<obj> |> Array.create binder.CallInfo.ArgumentCount |> FSharpType.MakeTupleType
73 |             let fsharpArg = FSharpValue.MakeTuple(args, tupleType)
74 |             result <- target |> Dyn.invokeMember binder.Name fsharpArg
75 |             true
76 |         else
77 |             false


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | # OOP Patterns in FSharp
 2 |  Examples of OOP Patterns implmenented in F#
 3 | 
 4 | ## Reasoning
 5 | 
 6 | So, the purpose of this repo is not to advocate the use of F# as a primarily Object Oriented langauge, because the benefits of Functional Program are just too mumerous. However, if you need/wanted to do serious Object Oriented Programing, it is not only possible with F#, but thanks to it's type inference, lack of nulls, immutable by default, and simple declariations, the result is some very clear and consise object oriented code (quite possibly more so than your OO first langauge of choice – IMO better than C#).
 7 | 
 8 | This view point is not common, rather more typically I've seen is represented by this example by from [HackerNews](https://news.ycombinator.com/item?id=23505333):
 9 | 
10 | > To get all the benefits of F#, you must adopt the whole paradigm. While F# allows C#-like OOP, and while this can be an initial stepping stone in the path towards F#, you must go all the way. If you simply do OOP, the trade-offs aren't worth it, IMO, as F# is a functional-first language, and the OOP is mostly provided for interop with the rest of .NET.
11 | 
12 | That has not been anywhere near my experience, such that my feeling is this view point may be more about C# interop than OOP. But to be fair, I definately favor functional programing, and typically only do Object Oriented Style in F# to interact with frameworks patterns. So to better test this hypotheses, I thought I'd explore porting all the sample code in old standard Gang of Four Design Patterns book – [Design Patterns: Elements of Reusable Object-Oriented Software by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides](https://books.google.com/books/about/Design_Patterns.html?id=6oHuKQe3TjQC). 
13 | 
14 | Also aiming to explore C# specific sample code to evaluate, what I suspect is a worse experience, C# interop.
15 | 
16 | ## Methodology/Sections/Progress
17 | 
18 | ### Gang Of Four Patterns
19 | 
20 | *I used F# default features for code correctness in full force and didn't concern with adding extra code for C# easy consumption. I used option types instead of allowing null (unless mimicking a 3rd party framework, not the pattern), I made the bare minimum of fields mutable, I used functional style inside methods while externally presenting OOP*
21 | 
22 | | Creation | Structural | Behavioral |
23 | |-|-|-|
24 | | :heavy_check_mark: [Abstract Factory](GangOfFour/Creational-Patterns/AbstractFactory.fs) | :heavy_check_mark: [Adapter](GangOfFour/Structural-Patterns/Adapter.fs) | :heavy_check_mark: [Chain of Responsibility](GangOfFour/Behavioral-Patterns/ChainOfResponsibility.fs) |
25 | | :heavy_check_mark: [Builder](GangOfFour/Creational-Patterns/Builder.fs) | :heavy_check_mark: [Bridge](GangOfFour/Structural-Patterns/Bridge.fs) | :heavy_check_mark: [Command](GangOfFour/Behavioral-Patterns/Command.fs) |
26 | | :heavy_check_mark: [Factory Method](GangOfFour/Creational-Patterns/FactoryMethod.fs) | :heavy_check_mark: [Composite](GangOfFour/Structural-Patterns/Composite.fs) | :heavy_check_mark: [Interpreter](GangOfFour/Behavioral-Patterns/Interpreter.fs) |
27 | | :heavy_check_mark: [Prototype](GangOfFour/Creational-Patterns/Prototype.fs) | :heavy_check_mark: [Decorator](GangOfFour/Structural-Patterns/Decorator.fs) | :heavy_check_mark: [Iterator](GangOfFour/Behavioral-Patterns/Iterator.fs) |
28 | | :heavy_check_mark: [Singleton](GangOfFour/Creational-Patterns/Singleton.fs) | :heavy_check_mark: [Facade](GangOfFour/Structural-Patterns/Facade.fs) | :heavy_check_mark: [Mediator](GangOfFour/Behavioral-Patterns/Mediator.fs) |
29 | |  | :heavy_check_mark: [Flyweight](GangOfFour/Structural-Patterns/Flyweight.fs) | :construction: Memento |
30 | |  | :heavy_check_mark: [Proxy](GangOfFour/Structural-Patterns/Proxy.fs) | :construction: Observer |
31 | |  |  | :construction: State |
32 | |  |  | :construction: Strategy |
33 | |  |  | :heavy_check_mark: [Template Method](GangOfFour/Behavioral-Patterns/TemplateMethod.fs) |
34 | |  |  | :heavy_check_mark:  [Vistor](GangOfFour/Behavioral-Patterns/Vistor.fs) |
35 | 
36 | ### [MVC Entity Framework Sample Code](ef-mvc) [[C# Tutorial](https://docs.microsoft.com/en-us/aspnet/core/data/ef-mvc/?view=aspnetcore-3.1)]
37 | 
38 | *ASP.NET Core MVC and Entity Framework Core, trying to make it as readable as possible. Much more difficult, I suspect anything that requires code gen will be given up on.*
39 | 
40 | |             | Chapters       |             |
41 | |-------------|----------------|-------------|
42 | | :heavy_check_mark: Get Started | :heavy_check_mark: Complex Data   | :construction: Inheritance |
43 | | :heavy_check_mark: CRUD        | :construction: Related Data   | :construction: Advanced    |
44 | | :heavy_check_mark: Sort Filter | :construction: Update Related |             |
45 | | :x: Migrations  | :construction: Concurency     |             |
46 | 
47 | ## Notes & Caveats
48 | 
49 | ### Gang Of Four Patterns
50 | 
51 | While I didn't run into any OOP issues implementing these patterns so far, I'm noting the following:
52 | 
53 |   * Operator overloading sucks in F#, it seems like it should be nice with statically resolved types, but it ended up being a headache. Operator overloading is not necessary for OOP, lot of people think it's an antipattern, but it was used in some samples, so when I used it I kept it simple as possible. Operator overloading isn't great for C# either BTW.
54 |   * No protected methods. This is not a deal breaker for OOP programming, or the Gang of Four sample code, but as a side note, it is a kind of weird hill to die on for F# ([mentioned in the history of F#](https://dl.acm.org/doi/pdf/10.1145/3386325)), because now interop with C# frameworks that do metaprograming reflect/emit requiring writing a base class with protected virtual members (unfortunately can be a thing) is quite literally impossible. Not a big deal design wise, the F# ideology of forcing a public/internal choice, is probably better in fairness.
55 |   * I used a nightly build of [FSharp.Interop.NullOptAble](https://github.com/ekonbenefits/FSharp.Interop.NullOptAble) in the Mediator pattern to keep the domain types from allowing nullness (the. F# default), while keeping the code as simple since the original sample code had a lot of unguarded not null assumptions.
56 |   
57 | ### MVC Entity Framework Sample Code
58 | 
59 | Ran into more issues with the sample code at the start due to C# interoperablity
60 | 
61 |   * DbContext, I'm not sure if there is something that was keeping `DbSet` from being injected or if my first attempt at using `member val` was prevented by  initializtion overwriting the fields. Either way, my 2nd attempt was to initialize with `this.Set<Model>()` which caused a recursive initialization error. So I ended up using lazy backing fields for the properties and that worked just fine. Found by chance how [other people do it](https://github.com/fsharp/fslang-suggestions/issues/103), I'm going to stick with lazy init for now–looks better by far.
62 |   * Auto generated Linq expressions from param arrays don't work in F#. I had to make my own identity method that would allow the compiler to auto generate one expression and then use it on each element of an array literal. Using new F# open static type methods, made it look cleaner than it sounds.
63 |   * Entity Framework overloads of Include and ThenInclude will need some type hints. `Include` lamba's results will need to be upcasted to IEnumerable<> to get the right overload, and then you have to add a type hint to the argument of the subsequent `ThenInclude`.
64 |   * All the entities are allownull, but in usage, I wasn't sure if I wanted to null check or transform to option types. I did the later, and found an unhandled NRE based on user input thanks to type checking.
65 | 
66 |   
67 | ## Extensions
68 | 
69 |   * I'd like to port some more sample code from other source material more representive of C# specific patterns, so that I can have some examples that focus more on C# interop. I do a lot of C# interop in my day job, to the point that I am the author of 3 out of 6 **FSharp.Interop.*** libraries on Github, and feel like there is a lot of improvement that can be made for interop.
70 |   
71 | ## Todo
72 | 
73 |   * Finish Gang of Four Patterns
74 |   * Convert to dotnet interactive notebooks when stable
75 |   * Find some C# specifc patterns to port.
76 |   
77 | ## Contributing
78 | 
79 |   * I'm happy to get critiques, suggestions, discussions, additional examples, etc in issues and pull requests.
80 | 


--------------------------------------------------------------------------------
/ef-mvc/Controllers.fs:
--------------------------------------------------------------------------------
  1 | namespace ContosoUniversity.Controllers
  2 | 
  3 | open System
  4 | open System.Linq
  5 | open System.Threading.Tasks
  6 | open System.Diagnostics
  7 | open System.Runtime.InteropServices
  8 | 
  9 | open Microsoft.AspNetCore.Mvc
 10 | open Microsoft.Extensions.Logging
 11 | open Microsoft.EntityFrameworkCore
 12 | 
 13 | open ContosoUniversity.Data
 14 | open ContosoUniversity.ViewModels
 15 | open FSharp.Control.Tasks.V2
 16 | open ContosoUniversity
 17 | open ContosoUniversity.Models
 18 | 
 19 | type MVCTask = IActionResult Task
 20 | type UpdateExpr<'T> when 'T: not struct = System.Linq.Expressions.Expression<Func<'T,obj>>
 21 | [<AbstractClass;Sealed>]
 22 | type internal Helper = 
 23 |     static member UpdateExpr ([<ReflectedDefinition>]expr:UpdateExpr<'a>) = expr
 24 | 
 25 | open type Helper
 26 | 
 27 | type HomeController (logger : ILogger<HomeController>, context:SchoolContext) =
 28 |     inherit Controller()
 29 | 
 30 | 
 31 |     member this.About() = task {
 32 |         let data = 
 33 |             context
 34 |                 .Students
 35 |                 .GroupBy(fun s-> s.EnrollmentDate)
 36 |                 .Select(fun x -> {EnrollmentDate = Nullable x.Key; StudentCount =x.Count() })
 37 |         let! model = data.AsNoTracking().ToListAsync()
 38 |         return this.View(model)
 39 |     }
 40 |                 
 41 |                 
 42 |     member this.Index () = this.View()
 43 |     member this.Privacy () = this.View()
 44 | 
 45 |     [<ResponseCache(Duration = 0, Location = ResponseCacheLocation.None, NoStore = true)>]
 46 |     member this.Error () =
 47 |         let reqId = 
 48 |             if isNull Activity.Current then
 49 |                 this.HttpContext.TraceIdentifier
 50 |             else
 51 |                 Activity.Current.Id
 52 | 
 53 |         this.View({ RequestId = reqId })
 54 | 
 55 | type StudentsController (context:SchoolContext) =
 56 |     inherit Controller ()
 57 | 
 58 |     member this.Index(sortOrder:string, currentFilter:String, searchString:string, [<DefaultParameterValue(null)>] pageNumber:int Nullable) : MVCTask =
 59 |         task {
 60 |             this.ViewData.["CurrentSort"] <- sortOrder
 61 |             this.ViewData.["NameSortParm"] <- if String.IsNullOrEmpty(sortOrder) then "name_desc" else "" 
 62 |             this.ViewData.["DateSortParm"] <- if sortOrder = "Date" then "date_desc" else "Date"
 63 | 
 64 |             let searchString', pageNumber' =
 65 |                 if searchString |> (not << isNull) then
 66 |                     searchString,Some 1
 67 |                 else
 68 |                     currentFilter,pageNumber |> Option.ofNullable
 69 | 
 70 |             this.ViewData.["CurrentFilter"] <- searchString';
 71 | 
 72 |             let students = 
 73 |                 if not <| String.IsNullOrEmpty searchString' then
 74 |                     context.Students.Where(fun s-> s.LastName.Contains(searchString') || s.FirstMidName.Contains(searchString'))
 75 |                 else
 76 |                     upcast context.Students
 77 |         
 78 |             let students' = 
 79 |                 match sortOrder with
 80 |                 | "name_desc" ->  students.OrderByDescending(fun s -> s.LastName)
 81 |                 | "Date" -> students.OrderBy(fun s->s.EnrollmentDate)
 82 |                 | "date_desc" -> students.OrderByDescending(fun s->s.EnrollmentDate)
 83 |                 | _ -> students.OrderBy(fun s->s.LastName)
 84 |              
 85 |             let pageSize = 3; 
 86 |             let students'' = students'.AsNoTracking()
 87 |             let! model = PaginatedResizeArray.CreateAsync(students'', pageNumber' |> Option.defaultValue 1, pageSize)
 88 |             return upcast this.View(model)
 89 |         }
 90 | 
 91 |     member this.Details (id:int Nullable) : MVCTask =
 92 |         task {
 93 |             match Option.ofNullable id with
 94 |             | None -> return upcast this.NotFound()   
 95 |             | Some id' ->
 96 |                 let! student = 
 97 |                     context
 98 |                         .Students
 99 |                         .Include(fun s->s.Enrollments :> seq<_>)
100 |                         .ThenInclude(fun (e:Enrollment)->e.Course)
101 |                         .AsNoTracking()
102 |                         .FirstOrDefaultAsync(fun m-> m.ID = id')
103 |                 match student |> Option.ofObj with
104 |                 | None -> return upcast this.NotFound()
105 |                 | Some student' ->
106 |                     return upcast this.View(student')
107 |         }
108 | 
109 |     member this.Create():IActionResult = upcast this.View()
110 | 
111 |     [<HttpPost;ValidateAntiForgeryToken>]
112 |     member this.Create([<Bind("EnrollmentDate,FirstMidName,LastName")>]student:Student) : MVCTask = 
113 |         task {
114 |             if this.ModelState.IsValid then
115 |                 try
116 |                     context.Add(student) |> ignore
117 |                     let! _ = context.SaveChangesAsync()
118 |                     return upcast this.RedirectToAction(nameof Index)
119 |                 with :? DbUpdateException ->
120 |                     this.ModelState.AddModelError("", "Unable to save changes. " +
121 |                         "Try again, and if the problem persists " +
122 |                         "see your system administrator.");    
123 |                     return upcast this.View(student)     
124 |             else
125 |                 return upcast this.View(student)
126 |         }
127 |          
128 |     member this.Edit(id:int Nullable): MVCTask = 
129 |         task {
130 |             match id |> Option.ofNullable with
131 |             | None -> return upcast this.NotFound()
132 |             | Some id' ->
133 |                 let! student = context.Students.FindAsync(id')
134 |                 match student |> Option.ofObj with
135 |                 | None -> return upcast this.NotFound()
136 |                 | Some student' ->
137 |                     return upcast this.View(student')
138 |         }
139 | 
140 |     [<HttpPost;ActionName("Edit");ValidateAntiForgeryToken>]
141 |     member this.EditPost(id:int Nullable) : MVCTask = 
142 |         task {
143 |             match id |> Option.ofNullable with
144 |             | None -> return upcast this.NotFound()
145 |             | Some id' ->
146 |                 let! studentToUpdate = context.Students.FirstOrDefaultAsync(fun s -> s.ID = id')
147 |                 match studentToUpdate |> Option.ofObj with
148 |                 | None -> return upcast this.NotFound()
149 |                 | Some studentToUpdate' ->
150 |                     let includeExpr: UpdateExpr<Student> array = 
151 |                         [|
152 |                             UpdateExpr(fun s -> upcast s.FirstMidName)
153 |                             UpdateExpr(fun s -> upcast s.LastName)
154 |                             UpdateExpr(fun s -> upcast s.EnrollmentDate)
155 |                         |]
156 |                     match! this.TryUpdateModelAsync<Student>(studentToUpdate', "", includeExpr) with
157 |                     | true ->
158 |                         try
159 |                             let! _ = context.SaveChangesAsync()
160 |                             return upcast this.RedirectToAction(nameof Index)
161 |                         with :? DbUpdateException ->
162 |                             this.ModelState.AddModelError("", "Unable to save changes. " +
163 |                                 "Try again, and if the problem persists " +
164 |                                 "see your system administrator.");    
165 |                             return upcast this.View(studentToUpdate')     
166 |                     | false -> return upcast this.View(studentToUpdate')    
167 |         }
168 |         
169 | 
170 |     member this.Delete(id:int Nullable, 
171 |         [<Optional;DefaultParameterValue(false)>] saveChangesError: bool) : MVCTask =
172 |         task {
173 |             match id |> Option.ofNullable with
174 |             | None -> return upcast this.NotFound()
175 |             | Some id' ->
176 |                 let! student = context.Students.FirstOrDefaultAsync(fun s -> s.ID = id')
177 |                 match student |> Option.ofObj with
178 |                 | None -> return upcast this.NotFound()
179 |                 | Some student' ->
180 |                     if saveChangesError then
181 |                         this.ViewData.["ErrorMessage"] <-
182 |                                 "Delete failed. Try again, and if the problem persists " +
183 |                                 "see your system administrator."
184 |                     return upcast this.View(student')
185 |         }
186 |         
187 | 
188 | 
189 |     [<HttpPost;ActionName("Delete");ValidateAntiForgeryToken>]
190 |     member this.DeleteConfirmed(id:int) : MVCTask = 
191 |         task {
192 |             let! student = context.Students.FindAsync(id)
193 |             match student |> Option.ofObj with
194 |             | None -> return upcast this.RedirectToAction(nameof this.Index)
195 |             | Some student' -> 
196 |                 try
197 |                     context.Remove(student') |> ignore
198 |                     let! _ = context.SaveChangesAsync()
199 |                     return upcast this.RedirectToAction(nameof this.Index)
200 |                 with :? DbUpdateException ->
201 |                     return upcast this.RedirectToAction(nameof this.Delete, {| id = id; saveChangesError = true |})
202 |         }


--------------------------------------------------------------------------------
/ef-mvc/Data.fs:
--------------------------------------------------------------------------------
  1 | namespace ContosoUniversity.Data
  2 | 
  3 | open ContosoUniversity.Models
  4 | open Microsoft.EntityFrameworkCore
  5 | open Unchecked
  6 | open System
  7 | open System.Linq
  8 | 
  9 | 
 10 | type SchoolContext (options:SchoolContext DbContextOptions) as this =
 11 |     inherit DbContext(options)
 12 |     let _course= lazy this.Set<Course>() 
 13 |     let _enrollment = lazy this.Set<Enrollment>()
 14 |     let _students = lazy this.Set<Student>()  
 15 |     let _departments = lazy this.Set<Department>()
 16 |     let _instructors = lazy this.Set<Instructor>()
 17 |     let _officeAssignments = lazy this.Set<OfficeAssignment>()
 18 |     let _courseAssignments = lazy this.Set<CourseAssignment>()
 19 | 
 20 |     member _.Courses = _course.Force()
 21 |     member _.Enrollments = _enrollment.Force()
 22 |     member _.Students = _students.Force()
 23 |     member _.Departments = _departments.Force()
 24 |     member _.Instructors = _instructors.Force()
 25 |     member _.OfficeAssignments= _officeAssignments.Force()
 26 |     member _.CourseAssignments = _courseAssignments.Force()
 27 | 
 28 |     override _.OnModelCreating(modelBuilder) =
 29 |         modelBuilder.Entity<Course>().ToTable("Course") |> ignore
 30 |         modelBuilder.Entity<Enrollment>().ToTable("Enrollment") |> ignore
 31 |         modelBuilder.Entity<Student>().ToTable("Student") |> ignore
 32 |         modelBuilder.Entity<Department>().ToTable("Department") |> ignore
 33 |         modelBuilder.Entity<Instructor>().ToTable("Instructor") |> ignore
 34 |         modelBuilder.Entity<OfficeAssignment>().ToTable("OfficeAssignment") |> ignore
 35 |         modelBuilder.Entity<CourseAssignment>().ToTable("CourseAssignment") |> ignore
 36 |         modelBuilder.Entity<CourseAssignment>()
 37 |             .HasKey(fun c -> {|CourseID = c.CourseID; InstructorID=c.InstructorID |} :> obj) |> ignore
 38 | 
 39 | module DbInitializer = 
 40 |     let initialize (context:SchoolContext) =
 41 |         context.Database.EnsureCreated() |> ignore
 42 | 
 43 |         if not <| context.Students.Any() then
 44 |             let date = DateTime.Parse
 45 | 
 46 |             let students = [
 47 |                 Student(FirstMidName="Carson",LastName="Alexander",EnrollmentDate=date"2005-09-01")
 48 |                 Student(FirstMidName="Meredith",LastName="Alonso",EnrollmentDate=date"2002-09-01")
 49 |                 Student(FirstMidName="Arturo",LastName="Anand",EnrollmentDate=date"2003-09-01")
 50 |                 Student(FirstMidName="Gytis",LastName="Barzdukas",EnrollmentDate=date"2002-09-01")
 51 |                 Student(FirstMidName="Yan",LastName="Li",EnrollmentDate=date"2002-09-01")
 52 |                 Student(FirstMidName="Peggy",LastName="Justice",EnrollmentDate=date"2001-09-01")
 53 |                 Student(FirstMidName="Laura",LastName="Norman",EnrollmentDate=date"2003-09-01")
 54 |                 Student(FirstMidName="Nino",LastName="Olivetto",EnrollmentDate=date"2005-09-01")
 55 |             ]
 56 |             students |> List.iter (context.Students.Add >> ignore)
 57 |             context.SaveChanges() |> ignore
 58 | 
 59 |             let instructors =
 60 |                 [
 61 |                     Instructor ( FirstMidName = "Kim",     LastName = "Abercrombie", HireDate = date"1995-03-11" )
 62 |                     Instructor ( FirstMidName = "Fadi",    LastName = "Fakhouri",    HireDate = date"2002-07-06" )
 63 |                     Instructor ( FirstMidName = "Roger",   LastName = "Harui",       HireDate = date"1998-07-01" )
 64 |                     Instructor ( FirstMidName = "Candace", LastName = "Kapoor",      HireDate = date"2001-01-15" )
 65 |                     Instructor ( FirstMidName = "Roger",   LastName = "Zheng",       HireDate = date"2004-02-12" )
 66 |                 ] 
 67 |                 
 68 |             instructors |> List.iter (context.Instructors.Add >> ignore)
 69 |             context.SaveChanges() |> ignore
 70 | 
 71 |             let departments = [
 72 |                 Department ( Name = "English",     Budget = 350_000m,
 73 |                     StartDate = date"2007-09-01",
 74 |                     InstructorID  = instructors.Single(fun i -> i.LastName = "Abercrombie").ID )
 75 |                 Department ( Name = "Mathematics", Budget = 100_000m,
 76 |                     StartDate = date"2007-09-01",
 77 |                     InstructorID  = instructors.Single(fun i -> i.LastName = "Fakhouri").ID )
 78 |                 Department ( Name = "Engineering", Budget = 350_000m,
 79 |                     StartDate = date"2007-09-01",
 80 |                     InstructorID  = instructors.Single(fun i -> i.LastName = "Harui").ID )
 81 |                 Department ( Name = "Economics",   Budget = 100_000m,
 82 |                     StartDate = date"2007-09-01",
 83 |                     InstructorID  = instructors.Single(fun i -> i.LastName = "Kapoor").ID )
 84 |                 ]
 85 |             departments|> List.iter (context.Departments.Add >> ignore)
 86 |             context.SaveChanges() |> ignore
 87 | 
 88 |             let courses = [
 89 |                 Course (CourseID = 1050, Title = "Chemistry",      Credits = 3,
 90 |                     DepartmentID = departments.Single(fun s -> s.Name = "Engineering").DepartmentID
 91 |                 )
 92 |                 Course (CourseID = 4022, Title = "Microeconomics", Credits = 3,
 93 |                     DepartmentID = departments.Single(fun s -> s.Name = "Economics").DepartmentID
 94 |                 )
 95 |                 Course (CourseID = 4041, Title = "Macroeconomics", Credits = 3,
 96 |                     DepartmentID = departments.Single(fun s -> s.Name = "Economics").DepartmentID
 97 |                 )
 98 |                 Course (CourseID = 1045, Title = "Calculus",       Credits = 4,
 99 |                     DepartmentID = departments.Single(fun s -> s.Name = "Mathematics").DepartmentID
100 |                 )
101 |                 Course (CourseID = 3141, Title = "Trigonometry",   Credits = 4,
102 |                     DepartmentID = departments.Single(fun s -> s.Name = "Mathematics").DepartmentID
103 |                 )
104 |                 Course (CourseID = 2021, Title = "Composition",    Credits = 3,
105 |                     DepartmentID = departments.Single(fun s -> s.Name = "English").DepartmentID
106 |                 )
107 |                 Course (CourseID = 2042, Title = "Literature",     Credits = 4,
108 |                     DepartmentID = departments.Single(fun s -> s.Name = "English").DepartmentID
109 |                 )
110 |                 ] 
111 |             courses |> List.iter (context.Courses.Add >> ignore)
112 |             context.SaveChanges() |> ignore
113 | 
114 |             [
115 |                 OfficeAssignment (
116 |                     InstructorID = instructors.Single(fun i -> i.LastName = "Fakhouri").ID,
117 |                     Location = "Smith 17" )
118 |                 OfficeAssignment (
119 |                     InstructorID = instructors.Single(fun i -> i.LastName = "Harui").ID,
120 |                     Location = "Gowan 27" )
121 |                 OfficeAssignment (
122 |                     InstructorID = instructors.Single(fun i -> i.LastName = "Kapoor").ID,
123 |                     Location = "Thompson 304" )
124 |             ] |> List.iter (context.OfficeAssignments.Add >> ignore)
125 |             context.SaveChanges() |> ignore
126 | 
127 |             [
128 |                 CourseAssignment (
129 |                     CourseID = courses.Single(fun c -> c.Title = "Chemistry" ).CourseID,
130 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Kapoor").ID
131 |                     )
132 |                 CourseAssignment (
133 |                     CourseID = courses.Single(fun c -> c.Title = "Chemistry" ).CourseID,
134 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Harui").ID
135 |                     )
136 |                 CourseAssignment (
137 |                     CourseID = courses.Single(fun c -> c.Title = "Microeconomics" ).CourseID,
138 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Zheng").ID
139 |                     )
140 |                 CourseAssignment (
141 |                     CourseID = courses.Single(fun c -> c.Title = "Macroeconomics" ).CourseID,
142 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Zheng").ID
143 |                     )
144 |                 CourseAssignment (
145 |                     CourseID = courses.Single(fun c -> c.Title = "Calculus" ).CourseID,
146 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Fakhouri").ID
147 |                     )
148 |                 CourseAssignment (
149 |                     CourseID = courses.Single(fun c -> c.Title = "Trigonometry" ).CourseID,
150 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Harui").ID
151 |                     )
152 |                 CourseAssignment (
153 |                     CourseID = courses.Single(fun c -> c.Title = "Composition" ).CourseID,
154 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Abercrombie").ID
155 |                     )
156 |                 CourseAssignment (
157 |                     CourseID = courses.Single(fun c -> c.Title = "Literature" ).CourseID,
158 |                     InstructorID = instructors.Single(fun i-> i.LastName = "Abercrombie").ID
159 |                     )
160 |             ] |> List.iter (context.CourseAssignments.Add >> ignore)
161 |             context.SaveChanges() |> ignore
162 | 
163 | 
164 |             [
165 |                 Enrollment (
166 |                     StudentID = students.Single(fun s -> s.LastName = "Alexander").ID,
167 |                     CourseID = courses.Single(fun c -> c.Title = "Chemistry" ).CourseID,
168 |                     Grade = Grade.A
169 |                 )
170 |                 Enrollment (
171 |                     StudentID = students.Single(fun s -> s.LastName = "Alexander").ID,
172 |                     CourseID = courses.Single(fun c -> c.Title = "Microeconomics" ).CourseID,
173 |                     Grade = Grade.C
174 |                 )
175 |                 Enrollment (
176 |                     StudentID = students.Single(fun s -> s.LastName = "Alexander").ID,
177 |                     CourseID = courses.Single(fun c -> c.Title = "Macroeconomics" ).CourseID,
178 |                     Grade = Grade.B
179 |                 )
180 |                 Enrollment (
181 |                     StudentID = students.Single(fun s -> s.LastName = "Alonso").ID,
182 |                     CourseID = courses.Single(fun c -> c.Title = "Calculus" ).CourseID,
183 |                     Grade = Grade.B
184 |                 )
185 |                 Enrollment (
186 |                     StudentID = students.Single(fun s -> s.LastName = "Alonso").ID,
187 |                     CourseID = courses.Single(fun c -> c.Title = "Trigonometry" ).CourseID,
188 |                     Grade = Grade.B
189 |                 )
190 |                 Enrollment (
191 |                     StudentID = students.Single(fun s -> s.LastName = "Alonso").ID,
192 |                     CourseID = courses.Single(fun c -> c.Title = "Composition" ).CourseID,
193 |                     Grade = Grade.B
194 |                 )
195 |                 Enrollment (
196 |                     StudentID = students.Single(fun s -> s.LastName = "Anand").ID,
197 |                     CourseID = courses.Single(fun c -> c.Title = "Chemistry" ).CourseID
198 |                 )
199 |                 Enrollment (
200 |                     StudentID = students.Single(fun s -> s.LastName = "Anand").ID,
201 |                     CourseID = courses.Single(fun c -> c.Title = "Microeconomics").CourseID,
202 |                     Grade = Grade.B
203 |                 )
204 |                 Enrollment (
205 |                     StudentID = students.Single(fun s -> s.LastName = "Barzdukas").ID,
206 |                     CourseID = courses.Single(fun c -> c.Title = "Chemistry").CourseID,
207 |                     Grade = Grade.B
208 |                 )
209 |                 Enrollment (
210 |                     StudentID = students.Single(fun s -> s.LastName = "Li").ID,
211 |                     CourseID = courses.Single(fun c -> c.Title = "Composition").CourseID,
212 |                     Grade = Grade.B
213 |                 )
214 |                 Enrollment (
215 |                     StudentID = students.Single(fun s -> s.LastName = "Justice").ID,
216 |                     CourseID = courses.Single(fun c -> c.Title = "Literature").CourseID,
217 |                     Grade = Grade.B
218 |                 )
219 |             ]
220 |             |> List.iter (context.Enrollments.Add >> ignore)
221 |             context.SaveChanges() |> ignore
222 | 
223 | 


--------------------------------------------------------------------------------
/ef-mvc/Models.fs:
--------------------------------------------------------------------------------
  1 | namespace rec ContosoUniversity.Models
  2 | 
  3 | open System
  4 | open System.Collections.Generic
  5 | open Unchecked
  6 | open System.ComponentModel.DataAnnotations.Schema;
  7 | open System.ComponentModel.DataAnnotations;
  8 | 
  9 | [<AllowNullLiteral>] //Since we are using EF we are going to have nulls, better for everyone if we let F# expect it.
 10 | type Student () =
 11 |     [<Key>]
 12 |     member val ID = defaultof<int> with get,set
 13 |     [<StringLength(50); Required>]
 14 |     [<Display(Name = "Last Name")>]
 15 |     member val LastName = defaultof<string> with get,set
 16 |     [<StringLength(50); Required; Column("FirstName")>]
 17 |     [<Display(Name = "First Name")>]
 18 |     member val FirstMidName = defaultof<string> with get,set
 19 |     [<DataType(DataType.Date)>]
 20 |     [<DisplayFormat(DataFormatString = "{0:yyyy-MM-dd}", ApplyFormatInEditMode = true); Display(Name = "Enrollment Date")>]
 21 |     member val EnrollmentDate = defaultof<DateTime> with get,set
 22 |     [<Display(Name = "Full Name")>]
 23 |     member this.FullName = sprintf "%s, %s" this.LastName this.FullName
 24 | 
 25 |     member val Enrollments = defaultof<Enrollment ICollection> with get,set
 26 | 
 27 | [<AllowNullLiteral>]
 28 | type Instructor () =
 29 |     [<Key>]
 30 |     member val ID = defaultof<int> with get,set
 31 |     [<StringLength(50); Required>]
 32 |     [<Display(Name = "Last Name")>]
 33 |     member val LastName = defaultof<string> with get,set
 34 |     [<StringLength(50); Required; Column("FirstName")>]
 35 |     [<Display(Name = "First Name")>]
 36 |     member val FirstMidName = defaultof<string> with get,set
 37 |     [<DataType(DataType.Date)>]
 38 |     [<DisplayFormat(DataFormatString = "{0:yyyy-MM-dd}", ApplyFormatInEditMode = true); Display(Name = "Hire Date")>]
 39 |     member val HireDate = defaultof<DateTime> with get,set
 40 |     [<Display(Name = "Full Name")>]
 41 |     member this.FullName = sprintf "%s, %s" this.LastName this.FullName
 42 |     
 43 |     member val CourseAssignments = defaultof<CourseAssignment ICollection> with get,set
 44 |     member val OfficeAssignment = defaultof<OfficeAssignment> with get,set
 45 | 
 46 | [<AllowNullLiteral>]
 47 | type OfficeAssignment () = 
 48 |     [<Key>]
 49 |     member val InstructorID = defaultof<int> with get,set
 50 |     [<StringLength(50)>]
 51 |     [<Display(Name = "Office Location")>]
 52 |     member val Location = defaultof<string> with get,set
 53 |     member val Instructor = defaultof<Instructor> with get,set
 54 | 
 55 | type CourseAssignment () = 
 56 |     member val InstructorID = defaultof<int> with get,set
 57 |     member val CourseID = defaultof<int> with get,set
 58 |     member val Instructor = defaultof<Instructor> with get,set
 59 |     member val Course = defaultof<Course> with get,set
 60 | 
 61 | 
 62 | type Grade = 
 63 |     | A = 0
 64 |     | B = 1 
 65 |     | C = 2 
 66 |     | D = 3 
 67 |     | F = 4
 68 | 
 69 | [<AllowNullLiteral>]
 70 | type Enrollment () =
 71 |     member val EnrollmentID = defaultof<int> with get,set
 72 |     member val CourseID = defaultof<int> with get,set
 73 |     member val StudentID = defaultof<int> with get,set
 74 |     [<DisplayFormat(NullDisplayText = "No grade")>]
 75 |     member val Grade = defaultof<Grade Nullable> with get,set
 76 |     member val Course = defaultof<Course> with get,set
 77 |     member val Student = defaultof<Student> with get,set
 78 | 
 79 | [<AllowNullLiteral>]
 80 | type Course () = 
 81 |     [<DatabaseGenerated(DatabaseGeneratedOption.None)>]
 82 |     [<Display(Name = "Number")>]
 83 |     member val CourseID = defaultof<int> with get,set
 84 |     [<StringLength(50, MinimumLength = 3)>]
 85 |     member val Title = defaultof<string> with get,set
 86 |     [<Range(0, 5)>]
 87 |     member val Credits = defaultof<int> with get,set
 88 | 
 89 |     member val DepartmentID = defaultof<int> with get,set
 90 |     member val Department = defaultof<Department> with get,set
 91 | 
 92 | 
 93 |     member val Enrollments = defaultof<Enrollment ICollection> with get,set
 94 |     member val CourseAssignments = defaultof<CourseAssignment ICollection> with get,set
 95 | 
 96 | type Department () =
 97 |     member val DepartmentID = defaultof<int> with get,set
 98 |     [<StringLength(50, MinimumLength = 3)>]
 99 |     member val Name = defaultof<string> with get,set
100 |     [<DataType(DataType.Currency)>]
101 |     member val Budget = defaultof<decimal> with get,set
102 |     [<DataType(DataType.Date)>]
103 |     [<DisplayFormat(DataFormatString = "{0:yyyy-MM-dd}", ApplyFormatInEditMode = true);Display(Name = "Start Date")>]
104 |     member val StartDate = defaultof<DateTime> with get,set
105 |     member val InstructorID = defaultof<int Nullable> with get,set
106 |     member val Administrator = defaultof<Instructor> with get,set
107 |     member val Courses = defaultof<Course ICollection> with get,set
108 | 
109 | 
110 | 
111 | 
112 | 
113 | 


--------------------------------------------------------------------------------
/ef-mvc/Program.fs:
--------------------------------------------------------------------------------
 1 | namespace ContosoUniversity
 2 | 
 3 | open System
 4 | open System.Collections.Generic
 5 | open System.IO
 6 | open System.Linq
 7 | open System.Threading.Tasks
 8 | open Microsoft.AspNetCore
 9 | open Microsoft.AspNetCore.Hosting
10 | open Microsoft.Extensions.Configuration
11 | open Microsoft.Extensions.Hosting
12 | open Microsoft.Extensions.Logging
13 | open Microsoft.Extensions.DependencyInjection
14 | open ContosoUniversity.Data
15 | 
16 | module Program =
17 |     let exitCode = 0
18 | 
19 |     let CreateHostBuilder args =
20 |         Host.CreateDefaultBuilder(args)
21 |             .ConfigureWebHostDefaults(fun webBuilder ->
22 |                 webBuilder.UseStartup<Startup>() |> ignore
23 |             )
24 | 
25 |     [<EntryPoint>]
26 |     let main args =
27 |         let host = CreateHostBuilder(args).Build()
28 |         do 
29 |             use scope = host.Services.CreateScope()
30 |             let services = scope.ServiceProvider
31 |             try
32 |                 let context = services.GetRequiredService<SchoolContext>();
33 |                 context |> DbInitializer.initialize
34 |             with ex ->
35 |                 let logger = services.GetRequiredService<ILogger<_>>()
36 |                 logger.LogError(ex,"An error occurred while seeding the database.")
37 |         
38 |         host.Run()
39 |         exitCode
40 | 


--------------------------------------------------------------------------------
/ef-mvc/Properties/launchSettings.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "iisSettings": {
 3 |     "windowsAuthentication": false, 
 4 |     "anonymousAuthentication": true, 
 5 |     "iisExpress": {
 6 |       "applicationUrl": "http://localhost:23947",
 7 |       "sslPort": 44335
 8 |     }
 9 |   },
10 |   "profiles": {
11 |     "IIS Express": {
12 |       "commandName": "IISExpress",
13 |       "launchBrowser": true,
14 |       "environmentVariables": {
15 |         "ASPNETCORE_ENVIRONMENT": "Development"
16 |       }
17 |     },
18 |     "ef_mvc": {
19 |       "commandName": "Project",
20 |       "launchBrowser": true,
21 |       "applicationUrl": "https://localhost:5001;http://localhost:5000",
22 |       "environmentVariables": {
23 |         "ASPNETCORE_ENVIRONMENT": "Development"
24 |       }
25 |     }
26 |   }
27 | }
28 | 


--------------------------------------------------------------------------------
/ef-mvc/Startup.fs:
--------------------------------------------------------------------------------
 1 | namespace ContosoUniversity
 2 | 
 3 | open System
 4 | open System.Collections.Generic
 5 | open System.Linq
 6 | open System.Threading.Tasks
 7 | open Microsoft.AspNetCore.Builder
 8 | open Microsoft.AspNetCore.Hosting
 9 | open Microsoft.AspNetCore.HttpsPolicy;
10 | open Microsoft.AspNetCore.Mvc
11 | open Microsoft.Extensions.Configuration
12 | open Microsoft.Extensions.DependencyInjection
13 | open Microsoft.Extensions.Hosting
14 | open ContosoUniversity.Data
15 | open Microsoft.EntityFrameworkCore
16 | open Microsoft.Extensions.Configuration
17 | 
18 | type Startup private () =
19 |     new (configuration: IConfiguration) as this =
20 |         Startup() then
21 |         this.Configuration <- configuration
22 | 
23 |     // This method gets called by the runtime. Use this method to add services to the container.
24 |     member this.ConfigureServices(services: IServiceCollection) =
25 |         // Add framework services.
26 |         
27 |         services.AddDbContext<SchoolContext>(
28 |                 fun options -> 
29 |                     this.Configuration.GetConnectionString("DefaultConnection") 
30 |                     |> options.UseSqlite 
31 |                     |> ignore) 
32 |                 |> ignore
33 | 
34 |         services.AddControllersWithViews().AddRazorRuntimeCompilation() |> ignore
35 |         services.AddRazorPages() |> ignore
36 | 
37 |     // This method gets called by the runtime. Use this method to configure the HTTP request pipeline.
38 |     member this.Configure(app: IApplicationBuilder, env: IWebHostEnvironment) =
39 | 
40 |         if (env.IsDevelopment()) then
41 |             app.UseDeveloperExceptionPage() |> ignore
42 |         else
43 |             app.UseExceptionHandler("/Home/Error") |> ignore
44 |             // The default HSTS value is 30 days. You may want to change this for production scenarios, see https://aka.ms/aspnetcore-hsts.
45 |             app.UseHsts() |> ignore
46 | 
47 |         app.UseHttpsRedirection() |> ignore
48 |         app.UseStaticFiles() |> ignore
49 | 
50 |         app.UseRouting() |> ignore
51 | 
52 |         app.UseAuthorization() |> ignore
53 | 
54 |         app.UseEndpoints(fun endpoints ->
55 |             endpoints.MapControllerRoute(
56 |                 name = "default",
57 |                 pattern = "{controller=Home}/{action=Index}/{id?}") |> ignore
58 |             endpoints.MapRazorPages() |> ignore) |> ignore
59 | 
60 |     member val Configuration : IConfiguration = null with get, set
61 | 


--------------------------------------------------------------------------------
/ef-mvc/Tools.fs:
--------------------------------------------------------------------------------
 1 | namespace ContosoUniversity
 2 | 
 3 | open System.Linq
 4 | open FSharp.Control.Tasks.V2
 5 | open Microsoft.EntityFrameworkCore
 6 | 
 7 | type PaginatedResizeArray<'T>(items: 'T seq, count:int, pageIndex, pageSize) =
 8 |     inherit ResizeArray<'T>(items)
 9 |     let totalPages = (float count) / (float pageSize) |> ceil |> int
10 |     member _.HasPreviousPage = pageIndex > 1
11 |     member _.HasNextPage = pageIndex < totalPages
12 |     member _.PageIndex = pageIndex
13 |     static member CreateAsync(source:'T IQueryable, pageIndex, pageSize) =
14 |         task {
15 |             let! count = source.CountAsync()
16 |             let! items = source.Skip((pageIndex - 1) * pageSize).Take(pageSize).ToListAsync()
17 |             return PaginatedResizeArray(items, count, pageIndex, pageSize)
18 |         }


--------------------------------------------------------------------------------
/ef-mvc/ViewModels.fs:
--------------------------------------------------------------------------------
 1 | namespace ContosoUniversity.ViewModels
 2 | 
 3 | open System
 4 | 
 5 | type ErrorViewModel =
 6 |     { RequestId: string }
 7 | 
 8 |     member this.ShowRequestId =
 9 |         not (String.IsNullOrEmpty(this.RequestId))
10 | 
11 | type EnrollmentDateGroup  =
12 |     { 
13 |        EnrollmentDate: DateTime Nullable
14 |        StudentCount: int
15 |     }


--------------------------------------------------------------------------------
/ef-mvc/Views/Home/About.cshtml:
--------------------------------------------------------------------------------
 1 | @model IEnumerable<ContosoUniversity.ViewModels.EnrollmentDateGroup>
 2 | 
 3 | @{
 4 |     ViewData["Title"] = "Student Body Statistics";
 5 | }
 6 | 
 7 | <h2>Student Body Statistics</h2>
 8 | 
 9 | <table>
10 |     <tr>
11 |         <th>
12 |             Enrollment Date
13 |         </th>
14 |         <th>
15 |             Students
16 |         </th>
17 |     </tr>
18 | 
19 |     @foreach (var item in Model)
20 |     {
21 |         <tr>
22 |             <td>
23 |                 @Html.DisplayFor(modelItem => item.EnrollmentDate)
24 |             </td>
25 |             <td>
26 |                 @item.StudentCount
27 |             </td>
28 |         </tr>
29 |     }
30 | </table>


--------------------------------------------------------------------------------
/ef-mvc/Views/Home/Index.cshtml:
--------------------------------------------------------------------------------
 1 | @{
 2 |     ViewData["Title"] = "Home Page";
 3 | }
 4 | 
 5 | <div class="jumbotron">
 6 |     <h1>Contoso University</h1>
 7 | </div>
 8 | <div class="row">
 9 |     <div class="col-md-4">
10 |         <h2>Welcome to Contoso University</h2>
11 |         <p>
12 |             Contoso University is a sample application that
13 |             demonstrates how to use Entity Framework Core in an
14 |             ASP.NET Core MVC web application.
15 |         </p>
16 |     </div>
17 |     <div class="col-md-4">
18 |         <h2>Build it from scratch</h2>
19 |         <p>You can build the application by following the steps in a series of tutorials.</p>
20 |         <p><a class="btn btn-default" href="https://docs.asp.net/en/latest/data/ef-mvc/intro.html">See the tutorial &raquo;</a></p>
21 |     </div>
22 |     <div class="col-md-4">
23 |         <h2>Download it</h2>
24 |         <p>You can download the completed project from GitHub.</p>
25 |         <p><a class="btn btn-default" href="https://github.com/dotnet/AspNetCore.Docs/tree/master/aspnetcore/data/ef-mvc/intro/samples/cu-final">See project source code &raquo;</a></p>
26 |     </div>
27 | </div>


--------------------------------------------------------------------------------
/ef-mvc/Views/Home/Privacy.cshtml:
--------------------------------------------------------------------------------
1 | @{
2 |     ViewData["Title"] = "Privacy Policy";
3 | }
4 | <h1>@ViewData["Title"]</h1>
5 | 
6 | <p>Use this page to detail your site's privacy policy.</p>
7 | 


--------------------------------------------------------------------------------
/ef-mvc/Views/Shared/Error.cshtml:
--------------------------------------------------------------------------------
 1 | @using ContosoUniversity.ViewModels 
 2 | @model ErrorViewModel
 3 | @{
 4 |     ViewData["Title"] = "Error";
 5 | }
 6 | 
 7 | <h1 class="text-danger">Error.</h1>
 8 | <h2 class="text-danger">An error occurred while processing your request.</h2>
 9 | 
10 | @if (Model.ShowRequestId)
11 | {
12 |     <p>
13 |         <strong>Request ID:</strong> <code>@Model.RequestId</code>
14 |     </p>
15 | }
16 | 
17 | <h3>Development Mode</h3>
18 | <p>
19 |     Swapping to <strong>Development</strong> environment will display more detailed information about the error that occurred.
20 | </p>
21 | <p>
22 |     <strong>The Development environment shouldn't be enabled for deployed applications.</strong>
23 |     It can result in displaying sensitive information from exceptions to end users.
24 |     For local debugging, enable the <strong>Development</strong> environment by setting the <strong>ASPNETCORE_ENVIRONMENT</strong> environment variable to <strong>Development</strong>
25 |     and restarting the app.
26 | </p>
27 | 


--------------------------------------------------------------------------------
/ef-mvc/Views/Shared/_Layout.cshtml:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html>
 2 | <html>
 3 | <head>
 4 |     <meta charset="utf-8" />
 5 |     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
 6 |     <title>@ViewData["Title"] - Contoso University</title>
 7 | 
 8 |     <link rel="stylesheet" href="~/lib/bootstrap/dist/css/bootstrap.min.css" />
 9 |     <link rel="stylesheet" href="~/css/site.css" />
10 | </head>
11 | <body>
12 |     <header>
13 |         <nav class="navbar navbar-expand-sm navbar-toggleable-sm navbar-light bg-white border-bottom box-shadow mb-3">
14 |             <div class="container">
15 |                 <a class="navbar-brand" asp-area="" asp-controller="Home" asp-action="Index">ef_mvc</a>
16 |                 <button class="navbar-toggler" type="button" data-toggle="collapse" data-target=".navbar-collapse" aria-controls="navbarSupportedContent"
17 |                         aria-expanded="false" aria-label="Toggle navigation">
18 |                     <span class="navbar-toggler-icon"></span>
19 |                 </button>
20 |                 <div class="navbar-collapse collapse d-sm-inline-flex flex-sm-row-reverse">
21 |                     <ul class="navbar-nav flex-grow-1">
22 |                         <li class="nav-item">
23 |                             <a class="nav-link text-dark" asp-area="" asp-controller="Home" asp-action="Index">Home</a>
24 |                         </li>
25 |                         <li class="nav-item">
26 |                             <a class="nav-link text-dark" asp-area="" asp-controller="Home" asp-action="About">About</a>
27 |                         </li>
28 |                         <li class="nav-item">
29 |                             <a class="nav-link text-dark" asp-area="" asp-controller="Students" asp-action="Index">Students</a>
30 |                         </li>
31 |                         <li class="nav-item">
32 |                             <a class="nav-link text-dark" asp-area="" asp-controller="Courses" asp-action="Index">Courses</a>
33 |                         </li>
34 |                         <li class="nav-item">
35 |                             <a class="nav-link text-dark" asp-area="" asp-controller="Instructors" asp-action="Index">Instructors</a>
36 |                         </li>
37 |                         <li class="nav-item">
38 |                             <a class="nav-link text-dark" asp-area="" asp-controller="Departments" asp-action="Index">Departments</a>
39 |                         </li>
40 |                     </ul>
41 |                 </div>
42 |             </div>
43 |         </nav>
44 |     </header>
45 |     <div class="container">
46 |         <main role="main" class="pb-3">
47 |             @RenderBody()
48 |         </main>
49 |     </div>
50 | 
51 |     <footer class="border-top footer text-muted">
52 |         <div class="container">
53 |             &copy; 2019 - Contoso University - <a asp-area="" asp-controller="Home" asp-action="Privacy">Privacy</a>
54 |         </div>
55 |     </footer>
56 | 
57 |     <script src="~/lib/jquery/dist/jquery.min.js"></script>
58 |     <script src="~/lib/bootstrap/dist/js/bootstrap.bundle.min.js"></script>
59 | 
60 |     <script src="~/js/site.js" asp-append-version="true"></script>
61 | 
62 |     @await RenderSectionAsync("Scripts", required: false)
63 | </body>
64 | </html>
65 | 


--------------------------------------------------------------------------------
/ef-mvc/Views/Shared/_ValidationScriptsPartial.cshtml:
--------------------------------------------------------------------------------
1 | <script src="~/lib/jquery-validation/dist/jquery.validate.min.js"></script>
2 | <script src="~/lib/jquery-validation-unobtrusive/jquery.validate.unobtrusive.min.js"></script>
3 | 
4 | 


--------------------------------------------------------------------------------
/ef-mvc/Views/Students/Create.cshtml:
--------------------------------------------------------------------------------
 1 | @model ContosoUniversity.Models.Student
 2 | 
 3 | @{
 4 |     ViewData["Title"] = "Create";
 5 | }
 6 | 
 7 | <h1>Create</h1>
 8 | 
 9 | <h4>Student</h4>
10 | <hr />
11 | <div class="row">
12 |     <div class="col-md-4">
13 |         <form asp-action="Create">
14 |             <div asp-validation-summary="ModelOnly" class="text-danger"></div>
15 |             <div class="form-group">
16 |                 <label asp-for="LastName" class="control-label"></label>
17 |                 <input asp-for="LastName" class="form-control" />
18 |                 <span asp-validation-for="LastName" class="text-danger"></span>
19 |             </div>
20 |             <div class="form-group">
21 |                 <label asp-for="FirstMidName" class="control-label"></label>
22 |                 <input asp-for="FirstMidName" class="form-control" />
23 |                 <span asp-validation-for="FirstMidName" class="text-danger"></span>
24 |             </div>
25 |             <div class="form-group">
26 |                 <label asp-for="EnrollmentDate" class="control-label"></label>
27 |                 <input asp-for="EnrollmentDate" class="form-control" />
28 |                 <span asp-validation-for="EnrollmentDate" class="text-danger"></span>
29 |             </div>
30 |             <div class="form-group">
31 |                 <input type="submit" value="Create" class="btn btn-primary" />
32 |             </div>
33 |         </form>
34 |     </div>
35 | </div>
36 | 
37 | <div>
38 |     <a asp-action="Index">Back to List</a>
39 | </div>
40 | 
41 | @section Scripts {
42 |     @{await Html.RenderPartialAsync("_ValidationScriptsPartial");}
43 | }


--------------------------------------------------------------------------------
/ef-mvc/Views/Students/Delete.cshtml:
--------------------------------------------------------------------------------
 1 | @model ContosoUniversity.Models.Student
 2 | 
 3 | @{
 4 |     ViewData["Title"] = "Delete";
 5 | }
 6 | 
 7 | <h1>Delete</h1>
 8 | <p class="text-danger">@ViewData["ErrorMessage"]</p>
 9 | <h3>Are you sure you want to delete this?</h3>
10 | <div>
11 |     <h4>Student</h4>
12 |     <hr />
13 |     <dl class="row">
14 |         <dt class = "col-sm-2">
15 |             @Html.DisplayNameFor(model => model.LastName)
16 |         </dt>
17 |         <dd class = "col-sm-10">
18 |             @Html.DisplayFor(model => model.LastName)
19 |         </dd>
20 |         <dt class = "col-sm-2">
21 |             @Html.DisplayNameFor(model => model.FirstMidName)
22 |         </dt>
23 |         <dd class = "col-sm-10">
24 |             @Html.DisplayFor(model => model.FirstMidName)
25 |         </dd>
26 |         <dt class = "col-sm-2">
27 |             @Html.DisplayNameFor(model => model.EnrollmentDate)
28 |         </dt>
29 |         <dd class = "col-sm-10">
30 |             @Html.DisplayFor(model => model.EnrollmentDate)
31 |         </dd>
32 |     </dl>
33 |     
34 |     <form asp-action="Delete">
35 |         <input type="hidden" asp-for="ID" />
36 |         <input type="submit" value="Delete" class="btn btn-danger" /> |
37 |         <a asp-action="Index">Back to List</a>
38 |     </form>
39 | </div>


--------------------------------------------------------------------------------
/ef-mvc/Views/Students/Details.cshtml:
--------------------------------------------------------------------------------
 1 | @model ContosoUniversity.Models.Student
 2 | 
 3 | @{
 4 |     ViewData["Title"] = "Details";
 5 | }
 6 | 
 7 | <h1>Details</h1>
 8 | 
 9 | <div>
10 |     <h4>Student</h4>
11 |     <hr />
12 |     <dl class="row">
13 |         <dt class="col-sm-2">
14 |             @Html.DisplayNameFor(model => model.LastName)
15 |         </dt>
16 |         <dd class="col-sm-10">
17 |             @Html.DisplayFor(model => model.LastName)
18 |         </dd>
19 |         <dt class="col-sm-2">
20 |             @Html.DisplayNameFor(model => model.FirstMidName)
21 |         </dt>
22 |         <dd class="col-sm-10">
23 |             @Html.DisplayFor(model => model.FirstMidName)
24 |         </dd>
25 |         <dt class="col-sm-2">
26 |             @Html.DisplayNameFor(model => model.EnrollmentDate)
27 |         </dt>
28 |         <dd class="col-sm-10">
29 |             @Html.DisplayFor(model => model.EnrollmentDate)
30 |         </dd>
31 |         <dt class="col-sm-2">
32 |             @Html.DisplayNameFor(model => model.Enrollments)
33 |         </dt>
34 |         <dd class="col-sm-10">
35 |             <table class="table">
36 |                 <tr>
37 |                     <th>Course Title</th>
38 |                     <th>Grade</th>
39 |                 </tr>
40 |                 @foreach (var item in Model.Enrollments)
41 |                 {
42 |                     <tr>
43 |                         <td>
44 |                             @Html.DisplayFor(modelItem => item.Course.Title)
45 |                         </td>
46 |                         <td>
47 |                             @Html.DisplayFor(modelItem => item.Grade)
48 |                         </td>
49 |                     </tr>
50 |                 }
51 |             </table>
52 |         </dd>
53 |     </dl>
54 | </div>
55 | <div>
56 |     <a asp-action="Edit" asp-route-id="@Model.ID">Edit</a> |
57 |     <a asp-action="Index">Back to List</a>
58 | </div>


--------------------------------------------------------------------------------
/ef-mvc/Views/Students/Edit.cshtml:
--------------------------------------------------------------------------------
 1 | @model ContosoUniversity.Models.Student
 2 | 
 3 | @{
 4 |     ViewData["Title"] = "Edit";
 5 | }
 6 | 
 7 | <h1>Edit</h1>
 8 | 
 9 | <h4>Student</h4>
10 | <hr />
11 | <div class="row">
12 |     <div class="col-md-4">
13 |         <form asp-action="Edit">
14 |             <div asp-validation-summary="ModelOnly" class="text-danger"></div>
15 |             <input type="hidden" asp-for="ID" />
16 |             <div class="form-group">
17 |                 <label asp-for="LastName" class="control-label"></label>
18 |                 <input asp-for="LastName" class="form-control" />
19 |                 <span asp-validation-for="LastName" class="text-danger"></span>
20 |             </div>
21 |             <div class="form-group">
22 |                 <label asp-for="FirstMidName" class="control-label"></label>
23 |                 <input asp-for="FirstMidName" class="form-control" />
24 |                 <span asp-validation-for="FirstMidName" class="text-danger"></span>
25 |             </div>
26 |             <div class="form-group">
27 |                 <label asp-for="EnrollmentDate" class="control-label"></label>
28 |                 <input asp-for="EnrollmentDate" class="form-control" />
29 |                 <span asp-validation-for="EnrollmentDate" class="text-danger"></span>
30 |             </div>
31 |             <div class="form-group">
32 |                 <input type="submit" value="Save" class="btn btn-primary" />
33 |             </div>
34 |         </form>
35 |     </div>
36 | </div>
37 | 
38 | <div>
39 |     <a asp-action="Index">Back to List</a>
40 | </div>
41 | 
42 | @section Scripts {
43 |     @{await Html.RenderPartialAsync("_ValidationScriptsPartial");}
44 | }


--------------------------------------------------------------------------------
/ef-mvc/Views/Students/Index.cshtml:
--------------------------------------------------------------------------------
 1 | @model PaginatedResizeArray<ContosoUniversity.Models.Student>
 2 | 
 3 | @{
 4 |     ViewData["Title"] = "Index";
 5 | }
 6 | 
 7 | <h2>Index</h2>
 8 | 
 9 | <p>
10 |     <a asp-action="Create">Create New</a>
11 | </p>
12 | 
13 | <form asp-action="Index" method="get">
14 |     <div class="form-actions no-color">
15 |         <p>
16 |             Find by name: <input type="text" name="SearchString" value="@ViewData["currentFilter"]" />
17 |             <input type="submit" value="Search" class="btn btn-default" /> |
18 |             <a asp-action="Index">Back to Full List</a>
19 |         </p>
20 |     </div>
21 | </form>
22 | 
23 | <table class="table">
24 |     <thead>
25 |         <tr>
26 |                 <th>
27 |                     <a asp-action="Index" asp-route-sortOrder="@ViewData["NameSortParm"]" asp-route-currentFilter="@ViewData["CurrentFilter"]">Last Name</a>
28 |                 </th>
29 |                 <th>
30 |                     First Name
31 |                 </th>
32 |                 <th>
33 |                     <a asp-action="Index" asp-route-sortOrder="@ViewData["DateSortParm"]" asp-route-currentFilter="@ViewData["CurrentFilter"]">Enrollment Date</a>
34 |                 </th>
35 |             <th></th>
36 |         </tr>
37 |     </thead>
38 |     <tbody>
39 | @foreach (var item in Model) {
40 |         <tr>
41 |             <td>
42 |                 @Html.DisplayFor(modelItem => item.LastName)
43 |             </td>
44 |             <td>
45 |                 @Html.DisplayFor(modelItem => item.FirstMidName)
46 |             </td>
47 |             <td>
48 |                 @Html.DisplayFor(modelItem => item.EnrollmentDate)
49 |             </td>
50 |             <td>
51 |                 <a asp-action="Edit" asp-route-id="@item.ID">Edit</a> |
52 |                 <a asp-action="Details" asp-route-id="@item.ID">Details</a> |
53 |                 <a asp-action="Delete" asp-route-id="@item.ID">Delete</a>
54 |             </td>
55 |         </tr>
56 | }
57 |     </tbody>
58 | </table>
59 | 
60 | @{
61 |     var prevDisabled = !Model.HasPreviousPage ? "disabled" : "";
62 |     var nextDisabled = !Model.HasNextPage ? "disabled" : "";
63 | }
64 | 
65 | <a asp-action="Index"
66 |    asp-route-sortOrder="@ViewData["CurrentSort"]"
67 |    asp-route-pageNumber="@(Model.PageIndex - 1)"
68 |    asp-route-currentFilter="@ViewData["CurrentFilter"]"
69 |    class="btn btn-default @prevDisabled">
70 |     Previous
71 | </a>
72 | <a asp-action="Index"
73 |    asp-route-sortOrder="@ViewData["CurrentSort"]"
74 |    asp-route-pageNumber="@(Model.PageIndex + 1)"
75 |    asp-route-currentFilter="@ViewData["CurrentFilter"]"
76 |    class="btn btn-default @nextDisabled">
77 |     Next
78 | </a>


--------------------------------------------------------------------------------
/ef-mvc/Views/_ViewImports.cshtml:
--------------------------------------------------------------------------------
1 | @using ContosoUniversity
2 | @addTagHelper *, Microsoft.AspNetCore.Mvc.TagHelpers
3 | 


--------------------------------------------------------------------------------
/ef-mvc/Views/_ViewStart.cshtml:
--------------------------------------------------------------------------------
1 | @{
2 |     Layout = "_Layout";
3 | }
4 | 


--------------------------------------------------------------------------------
/ef-mvc/appsettings.Development.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "Logging": {
 3 |     "LogLevel": {
 4 |       "Default": "Information",
 5 |       "Microsoft": "Warning",
 6 |       "Microsoft.Hosting.Lifetime": "Information"
 7 |     }
 8 |   }
 9 | }
10 | 


--------------------------------------------------------------------------------
/ef-mvc/appsettings.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "ConnectionStrings": {
 3 |   "DefaultConnection": "Data Source=database/aspnet-WebApplica71d622.db"
 4 |   },
 5 |   "Logging": {
 6 |     "LogLevel": {
 7 |       "Default": "Information",
 8 |       "Microsoft": "Warning",
 9 |       "Microsoft.Hosting.Lifetime": "Information"
10 |     }
11 |   },
12 |   "AllowedHosts": "*"
13 | }
14 | 


--------------------------------------------------------------------------------
/ef-mvc/database/.gitignore:
--------------------------------------------------------------------------------
1 | *
2 | !.gitignore
3 | !Readme.md


--------------------------------------------------------------------------------
/ef-mvc/database/Readme.md:
--------------------------------------------------------------------------------
1 | Easy access for sqlite db with this sample code


--------------------------------------------------------------------------------
/ef-mvc/ef-mvc.fsproj:
--------------------------------------------------------------------------------
 1 | <Project Sdk="Microsoft.NET.Sdk.Web">
 2 | 
 3 |   <PropertyGroup>
 4 |     <TargetFramework>net5.0</TargetFramework>
 5 |     <RootNamespace>ContosoUniversity</RootNamespace>
 6 |   </PropertyGroup>
 7 | 
 8 |   <ItemGroup>
 9 |     <Compile Include="Models.fs" />
10 |     <Compile Include="Data.fs" />
11 |     <Compile Include="ViewModels.fs" />
12 |     <Compile Include="Tools.fs" />
13 |     <Compile Include="Controllers.fs" />
14 |     <Compile Include="Startup.fs" />
15 |     <Compile Include="Program.fs" />
16 |   </ItemGroup>
17 | 
18 |   <ItemGroup>
19 |     <PackageReference Include="Microsoft.AspNetCore.Mvc.Razor.RuntimeCompilation" Version="5.0.0" />
20 |     <PackageReference Include="Microsoft.EntityFrameworkCore.Sqlite" Version="5.0.0" />
21 |     <PackageReference Include="TaskBuilder.fs" Version="2.1.0" />
22 |   </ItemGroup>
23 | 
24 | </Project>
25 | 


--------------------------------------------------------------------------------
/ef-mvc/ef-mvc.sln:
--------------------------------------------------------------------------------
 1 | 
 2 | Microsoft Visual Studio Solution File, Format Version 12.00
 3 | # Visual Studio 15
 4 | VisualStudioVersion = 15.0.26124.0
 5 | MinimumVisualStudioVersion = 15.0.26124.0
 6 | Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "ef-mvc", "ef-mvc.fsproj", "{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}"
 7 | EndProject
 8 | Global
 9 | 	GlobalSection(SolutionConfigurationPlatforms) = preSolution
10 | 		Debug|Any CPU = Debug|Any CPU
11 | 		Debug|x64 = Debug|x64
12 | 		Debug|x86 = Debug|x86
13 | 		Release|Any CPU = Release|Any CPU
14 | 		Release|x64 = Release|x64
15 | 		Release|x86 = Release|x86
16 | 	EndGlobalSection
17 | 	GlobalSection(SolutionProperties) = preSolution
18 | 		HideSolutionNode = FALSE
19 | 	EndGlobalSection
20 | 	GlobalSection(ProjectConfigurationPlatforms) = postSolution
21 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
22 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Debug|Any CPU.Build.0 = Debug|Any CPU
23 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Debug|x64.ActiveCfg = Debug|Any CPU
24 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Debug|x64.Build.0 = Debug|Any CPU
25 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Debug|x86.ActiveCfg = Debug|Any CPU
26 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Debug|x86.Build.0 = Debug|Any CPU
27 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Release|Any CPU.ActiveCfg = Release|Any CPU
28 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Release|Any CPU.Build.0 = Release|Any CPU
29 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Release|x64.ActiveCfg = Release|Any CPU
30 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Release|x64.Build.0 = Release|Any CPU
31 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Release|x86.ActiveCfg = Release|Any CPU
32 | 		{7501BF93-3802-4EE6-B92F-6EA37F6A8B2A}.Release|x86.Build.0 = Release|Any CPU
33 | 	EndGlobalSection
34 | EndGlobal
35 | 


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/css/site.css:
--------------------------------------------------------------------------------
 1 | /* Please see documentation at https://docs.microsoft.com/aspnet/core/client-side/bundling-and-minification
 2 | for details on configuring this project to bundle and minify static web assets. */
 3 | 
 4 | a.navbar-brand {
 5 |   white-space: normal;
 6 |   text-align: center;
 7 |   word-break: break-all;
 8 | }
 9 | 
10 | /* Provide sufficient contrast against white background */
11 | a {
12 |   color: #0366d6;
13 | }
14 | 
15 | .btn-primary {
16 |   color: #fff;
17 |   background-color: #1b6ec2;
18 |   border-color: #1861ac;
19 | }
20 | 
21 | .nav-pills .nav-link.active, .nav-pills .show > .nav-link {
22 |   color: #fff;
23 |   background-color: #1b6ec2;
24 |   border-color: #1861ac;
25 | }
26 | 
27 | /* Sticky footer styles
28 | -------------------------------------------------- */
29 | html {
30 |   font-size: 14px;
31 | }
32 | @media (min-width: 768px) {
33 |   html {
34 |     font-size: 16px;
35 |   }
36 | }
37 | 
38 | .border-top {
39 |   border-top: 1px solid #e5e5e5;
40 | }
41 | .border-bottom {
42 |   border-bottom: 1px solid #e5e5e5;
43 | }
44 | 
45 | .box-shadow {
46 |   box-shadow: 0 .25rem .75rem rgba(0, 0, 0, .05);
47 | }
48 | 
49 | button.accept-policy {
50 |   font-size: 1rem;
51 |   line-height: inherit;
52 | }
53 | 
54 | /* Sticky footer styles
55 | -------------------------------------------------- */
56 | html {
57 |   position: relative;
58 |   min-height: 100%;
59 | }
60 | 
61 | body {
62 |   /* Margin bottom by footer height */
63 |   margin-bottom: 60px;
64 | }
65 | .footer {
66 |   position: absolute;
67 |   bottom: 0;
68 |   width: 100%;
69 |   white-space: nowrap;
70 |   line-height: 60px; /* Vertically center the text there */
71 | }
72 | 


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/favicon.ico:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/jbtule/OOP-Patterns-in-FSharp/9939254db36ffeb18f03a9f430be35993a789c9d/ef-mvc/wwwroot/favicon.ico


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/js/site.js:
--------------------------------------------------------------------------------
1 | // Please see documentation at https://docs.microsoft.com/aspnet/core/client-side/bundling-and-minification
2 | // for details on configuring this project to bundle and minify static web assets.
3 | 
4 | // Write your JavaScript code.
5 | 


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/bootstrap/LICENSE:
--------------------------------------------------------------------------------
 1 | The MIT License (MIT)
 2 | 
 3 | Copyright (c) 2011-2018 Twitter, Inc.
 4 | Copyright (c) 2011-2018 The Bootstrap Authors
 5 | 
 6 | Permission is hereby granted, free of charge, to any person obtaining a copy
 7 | of this software and associated documentation files (the "Software"), to deal
 8 | in the Software without restriction, including without limitation the rights
 9 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 | copies of the Software, and to permit persons to whom the Software is
11 | furnished to do so, subject to the following conditions:
12 | 
13 | The above copyright notice and this permission notice shall be included in
14 | all copies or substantial portions of the Software.
15 | 
16 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 | THE SOFTWARE.
23 | 


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/bootstrap/dist/css/bootstrap-reboot.css:
--------------------------------------------------------------------------------
  1 | /*!
  2 |  * Bootstrap Reboot v4.3.1 (https://getbootstrap.com/)
  3 |  * Copyright 2011-2019 The Bootstrap Authors
  4 |  * Copyright 2011-2019 Twitter, Inc.
  5 |  * Licensed under MIT (https://github.com/twbs/bootstrap/blob/master/LICENSE)
  6 |  * Forked from Normalize.css, licensed MIT (https://github.com/necolas/normalize.css/blob/master/LICENSE.md)
  7 |  */
  8 | *,
  9 | *::before,
 10 | *::after {
 11 |   box-sizing: border-box;
 12 | }
 13 | 
 14 | html {
 15 |   font-family: sans-serif;
 16 |   line-height: 1.15;
 17 |   -webkit-text-size-adjust: 100%;
 18 |   -webkit-tap-highlight-color: rgba(0, 0, 0, 0);
 19 | }
 20 | 
 21 | article, aside, figcaption, figure, footer, header, hgroup, main, nav, section {
 22 |   display: block;
 23 | }
 24 | 
 25 | body {
 26 |   margin: 0;
 27 |   font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
 28 |   font-size: 1rem;
 29 |   font-weight: 400;
 30 |   line-height: 1.5;
 31 |   color: #212529;
 32 |   text-align: left;
 33 |   background-color: #fff;
 34 | }
 35 | 
 36 | [tabindex="-1"]:focus {
 37 |   outline: 0 !important;
 38 | }
 39 | 
 40 | hr {
 41 |   box-sizing: content-box;
 42 |   height: 0;
 43 |   overflow: visible;
 44 | }
 45 | 
 46 | h1, h2, h3, h4, h5, h6 {
 47 |   margin-top: 0;
 48 |   margin-bottom: 0.5rem;
 49 | }
 50 | 
 51 | p {
 52 |   margin-top: 0;
 53 |   margin-bottom: 1rem;
 54 | }
 55 | 
 56 | abbr[title],
 57 | abbr[data-original-title] {
 58 |   text-decoration: underline;
 59 |   -webkit-text-decoration: underline dotted;
 60 |   text-decoration: underline dotted;
 61 |   cursor: help;
 62 |   border-bottom: 0;
 63 |   -webkit-text-decoration-skip-ink: none;
 64 |   text-decoration-skip-ink: none;
 65 | }
 66 | 
 67 | address {
 68 |   margin-bottom: 1rem;
 69 |   font-style: normal;
 70 |   line-height: inherit;
 71 | }
 72 | 
 73 | ol,
 74 | ul,
 75 | dl {
 76 |   margin-top: 0;
 77 |   margin-bottom: 1rem;
 78 | }
 79 | 
 80 | ol ol,
 81 | ul ul,
 82 | ol ul,
 83 | ul ol {
 84 |   margin-bottom: 0;
 85 | }
 86 | 
 87 | dt {
 88 |   font-weight: 700;
 89 | }
 90 | 
 91 | dd {
 92 |   margin-bottom: .5rem;
 93 |   margin-left: 0;
 94 | }
 95 | 
 96 | blockquote {
 97 |   margin: 0 0 1rem;
 98 | }
 99 | 
100 | b,
101 | strong {
102 |   font-weight: bolder;
103 | }
104 | 
105 | small {
106 |   font-size: 80%;
107 | }
108 | 
109 | sub,
110 | sup {
111 |   position: relative;
112 |   font-size: 75%;
113 |   line-height: 0;
114 |   vertical-align: baseline;
115 | }
116 | 
117 | sub {
118 |   bottom: -.25em;
119 | }
120 | 
121 | sup {
122 |   top: -.5em;
123 | }
124 | 
125 | a {
126 |   color: #007bff;
127 |   text-decoration: none;
128 |   background-color: transparent;
129 | }
130 | 
131 | a:hover {
132 |   color: #0056b3;
133 |   text-decoration: underline;
134 | }
135 | 
136 | a:not([href]):not([tabindex]) {
137 |   color: inherit;
138 |   text-decoration: none;
139 | }
140 | 
141 | a:not([href]):not([tabindex]):hover, a:not([href]):not([tabindex]):focus {
142 |   color: inherit;
143 |   text-decoration: none;
144 | }
145 | 
146 | a:not([href]):not([tabindex]):focus {
147 |   outline: 0;
148 | }
149 | 
150 | pre,
151 | code,
152 | kbd,
153 | samp {
154 |   font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
155 |   font-size: 1em;
156 | }
157 | 
158 | pre {
159 |   margin-top: 0;
160 |   margin-bottom: 1rem;
161 |   overflow: auto;
162 | }
163 | 
164 | figure {
165 |   margin: 0 0 1rem;
166 | }
167 | 
168 | img {
169 |   vertical-align: middle;
170 |   border-style: none;
171 | }
172 | 
173 | svg {
174 |   overflow: hidden;
175 |   vertical-align: middle;
176 | }
177 | 
178 | table {
179 |   border-collapse: collapse;
180 | }
181 | 
182 | caption {
183 |   padding-top: 0.75rem;
184 |   padding-bottom: 0.75rem;
185 |   color: #6c757d;
186 |   text-align: left;
187 |   caption-side: bottom;
188 | }
189 | 
190 | th {
191 |   text-align: inherit;
192 | }
193 | 
194 | label {
195 |   display: inline-block;
196 |   margin-bottom: 0.5rem;
197 | }
198 | 
199 | button {
200 |   border-radius: 0;
201 | }
202 | 
203 | button:focus {
204 |   outline: 1px dotted;
205 |   outline: 5px auto -webkit-focus-ring-color;
206 | }
207 | 
208 | input,
209 | button,
210 | select,
211 | optgroup,
212 | textarea {
213 |   margin: 0;
214 |   font-family: inherit;
215 |   font-size: inherit;
216 |   line-height: inherit;
217 | }
218 | 
219 | button,
220 | input {
221 |   overflow: visible;
222 | }
223 | 
224 | button,
225 | select {
226 |   text-transform: none;
227 | }
228 | 
229 | select {
230 |   word-wrap: normal;
231 | }
232 | 
233 | button,
234 | [type="button"],
235 | [type="reset"],
236 | [type="submit"] {
237 |   -webkit-appearance: button;
238 | }
239 | 
240 | button:not(:disabled),
241 | [type="button"]:not(:disabled),
242 | [type="reset"]:not(:disabled),
243 | [type="submit"]:not(:disabled) {
244 |   cursor: pointer;
245 | }
246 | 
247 | button::-moz-focus-inner,
248 | [type="button"]::-moz-focus-inner,
249 | [type="reset"]::-moz-focus-inner,
250 | [type="submit"]::-moz-focus-inner {
251 |   padding: 0;
252 |   border-style: none;
253 | }
254 | 
255 | input[type="radio"],
256 | input[type="checkbox"] {
257 |   box-sizing: border-box;
258 |   padding: 0;
259 | }
260 | 
261 | input[type="date"],
262 | input[type="time"],
263 | input[type="datetime-local"],
264 | input[type="month"] {
265 |   -webkit-appearance: listbox;
266 | }
267 | 
268 | textarea {
269 |   overflow: auto;
270 |   resize: vertical;
271 | }
272 | 
273 | fieldset {
274 |   min-width: 0;
275 |   padding: 0;
276 |   margin: 0;
277 |   border: 0;
278 | }
279 | 
280 | legend {
281 |   display: block;
282 |   width: 100%;
283 |   max-width: 100%;
284 |   padding: 0;
285 |   margin-bottom: .5rem;
286 |   font-size: 1.5rem;
287 |   line-height: inherit;
288 |   color: inherit;
289 |   white-space: normal;
290 | }
291 | 
292 | progress {
293 |   vertical-align: baseline;
294 | }
295 | 
296 | [type="number"]::-webkit-inner-spin-button,
297 | [type="number"]::-webkit-outer-spin-button {
298 |   height: auto;
299 | }
300 | 
301 | [type="search"] {
302 |   outline-offset: -2px;
303 |   -webkit-appearance: none;
304 | }
305 | 
306 | [type="search"]::-webkit-search-decoration {
307 |   -webkit-appearance: none;
308 | }
309 | 
310 | ::-webkit-file-upload-button {
311 |   font: inherit;
312 |   -webkit-appearance: button;
313 | }
314 | 
315 | output {
316 |   display: inline-block;
317 | }
318 | 
319 | summary {
320 |   display: list-item;
321 |   cursor: pointer;
322 | }
323 | 
324 | template {
325 |   display: none;
326 | }
327 | 
328 | [hidden] {
329 |   display: none !important;
330 | }
331 | /*# sourceMappingURL=bootstrap-reboot.css.map */


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/bootstrap/dist/css/bootstrap-reboot.min.css:
--------------------------------------------------------------------------------
1 | /*!
2 |  * Bootstrap Reboot v4.3.1 (https://getbootstrap.com/)
3 |  * Copyright 2011-2019 The Bootstrap Authors
4 |  * Copyright 2011-2019 Twitter, Inc.
5 |  * Licensed under MIT (https://github.com/twbs/bootstrap/blob/master/LICENSE)
6 |  * Forked from Normalize.css, licensed MIT (https://github.com/necolas/normalize.css/blob/master/LICENSE.md)
7 |  */*,::after,::before{box-sizing:border-box}html{font-family:sans-serif;line-height:1.15;-webkit-text-size-adjust:100%;-webkit-tap-highlight-color:transparent}article,aside,figcaption,figure,footer,header,hgroup,main,nav,section{display:block}body{margin:0;font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";font-size:1rem;font-weight:400;line-height:1.5;color:#212529;text-align:left;background-color:#fff}[tabindex="-1"]:focus{outline:0!important}hr{box-sizing:content-box;height:0;overflow:visible}h1,h2,h3,h4,h5,h6{margin-top:0;margin-bottom:.5rem}p{margin-top:0;margin-bottom:1rem}abbr[data-original-title],abbr[title]{text-decoration:underline;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;cursor:help;border-bottom:0;-webkit-text-decoration-skip-ink:none;text-decoration-skip-ink:none}address{margin-bottom:1rem;font-style:normal;line-height:inherit}dl,ol,ul{margin-top:0;margin-bottom:1rem}ol ol,ol ul,ul ol,ul ul{margin-bottom:0}dt{font-weight:700}dd{margin-bottom:.5rem;margin-left:0}blockquote{margin:0 0 1rem}b,strong{font-weight:bolder}small{font-size:80%}sub,sup{position:relative;font-size:75%;line-height:0;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}a{color:#007bff;text-decoration:none;background-color:transparent}a:hover{color:#0056b3;text-decoration:underline}a:not([href]):not([tabindex]){color:inherit;text-decoration:none}a:not([href]):not([tabindex]):focus,a:not([href]):not([tabindex]):hover{color:inherit;text-decoration:none}a:not([href]):not([tabindex]):focus{outline:0}code,kbd,pre,samp{font-family:SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;font-size:1em}pre{margin-top:0;margin-bottom:1rem;overflow:auto}figure{margin:0 0 1rem}img{vertical-align:middle;border-style:none}svg{overflow:hidden;vertical-align:middle}table{border-collapse:collapse}caption{padding-top:.75rem;padding-bottom:.75rem;color:#6c757d;text-align:left;caption-side:bottom}th{text-align:inherit}label{display:inline-block;margin-bottom:.5rem}button{border-radius:0}button:focus{outline:1px dotted;outline:5px auto -webkit-focus-ring-color}button,input,optgroup,select,textarea{margin:0;font-family:inherit;font-size:inherit;line-height:inherit}button,input{overflow:visible}button,select{text-transform:none}select{word-wrap:normal}[type=button],[type=reset],[type=submit],button{-webkit-appearance:button}[type=button]:not(:disabled),[type=reset]:not(:disabled),[type=submit]:not(:disabled),button:not(:disabled){cursor:pointer}[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner,button::-moz-focus-inner{padding:0;border-style:none}input[type=checkbox],input[type=radio]{box-sizing:border-box;padding:0}input[type=date],input[type=datetime-local],input[type=month],input[type=time]{-webkit-appearance:listbox}textarea{overflow:auto;resize:vertical}fieldset{min-width:0;padding:0;margin:0;border:0}legend{display:block;width:100%;max-width:100%;padding:0;margin-bottom:.5rem;font-size:1.5rem;line-height:inherit;color:inherit;white-space:normal}progress{vertical-align:baseline}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{outline-offset:-2px;-webkit-appearance:none}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{font:inherit;-webkit-appearance:button}output{display:inline-block}summary{display:list-item;cursor:pointer}template{display:none}[hidden]{display:none!important}
8 | /*# sourceMappingURL=bootstrap-reboot.min.css.map */


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/jquery-validation-unobtrusive/LICENSE.txt:
--------------------------------------------------------------------------------
 1 | Copyright (c) .NET Foundation. All rights reserved.
 2 | 
 3 | Licensed under the Apache License, Version 2.0 (the "License"); you may not use
 4 | these files except in compliance with the License. You may obtain a copy of the
 5 | License at
 6 | 
 7 | http://www.apache.org/licenses/LICENSE-2.0
 8 | 
 9 | Unless required by applicable law or agreed to in writing, software distributed
10 | under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
11 | CONDITIONS OF ANY KIND, either express or implied. See the License for the
12 | specific language governing permissions and limitations under the License.
13 | 


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/jquery-validation-unobtrusive/jquery.validate.unobtrusive.js:
--------------------------------------------------------------------------------
  1 | // Unobtrusive validation support library for jQuery and jQuery Validate
  2 | // Copyright (c) .NET Foundation. All rights reserved.
  3 | // Licensed under the Apache License, Version 2.0. See License.txt in the project root for license information.
  4 | // @version v3.2.11
  5 | 
  6 | /*jslint white: true, browser: true, onevar: true, undef: true, nomen: true, eqeqeq: true, plusplus: true, bitwise: true, regexp: true, newcap: true, immed: true, strict: false */
  7 | /*global document: false, jQuery: false */
  8 | 
  9 | (function (factory) {
 10 |     if (typeof define === 'function' && define.amd) {
 11 |         // AMD. Register as an anonymous module.
 12 |         define("jquery.validate.unobtrusive", ['jquery-validation'], factory);
 13 |     } else if (typeof module === 'object' && module.exports) {
 14 |         // CommonJS-like environments that support module.exports     
 15 |         module.exports = factory(require('jquery-validation'));
 16 |     } else {
 17 |         // Browser global
 18 |         jQuery.validator.unobtrusive = factory(jQuery);
 19 |     }
 20 | }(function ($) {
 21 |     var $jQval = $.validator,
 22 |         adapters,
 23 |         data_validation = "unobtrusiveValidation";
 24 | 
 25 |     function setValidationValues(options, ruleName, value) {
 26 |         options.rules[ruleName] = value;
 27 |         if (options.message) {
 28 |             options.messages[ruleName] = options.message;
 29 |         }
 30 |     }
 31 | 
 32 |     function splitAndTrim(value) {
 33 |         return value.replace(/^\s+|\s+$/g, "").split(/\s*,\s*/g);
 34 |     }
 35 | 
 36 |     function escapeAttributeValue(value) {
 37 |         // As mentioned on http://api.jquery.com/category/selectors/
 38 |         return value.replace(/([!"#$%&'()*+,./:;<=>?@\[\\\]^`{|}~])/g, "\\$1");
 39 |     }
 40 | 
 41 |     function getModelPrefix(fieldName) {
 42 |         return fieldName.substr(0, fieldName.lastIndexOf(".") + 1);
 43 |     }
 44 | 
 45 |     function appendModelPrefix(value, prefix) {
 46 |         if (value.indexOf("*.") === 0) {
 47 |             value = value.replace("*.", prefix);
 48 |         }
 49 |         return value;
 50 |     }
 51 | 
 52 |     function onError(error, inputElement) {  // 'this' is the form element
 53 |         var container = $(this).find("[data-valmsg-for='" + escapeAttributeValue(inputElement[0].name) + "']"),
 54 |             replaceAttrValue = container.attr("data-valmsg-replace"),
 55 |             replace = replaceAttrValue ? $.parseJSON(replaceAttrValue) !== false : null;
 56 | 
 57 |         container.removeClass("field-validation-valid").addClass("field-validation-error");
 58 |         error.data("unobtrusiveContainer", container);
 59 | 
 60 |         if (replace) {
 61 |             container.empty();
 62 |             error.removeClass("input-validation-error").appendTo(container);
 63 |         }
 64 |         else {
 65 |             error.hide();
 66 |         }
 67 |     }
 68 | 
 69 |     function onErrors(event, validator) {  // 'this' is the form element
 70 |         var container = $(this).find("[data-valmsg-summary=true]"),
 71 |             list = container.find("ul");
 72 | 
 73 |         if (list && list.length && validator.errorList.length) {
 74 |             list.empty();
 75 |             container.addClass("validation-summary-errors").removeClass("validation-summary-valid");
 76 | 
 77 |             $.each(validator.errorList, function () {
 78 |                 $("<li />").html(this.message).appendTo(list);
 79 |             });
 80 |         }
 81 |     }
 82 | 
 83 |     function onSuccess(error) {  // 'this' is the form element
 84 |         var container = error.data("unobtrusiveContainer");
 85 | 
 86 |         if (container) {
 87 |             var replaceAttrValue = container.attr("data-valmsg-replace"),
 88 |                 replace = replaceAttrValue ? $.parseJSON(replaceAttrValue) : null;
 89 | 
 90 |             container.addClass("field-validation-valid").removeClass("field-validation-error");
 91 |             error.removeData("unobtrusiveContainer");
 92 | 
 93 |             if (replace) {
 94 |                 container.empty();
 95 |             }
 96 |         }
 97 |     }
 98 | 
 99 |     function onReset(event) {  // 'this' is the form element
100 |         var $form = $(this),
101 |             key = '__jquery_unobtrusive_validation_form_reset';
102 |         if ($form.data(key)) {
103 |             return;
104 |         }
105 |         // Set a flag that indicates we're currently resetting the form.
106 |         $form.data(key, true);
107 |         try {
108 |             $form.data("validator").resetForm();
109 |         } finally {
110 |             $form.removeData(key);
111 |         }
112 | 
113 |         $form.find(".validation-summary-errors")
114 |             .addClass("validation-summary-valid")
115 |             .removeClass("validation-summary-errors");
116 |         $form.find(".field-validation-error")
117 |             .addClass("field-validation-valid")
118 |             .removeClass("field-validation-error")
119 |             .removeData("unobtrusiveContainer")
120 |             .find(">*")  // If we were using valmsg-replace, get the underlying error
121 |             .removeData("unobtrusiveContainer");
122 |     }
123 | 
124 |     function validationInfo(form) {
125 |         var $form = $(form),
126 |             result = $form.data(data_validation),
127 |             onResetProxy = $.proxy(onReset, form),
128 |             defaultOptions = $jQval.unobtrusive.options || {},
129 |             execInContext = function (name, args) {
130 |                 var func = defaultOptions[name];
131 |                 func && $.isFunction(func) && func.apply(form, args);
132 |             };
133 | 
134 |         if (!result) {
135 |             result = {
136 |                 options: {  // options structure passed to jQuery Validate's validate() method
137 |                     errorClass: defaultOptions.errorClass || "input-validation-error",
138 |                     errorElement: defaultOptions.errorElement || "span",
139 |                     errorPlacement: function () {
140 |                         onError.apply(form, arguments);
141 |                         execInContext("errorPlacement", arguments);
142 |                     },
143 |                     invalidHandler: function () {
144 |                         onErrors.apply(form, arguments);
145 |                         execInContext("invalidHandler", arguments);
146 |                     },
147 |                     messages: {},
148 |                     rules: {},
149 |                     success: function () {
150 |                         onSuccess.apply(form, arguments);
151 |                         execInContext("success", arguments);
152 |                     }
153 |                 },
154 |                 attachValidation: function () {
155 |                     $form
156 |                         .off("reset." + data_validation, onResetProxy)
157 |                         .on("reset." + data_validation, onResetProxy)
158 |                         .validate(this.options);
159 |                 },
160 |                 validate: function () {  // a validation function that is called by unobtrusive Ajax
161 |                     $form.validate();
162 |                     return $form.valid();
163 |                 }
164 |             };
165 |             $form.data(data_validation, result);
166 |         }
167 | 
168 |         return result;
169 |     }
170 | 
171 |     $jQval.unobtrusive = {
172 |         adapters: [],
173 | 
174 |         parseElement: function (element, skipAttach) {
175 |             /// <summary>
176 |             /// Parses a single HTML element for unobtrusive validation attributes.
177 |             /// </summary>
178 |             /// <param name="element" domElement="true">The HTML element to be parsed.</param>
179 |             /// <param name="skipAttach" type="Boolean">[Optional] true to skip attaching the
180 |             /// validation to the form. If parsing just this single element, you should specify true.
181 |             /// If parsing several elements, you should specify false, and manually attach the validation
182 |             /// to the form when you are finished. The default is false.</param>
183 |             var $element = $(element),
184 |                 form = $element.parents("form")[0],
185 |                 valInfo, rules, messages;
186 | 
187 |             if (!form) {  // Cannot do client-side validation without a form
188 |                 return;
189 |             }
190 | 
191 |             valInfo = validationInfo(form);
192 |             valInfo.options.rules[element.name] = rules = {};
193 |             valInfo.options.messages[element.name] = messages = {};
194 | 
195 |             $.each(this.adapters, function () {
196 |                 var prefix = "data-val-" + this.name,
197 |                     message = $element.attr(prefix),
198 |                     paramValues = {};
199 | 
200 |                 if (message !== undefined) {  // Compare against undefined, because an empty message is legal (and falsy)
201 |                     prefix += "-";
202 | 
203 |                     $.each(this.params, function () {
204 |                         paramValues[this] = $element.attr(prefix + this);
205 |                     });
206 | 
207 |                     this.adapt({
208 |                         element: element,
209 |                         form: form,
210 |                         message: message,
211 |                         params: paramValues,
212 |                         rules: rules,
213 |                         messages: messages
214 |                     });
215 |                 }
216 |             });
217 | 
218 |             $.extend(rules, { "__dummy__": true });
219 | 
220 |             if (!skipAttach) {
221 |                 valInfo.attachValidation();
222 |             }
223 |         },
224 | 
225 |         parse: function (selector) {
226 |             /// <summary>
227 |             /// Parses all the HTML elements in the specified selector. It looks for input elements decorated
228 |             /// with the [data-val=true] attribute value and enables validation according to the data-val-*
229 |             /// attribute values.
230 |             /// </summary>
231 |             /// <param name="selector" type="String">Any valid jQuery selector.</param>
232 | 
233 |             // $forms includes all forms in selector's DOM hierarchy (parent, children and self) that have at least one
234 |             // element with data-val=true
235 |             var $selector = $(selector),
236 |                 $forms = $selector.parents()
237 |                     .addBack()
238 |                     .filter("form")
239 |                     .add($selector.find("form"))
240 |                     .has("[data-val=true]");
241 | 
242 |             $selector.find("[data-val=true]").each(function () {
243 |                 $jQval.unobtrusive.parseElement(this, true);
244 |             });
245 | 
246 |             $forms.each(function () {
247 |                 var info = validationInfo(this);
248 |                 if (info) {
249 |                     info.attachValidation();
250 |                 }
251 |             });
252 |         }
253 |     };
254 | 
255 |     adapters = $jQval.unobtrusive.adapters;
256 | 
257 |     adapters.add = function (adapterName, params, fn) {
258 |         /// <summary>Adds a new adapter to convert unobtrusive HTML into a jQuery Validate validation.</summary>
259 |         /// <param name="adapterName" type="String">The name of the adapter to be added. This matches the name used
260 |         /// in the data-val-nnnn HTML attribute (where nnnn is the adapter name).</param>
261 |         /// <param name="params" type="Array" optional="true">[Optional] An array of parameter names (strings) that will
262 |         /// be extracted from the data-val-nnnn-mmmm HTML attributes (where nnnn is the adapter name, and
263 |         /// mmmm is the parameter name).</param>
264 |         /// <param name="fn" type="Function">The function to call, which adapts the values from the HTML
265 |         /// attributes into jQuery Validate rules and/or messages.</param>
266 |         /// <returns type="jQuery.validator.unobtrusive.adapters" />
267 |         if (!fn) {  // Called with no params, just a function
268 |             fn = params;
269 |             params = [];
270 |         }
271 |         this.push({ name: adapterName, params: params, adapt: fn });
272 |         return this;
273 |     };
274 | 
275 |     adapters.addBool = function (adapterName, ruleName) {
276 |         /// <summary>Adds a new adapter to convert unobtrusive HTML into a jQuery Validate validation, where
277 |         /// the jQuery Validate validation rule has no parameter values.</summary>
278 |         /// <param name="adapterName" type="String">The name of the adapter to be added. This matches the name used
279 |         /// in the data-val-nnnn HTML attribute (where nnnn is the adapter name).</param>
280 |         /// <param name="ruleName" type="String" optional="true">[Optional] The name of the jQuery Validate rule. If not provided, the value
281 |         /// of adapterName will be used instead.</param>
282 |         /// <returns type="jQuery.validator.unobtrusive.adapters" />
283 |         return this.add(adapterName, function (options) {
284 |             setValidationValues(options, ruleName || adapterName, true);
285 |         });
286 |     };
287 | 
288 |     adapters.addMinMax = function (adapterName, minRuleName, maxRuleName, minMaxRuleName, minAttribute, maxAttribute) {
289 |         /// <summary>Adds a new adapter to convert unobtrusive HTML into a jQuery Validate validation, where
290 |         /// the jQuery Validate validation has three potential rules (one for min-only, one for max-only, and
291 |         /// one for min-and-max). The HTML parameters are expected to be named -min and -max.</summary>
292 |         /// <param name="adapterName" type="String">The name of the adapter to be added. This matches the name used
293 |         /// in the data-val-nnnn HTML attribute (where nnnn is the adapter name).</param>
294 |         /// <param name="minRuleName" type="String">The name of the jQuery Validate rule to be used when you only
295 |         /// have a minimum value.</param>
296 |         /// <param name="maxRuleName" type="String">The name of the jQuery Validate rule to be used when you only
297 |         /// have a maximum value.</param>
298 |         /// <param name="minMaxRuleName" type="String">The name of the jQuery Validate rule to be used when you
299 |         /// have both a minimum and maximum value.</param>
300 |         /// <param name="minAttribute" type="String" optional="true">[Optional] The name of the HTML attribute that
301 |         /// contains the minimum value. The default is "min".</param>
302 |         /// <param name="maxAttribute" type="String" optional="true">[Optional] The name of the HTML attribute that
303 |         /// contains the maximum value. The default is "max".</param>
304 |         /// <returns type="jQuery.validator.unobtrusive.adapters" />
305 |         return this.add(adapterName, [minAttribute || "min", maxAttribute || "max"], function (options) {
306 |             var min = options.params.min,
307 |                 max = options.params.max;
308 | 
309 |             if (min && max) {
310 |                 setValidationValues(options, minMaxRuleName, [min, max]);
311 |             }
312 |             else if (min) {
313 |                 setValidationValues(options, minRuleName, min);
314 |             }
315 |             else if (max) {
316 |                 setValidationValues(options, maxRuleName, max);
317 |             }
318 |         });
319 |     };
320 | 
321 |     adapters.addSingleVal = function (adapterName, attribute, ruleName) {
322 |         /// <summary>Adds a new adapter to convert unobtrusive HTML into a jQuery Validate validation, where
323 |         /// the jQuery Validate validation rule has a single value.</summary>
324 |         /// <param name="adapterName" type="String">The name of the adapter to be added. This matches the name used
325 |         /// in the data-val-nnnn HTML attribute(where nnnn is the adapter name).</param>
326 |         /// <param name="attribute" type="String">[Optional] The name of the HTML attribute that contains the value.
327 |         /// The default is "val".</param>
328 |         /// <param name="ruleName" type="String" optional="true">[Optional] The name of the jQuery Validate rule. If not provided, the value
329 |         /// of adapterName will be used instead.</param>
330 |         /// <returns type="jQuery.validator.unobtrusive.adapters" />
331 |         return this.add(adapterName, [attribute || "val"], function (options) {
332 |             setValidationValues(options, ruleName || adapterName, options.params[attribute]);
333 |         });
334 |     };
335 | 
336 |     $jQval.addMethod("__dummy__", function (value, element, params) {
337 |         return true;
338 |     });
339 | 
340 |     $jQval.addMethod("regex", function (value, element, params) {
341 |         var match;
342 |         if (this.optional(element)) {
343 |             return true;
344 |         }
345 | 
346 |         match = new RegExp(params).exec(value);
347 |         return (match && (match.index === 0) && (match[0].length === value.length));
348 |     });
349 | 
350 |     $jQval.addMethod("nonalphamin", function (value, element, nonalphamin) {
351 |         var match;
352 |         if (nonalphamin) {
353 |             match = value.match(/\W/g);
354 |             match = match && match.length >= nonalphamin;
355 |         }
356 |         return match;
357 |     });
358 | 
359 |     if ($jQval.methods.extension) {
360 |         adapters.addSingleVal("accept", "mimtype");
361 |         adapters.addSingleVal("extension", "extension");
362 |     } else {
363 |         // for backward compatibility, when the 'extension' validation method does not exist, such as with versions
364 |         // of JQuery Validation plugin prior to 1.10, we should use the 'accept' method for
365 |         // validating the extension, and ignore mime-type validations as they are not supported.
366 |         adapters.addSingleVal("extension", "extension", "accept");
367 |     }
368 | 
369 |     adapters.addSingleVal("regex", "pattern");
370 |     adapters.addBool("creditcard").addBool("date").addBool("digits").addBool("email").addBool("number").addBool("url");
371 |     adapters.addMinMax("length", "minlength", "maxlength", "rangelength").addMinMax("range", "min", "max", "range");
372 |     adapters.addMinMax("minlength", "minlength").addMinMax("maxlength", "minlength", "maxlength");
373 |     adapters.add("equalto", ["other"], function (options) {
374 |         var prefix = getModelPrefix(options.element.name),
375 |             other = options.params.other,
376 |             fullOtherName = appendModelPrefix(other, prefix),
377 |             element = $(options.form).find(":input").filter("[name='" + escapeAttributeValue(fullOtherName) + "']")[0];
378 | 
379 |         setValidationValues(options, "equalTo", element);
380 |     });
381 |     adapters.add("required", function (options) {
382 |         // jQuery Validate equates "required" with "mandatory" for checkbox elements
383 |         if (options.element.tagName.toUpperCase() !== "INPUT" || options.element.type.toUpperCase() !== "CHECKBOX") {
384 |             setValidationValues(options, "required", true);
385 |         }
386 |     });
387 |     adapters.add("remote", ["url", "type", "additionalfields"], function (options) {
388 |         var value = {
389 |             url: options.params.url,
390 |             type: options.params.type || "GET",
391 |             data: {}
392 |         },
393 |             prefix = getModelPrefix(options.element.name);
394 | 
395 |         $.each(splitAndTrim(options.params.additionalfields || options.element.name), function (i, fieldName) {
396 |             var paramName = appendModelPrefix(fieldName, prefix);
397 |             value.data[paramName] = function () {
398 |                 var field = $(options.form).find(":input").filter("[name='" + escapeAttributeValue(paramName) + "']");
399 |                 // For checkboxes and radio buttons, only pick up values from checked fields.
400 |                 if (field.is(":checkbox")) {
401 |                     return field.filter(":checked").val() || field.filter(":hidden").val() || '';
402 |                 }
403 |                 else if (field.is(":radio")) {
404 |                     return field.filter(":checked").val() || '';
405 |                 }
406 |                 return field.val();
407 |             };
408 |         });
409 | 
410 |         setValidationValues(options, "remote", value);
411 |     });
412 |     adapters.add("password", ["min", "nonalphamin", "regex"], function (options) {
413 |         if (options.params.min) {
414 |             setValidationValues(options, "minlength", options.params.min);
415 |         }
416 |         if (options.params.nonalphamin) {
417 |             setValidationValues(options, "nonalphamin", options.params.nonalphamin);
418 |         }
419 |         if (options.params.regex) {
420 |             setValidationValues(options, "regex", options.params.regex);
421 |         }
422 |     });
423 |     adapters.add("fileextensions", ["extensions"], function (options) {
424 |         setValidationValues(options, "extension", options.params.extensions);
425 |     });
426 | 
427 |     $(function () {
428 |         $jQval.unobtrusive.parse(document);
429 |     });
430 | 
431 |     return $jQval.unobtrusive;
432 | }));
433 | 


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/jquery-validation-unobtrusive/jquery.validate.unobtrusive.min.js:
--------------------------------------------------------------------------------
1 | // Unobtrusive validation support library for jQuery and jQuery Validate
2 | // Copyright (c) .NET Foundation. All rights reserved.
3 | // Licensed under the Apache License, Version 2.0. See License.txt in the project root for license information.
4 | // @version v3.2.11
5 | !function(a){"function"==typeof define&&define.amd?define("jquery.validate.unobtrusive",["jquery-validation"],a):"object"==typeof module&&module.exports?module.exports=a(require("jquery-validation")):jQuery.validator.unobtrusive=a(jQuery)}(function(a){function e(a,e,n){a.rules[e]=n,a.message&&(a.messages[e]=a.message)}function n(a){return a.replace(/^\s+|\s+$/g,"").split(/\s*,\s*/g)}function t(a){return a.replace(/([!"#$%&'()*+,.\/:;<=>?@\[\\\]^`{|}~])/g,"\\$1")}function r(a){return a.substr(0,a.lastIndexOf(".")+1)}function i(a,e){return 0===a.indexOf("*.")&&(a=a.replace("*.",e)),a}function o(e,n){var r=a(this).find("[data-valmsg-for='"+t(n[0].name)+"']"),i=r.attr("data-valmsg-replace"),o=i?a.parseJSON(i)!==!1:null;r.removeClass("field-validation-valid").addClass("field-validation-error"),e.data("unobtrusiveContainer",r),o?(r.empty(),e.removeClass("input-validation-error").appendTo(r)):e.hide()}function d(e,n){var t=a(this).find("[data-valmsg-summary=true]"),r=t.find("ul");r&&r.length&&n.errorList.length&&(r.empty(),t.addClass("validation-summary-errors").removeClass("validation-summary-valid"),a.each(n.errorList,function(){a("<li />").html(this.message).appendTo(r)}))}function s(e){var n=e.data("unobtrusiveContainer");if(n){var t=n.attr("data-valmsg-replace"),r=t?a.parseJSON(t):null;n.addClass("field-validation-valid").removeClass("field-validation-error"),e.removeData("unobtrusiveContainer"),r&&n.empty()}}function l(e){var n=a(this),t="__jquery_unobtrusive_validation_form_reset";if(!n.data(t)){n.data(t,!0);try{n.data("validator").resetForm()}finally{n.removeData(t)}n.find(".validation-summary-errors").addClass("validation-summary-valid").removeClass("validation-summary-errors"),n.find(".field-validation-error").addClass("field-validation-valid").removeClass("field-validation-error").removeData("unobtrusiveContainer").find(">*").removeData("unobtrusiveContainer")}}function u(e){var n=a(e),t=n.data(v),r=a.proxy(l,e),i=f.unobtrusive.options||{},u=function(n,t){var r=i[n];r&&a.isFunction(r)&&r.apply(e,t)};return t||(t={options:{errorClass:i.errorClass||"input-validation-error",errorElement:i.errorElement||"span",errorPlacement:function(){o.apply(e,arguments),u("errorPlacement",arguments)},invalidHandler:function(){d.apply(e,arguments),u("invalidHandler",arguments)},messages:{},rules:{},success:function(){s.apply(e,arguments),u("success",arguments)}},attachValidation:function(){n.off("reset."+v,r).on("reset."+v,r).validate(this.options)},validate:function(){return n.validate(),n.valid()}},n.data(v,t)),t}var m,f=a.validator,v="unobtrusiveValidation";return f.unobtrusive={adapters:[],parseElement:function(e,n){var t,r,i,o=a(e),d=o.parents("form")[0];d&&(t=u(d),t.options.rules[e.name]=r={},t.options.messages[e.name]=i={},a.each(this.adapters,function(){var n="data-val-"+this.name,t=o.attr(n),s={};void 0!==t&&(n+="-",a.each(this.params,function(){s[this]=o.attr(n+this)}),this.adapt({element:e,form:d,message:t,params:s,rules:r,messages:i}))}),a.extend(r,{__dummy__:!0}),n||t.attachValidation())},parse:function(e){var n=a(e),t=n.parents().addBack().filter("form").add(n.find("form")).has("[data-val=true]");n.find("[data-val=true]").each(function(){f.unobtrusive.parseElement(this,!0)}),t.each(function(){var a=u(this);a&&a.attachValidation()})}},m=f.unobtrusive.adapters,m.add=function(a,e,n){return n||(n=e,e=[]),this.push({name:a,params:e,adapt:n}),this},m.addBool=function(a,n){return this.add(a,function(t){e(t,n||a,!0)})},m.addMinMax=function(a,n,t,r,i,o){return this.add(a,[i||"min",o||"max"],function(a){var i=a.params.min,o=a.params.max;i&&o?e(a,r,[i,o]):i?e(a,n,i):o&&e(a,t,o)})},m.addSingleVal=function(a,n,t){return this.add(a,[n||"val"],function(r){e(r,t||a,r.params[n])})},f.addMethod("__dummy__",function(a,e,n){return!0}),f.addMethod("regex",function(a,e,n){var t;return!!this.optional(e)||(t=new RegExp(n).exec(a),t&&0===t.index&&t[0].length===a.length)}),f.addMethod("nonalphamin",function(a,e,n){var t;return n&&(t=a.match(/\W/g),t=t&&t.length>=n),t}),f.methods.extension?(m.addSingleVal("accept","mimtype"),m.addSingleVal("extension","extension")):m.addSingleVal("extension","extension","accept"),m.addSingleVal("regex","pattern"),m.addBool("creditcard").addBool("date").addBool("digits").addBool("email").addBool("number").addBool("url"),m.addMinMax("length","minlength","maxlength","rangelength").addMinMax("range","min","max","range"),m.addMinMax("minlength","minlength").addMinMax("maxlength","minlength","maxlength"),m.add("equalto",["other"],function(n){var o=r(n.element.name),d=n.params.other,s=i(d,o),l=a(n.form).find(":input").filter("[name='"+t(s)+"']")[0];e(n,"equalTo",l)}),m.add("required",function(a){"INPUT"===a.element.tagName.toUpperCase()&&"CHECKBOX"===a.element.type.toUpperCase()||e(a,"required",!0)}),m.add("remote",["url","type","additionalfields"],function(o){var d={url:o.params.url,type:o.params.type||"GET",data:{}},s=r(o.element.name);a.each(n(o.params.additionalfields||o.element.name),function(e,n){var r=i(n,s);d.data[r]=function(){var e=a(o.form).find(":input").filter("[name='"+t(r)+"']");return e.is(":checkbox")?e.filter(":checked").val()||e.filter(":hidden").val()||"":e.is(":radio")?e.filter(":checked").val()||"":e.val()}}),e(o,"remote",d)}),m.add("password",["min","nonalphamin","regex"],function(a){a.params.min&&e(a,"minlength",a.params.min),a.params.nonalphamin&&e(a,"nonalphamin",a.params.nonalphamin),a.params.regex&&e(a,"regex",a.params.regex)}),m.add("fileextensions",["extensions"],function(a){e(a,"extension",a.params.extensions)}),a(function(){f.unobtrusive.parse(document)}),f.unobtrusive});


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/jquery-validation/LICENSE.md:
--------------------------------------------------------------------------------
 1 | The MIT License (MIT)
 2 | =====================
 3 | 
 4 | Copyright Jörn Zaefferer
 5 | 
 6 | Permission is hereby granted, free of charge, to any person obtaining a copy
 7 | of this software and associated documentation files (the "Software"), to deal
 8 | in the Software without restriction, including without limitation the rights
 9 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 | copies of the Software, and to permit persons to whom the Software is
11 | furnished to do so, subject to the following conditions:
12 | 
13 | The above copyright notice and this permission notice shall be included in
14 | all copies or substantial portions of the Software.
15 | 
16 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 | THE SOFTWARE.
23 | 


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/jquery-validation/dist/additional-methods.min.js:
--------------------------------------------------------------------------------
1 | /*! jQuery Validation Plugin - v1.17.0 - 7/29/2017
2 |  * https://jqueryvalidation.org/
3 |  * Copyright (c) 2017 Jörn Zaefferer; Licensed MIT */
4 | !function(a){"function"==typeof define&&define.amd?define(["jquery","./jquery.validate.min"],a):"object"==typeof module&&module.exports?module.exports=a(require("jquery")):a(jQuery)}(function(a){return function(){function b(a){return a.replace(/<.[^<>]*?>/g," ").replace(/&nbsp;|&#160;/gi," ").replace(/[.(),;:!?%#$'\"_+=\/\-“”’]*/g,"")}a.validator.addMethod("maxWords",function(a,c,d){return this.optional(c)||b(a).match(/\b\w+\b/g).length<=d},a.validator.format("Please enter {0} words or less.")),a.validator.addMethod("minWords",function(a,c,d){return this.optional(c)||b(a).match(/\b\w+\b/g).length>=d},a.validator.format("Please enter at least {0} words.")),a.validator.addMethod("rangeWords",function(a,c,d){var e=b(a),f=/\b\w+\b/g;return this.optional(c)||e.match(f).length>=d[0]&&e.match(f).length<=d[1]},a.validator.format("Please enter between {0} and {1} words."))}(),a.validator.addMethod("accept",function(b,c,d){var e,f,g,h="string"==typeof d?d.replace(/\s/g,""):"image/*",i=this.optional(c);if(i)return i;if("file"===a(c).attr("type")&&(h=h.replace(/[\-\[\]\/\{\}\(\)\+\?\.\\\^\$\|]/g,"\\$&").replace(/,/g,"|").replace(/\/\*/g,"/.*"),c.files&&c.files.length))for(g=new RegExp(".?("+h+")$","i"),e=0;e<c.files.length;e++)if(f=c.files[e],!f.type.match(g))return!1;return!0},a.validator.format("Please enter a value with a valid mimetype.")),a.validator.addMethod("alphanumeric",function(a,b){return this.optional(b)||/^\w+$/i.test(a)},"Letters, numbers, and underscores only please"),a.validator.addMethod("bankaccountNL",function(a,b){if(this.optional(b))return!0;if(!/^[0-9]{9}|([0-9]{2} ){3}[0-9]{3}$/.test(a))return!1;var c,d,e,f=a.replace(/ /g,""),g=0,h=f.length;for(c=0;c<h;c++)d=h-c,e=f.substring(c,c+1),g+=d*e;return g%11===0},"Please specify a valid bank account number"),a.validator.addMethod("bankorgiroaccountNL",function(b,c){return this.optional(c)||a.validator.methods.bankaccountNL.call(this,b,c)||a.validator.methods.giroaccountNL.call(this,b,c)},"Please specify a valid bank or giro account number"),a.validator.addMethod("bic",function(a,b){return this.optional(b)||/^([A-Z]{6}[A-Z2-9][A-NP-Z1-9])(X{3}|[A-WY-Z0-9][A-Z0-9]{2})?$/.test(a.toUpperCase())},"Please specify a valid BIC code"),a.validator.addMethod("cifES",function(a,b){"use strict";function c(a){return a%2===0}if(this.optional(b))return!0;var d,e,f,g,h=new RegExp(/^([ABCDEFGHJKLMNPQRSUVW])(\d{7})([0-9A-J])$/gi),i=a.substring(0,1),j=a.substring(1,8),k=a.substring(8,9),l=0,m=0,n=0;if(9!==a.length||!h.test(a))return!1;for(d=0;d<j.length;d++)e=parseInt(j[d],10),c(d)?(e*=2,n+=e<10?e:e-9):m+=e;return l=m+n,f=(10-l.toString().substr(-1)).toString(),f=parseInt(f,10)>9?"0":f,g="JABCDEFGHI".substr(f,1).toString(),i.match(/[ABEH]/)?k===f:i.match(/[KPQS]/)?k===g:k===f||k===g},"Please specify a valid CIF number."),a.validator.addMethod("cpfBR",function(a){if(a=a.replace(/([~!@#$%^&*()_+=`{}\[\]\-|\\:;'<>,.\/? ])+/g,""),11!==a.length)return!1;var b,c,d,e,f=0;if(b=parseInt(a.substring(9,10),10),c=parseInt(a.substring(10,11),10),d=function(a,b){var c=10*a%11;return 10!==c&&11!==c||(c=0),c===b},""===a||"00000000000"===a||"11111111111"===a||"22222222222"===a||"33333333333"===a||"44444444444"===a||"55555555555"===a||"66666666666"===a||"77777777777"===a||"88888888888"===a||"99999999999"===a)return!1;for(e=1;e<=9;e++)f+=parseInt(a.substring(e-1,e),10)*(11-e);if(d(f,b)){for(f=0,e=1;e<=10;e++)f+=parseInt(a.substring(e-1,e),10)*(12-e);return d(f,c)}return!1},"Please specify a valid CPF number"),a.validator.addMethod("creditcard",function(a,b){if(this.optional(b))return"dependency-mismatch";if(/[^0-9 \-]+/.test(a))return!1;var c,d,e=0,f=0,g=!1;if(a=a.replace(/\D/g,""),a.length<13||a.length>19)return!1;for(c=a.length-1;c>=0;c--)d=a.charAt(c),f=parseInt(d,10),g&&(f*=2)>9&&(f-=9),e+=f,g=!g;return e%10===0},"Please enter a valid credit card number."),a.validator.addMethod("creditcardtypes",function(a,b,c){if(/[^0-9\-]+/.test(a))return!1;a=a.replace(/\D/g,"");var d=0;return c.mastercard&&(d|=1),c.visa&&(d|=2),c.amex&&(d|=4),c.dinersclub&&(d|=8),c.enroute&&(d|=16),c.discover&&(d|=32),c.jcb&&(d|=64),c.unknown&&(d|=128),c.all&&(d=255),1&d&&/^(5[12345])/.test(a)?16===a.length:2&d&&/^(4)/.test(a)?16===a.length:4&d&&/^(3[47])/.test(a)?15===a.length:8&d&&/^(3(0[012345]|[68]))/.test(a)?14===a.length:16&d&&/^(2(014|149))/.test(a)?15===a.length:32&d&&/^(6011)/.test(a)?16===a.length:64&d&&/^(3)/.test(a)?16===a.length:64&d&&/^(2131|1800)/.test(a)?15===a.length:!!(128&d)},"Please enter a valid credit card number."),a.validator.addMethod("currency",function(a,b,c){var d,e="string"==typeof c,f=e?c:c[0],g=!!e||c[1];return f=f.replace(/,/g,""),f=g?f+"]":f+"]?",d="^["+f+"([1-9]{1}[0-9]{0,2}(\\,[0-9]{3})*(\\.[0-9]{0,2})?|[1-9]{1}[0-9]{0,}(\\.[0-9]{0,2})?|0(\\.[0-9]{0,2})?|(\\.[0-9]{1,2})?)$",d=new RegExp(d),this.optional(b)||d.test(a)},"Please specify a valid currency"),a.validator.addMethod("dateFA",function(a,b){return this.optional(b)||/^[1-4]\d{3}\/((0?[1-6]\/((3[0-1])|([1-2][0-9])|(0?[1-9])))|((1[0-2]|(0?[7-9]))\/(30|([1-2][0-9])|(0?[1-9]))))$/.test(a)},a.validator.messages.date),a.validator.addMethod("dateITA",function(a,b){var c,d,e,f,g,h=!1,i=/^\d{1,2}\/\d{1,2}\/\d{4}$/;return i.test(a)?(c=a.split("/"),d=parseInt(c[0],10),e=parseInt(c[1],10),f=parseInt(c[2],10),g=new Date(Date.UTC(f,e-1,d,12,0,0,0)),h=g.getUTCFullYear()===f&&g.getUTCMonth()===e-1&&g.getUTCDate()===d):h=!1,this.optional(b)||h},a.validator.messages.date),a.validator.addMethod("dateNL",function(a,b){return this.optional(b)||/^(0?[1-9]|[12]\d|3[01])[\.\/\-](0?[1-9]|1[012])[\.\/\-]([12]\d)?(\d\d)$/.test(a)},a.validator.messages.date),a.validator.addMethod("extension",function(a,b,c){return c="string"==typeof c?c.replace(/,/g,"|"):"png|jpe?g|gif",this.optional(b)||a.match(new RegExp("\\.("+c+")$","i"))},a.validator.format("Please enter a value with a valid extension.")),a.validator.addMethod("giroaccountNL",function(a,b){return this.optional(b)||/^[0-9]{1,7}$/.test(a)},"Please specify a valid giro account number"),a.validator.addMethod("iban",function(a,b){if(this.optional(b))return!0;var c,d,e,f,g,h,i,j,k,l=a.replace(/ /g,"").toUpperCase(),m="",n=!0,o="",p="",q=5;if(l.length<q)return!1;if(c=l.substring(0,2),h={AL:"\\d{8}[\\dA-Z]{16}",AD:"\\d{8}[\\dA-Z]{12}",AT:"\\d{16}",AZ:"[\\dA-Z]{4}\\d{20}",BE:"\\d{12}",BH:"[A-Z]{4}[\\dA-Z]{14}",BA:"\\d{16}",BR:"\\d{23}[A-Z][\\dA-Z]",BG:"[A-Z]{4}\\d{6}[\\dA-Z]{8}",CR:"\\d{17}",HR:"\\d{17}",CY:"\\d{8}[\\dA-Z]{16}",CZ:"\\d{20}",DK:"\\d{14}",DO:"[A-Z]{4}\\d{20}",EE:"\\d{16}",FO:"\\d{14}",FI:"\\d{14}",FR:"\\d{10}[\\dA-Z]{11}\\d{2}",GE:"[\\dA-Z]{2}\\d{16}",DE:"\\d{18}",GI:"[A-Z]{4}[\\dA-Z]{15}",GR:"\\d{7}[\\dA-Z]{16}",GL:"\\d{14}",GT:"[\\dA-Z]{4}[\\dA-Z]{20}",HU:"\\d{24}",IS:"\\d{22}",IE:"[\\dA-Z]{4}\\d{14}",IL:"\\d{19}",IT:"[A-Z]\\d{10}[\\dA-Z]{12}",KZ:"\\d{3}[\\dA-Z]{13}",KW:"[A-Z]{4}[\\dA-Z]{22}",LV:"[A-Z]{4}[\\dA-Z]{13}",LB:"\\d{4}[\\dA-Z]{20}",LI:"\\d{5}[\\dA-Z]{12}",LT:"\\d{16}",LU:"\\d{3}[\\dA-Z]{13}",MK:"\\d{3}[\\dA-Z]{10}\\d{2}",MT:"[A-Z]{4}\\d{5}[\\dA-Z]{18}",MR:"\\d{23}",MU:"[A-Z]{4}\\d{19}[A-Z]{3}",MC:"\\d{10}[\\dA-Z]{11}\\d{2}",MD:"[\\dA-Z]{2}\\d{18}",ME:"\\d{18}",NL:"[A-Z]{4}\\d{10}",NO:"\\d{11}",PK:"[\\dA-Z]{4}\\d{16}",PS:"[\\dA-Z]{4}\\d{21}",PL:"\\d{24}",PT:"\\d{21}",RO:"[A-Z]{4}[\\dA-Z]{16}",SM:"[A-Z]\\d{10}[\\dA-Z]{12}",SA:"\\d{2}[\\dA-Z]{18}",RS:"\\d{18}",SK:"\\d{20}",SI:"\\d{15}",ES:"\\d{20}",SE:"\\d{20}",CH:"\\d{5}[\\dA-Z]{12}",TN:"\\d{20}",TR:"\\d{5}[\\dA-Z]{17}",AE:"\\d{3}\\d{16}",GB:"[A-Z]{4}\\d{14}",VG:"[\\dA-Z]{4}\\d{16}"},g=h[c],"undefined"!=typeof g&&(i=new RegExp("^[A-Z]{2}\\d{2}"+g+"$",""),!i.test(l)))return!1;for(d=l.substring(4,l.length)+l.substring(0,4),j=0;j<d.length;j++)e=d.charAt(j),"0"!==e&&(n=!1),n||(m+="0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ".indexOf(e));for(k=0;k<m.length;k++)f=m.charAt(k),p=""+o+f,o=p%97;return 1===o},"Please specify a valid IBAN"),a.validator.addMethod("integer",function(a,b){return this.optional(b)||/^-?\d+$/.test(a)},"A positive or negative non-decimal number please"),a.validator.addMethod("ipv4",function(a,b){return this.optional(b)||/^(25[0-5]|2[0-4]\d|[01]?\d\d?)\.(25[0-5]|2[0-4]\d|[01]?\d\d?)\.(25[0-5]|2[0-4]\d|[01]?\d\d?)\.(25[0-5]|2[0-4]\d|[01]?\d\d?)$/i.test(a)},"Please enter a valid IP v4 address."),a.validator.addMethod("ipv6",function(a,b){return this.optional(b)||/^((([0-9A-Fa-f]{1,4}:){7}[0-9A-Fa-f]{1,4})|(([0-9A-Fa-f]{1,4}:){6}:[0-9A-Fa-f]{1,4})|(([0-9A-Fa-f]{1,4}:){5}:([0-9A-Fa-f]{1,4}:)?[0-9A-Fa-f]{1,4})|(([0-9A-Fa-f]{1,4}:){4}:([0-9A-Fa-f]{1,4}:){0,2}[0-9A-Fa-f]{1,4})|(([0-9A-Fa-f]{1,4}:){3}:([0-9A-Fa-f]{1,4}:){0,3}[0-9A-Fa-f]{1,4})|(([0-9A-Fa-f]{1,4}:){2}:([0-9A-Fa-f]{1,4}:){0,4}[0-9A-Fa-f]{1,4})|(([0-9A-Fa-f]{1,4}:){6}((\b((25[0-5])|(1\d{2})|(2[0-4]\d)|(\d{1,2}))\b)\.){3}(\b((25[0-5])|(1\d{2})|(2[0-4]\d)|(\d{1,2}))\b))|(([0-9A-Fa-f]{1,4}:){0,5}:((\b((25[0-5])|(1\d{2})|(2[0-4]\d)|(\d{1,2}))\b)\.){3}(\b((25[0-5])|(1\d{2})|(2[0-4]\d)|(\d{1,2}))\b))|(::([0-9A-Fa-f]{1,4}:){0,5}((\b((25[0-5])|(1\d{2})|(2[0-4]\d)|(\d{1,2}))\b)\.){3}(\b((25[0-5])|(1\d{2})|(2[0-4]\d)|(\d{1,2}))\b))|([0-9A-Fa-f]{1,4}::([0-9A-Fa-f]{1,4}:){0,5}[0-9A-Fa-f]{1,4})|(::([0-9A-Fa-f]{1,4}:){0,6}[0-9A-Fa-f]{1,4})|(([0-9A-Fa-f]{1,4}:){1,7}:))$/i.test(a)},"Please enter a valid IP v6 address."),a.validator.addMethod("lettersonly",function(a,b){return this.optional(b)||/^[a-z]+$/i.test(a)},"Letters only please"),a.validator.addMethod("letterswithbasicpunc",function(a,b){return this.optional(b)||/^[a-z\-.,()'"\s]+$/i.test(a)},"Letters or punctuation only please"),a.validator.addMethod("mobileNL",function(a,b){return this.optional(b)||/^((\+|00(\s|\s?\-\s?)?)31(\s|\s?\-\s?)?(\(0\)[\-\s]?)?|0)6((\s|\s?\-\s?)?[0-9]){8}$/.test(a)},"Please specify a valid mobile number"),a.validator.addMethod("mobileUK",function(a,b){return a=a.replace(/\(|\)|\s+|-/g,""),this.optional(b)||a.length>9&&a.match(/^(?:(?:(?:00\s?|\+)44\s?|0)7(?:[1345789]\d{2}|624)\s?\d{3}\s?\d{3})$/)},"Please specify a valid mobile number"),a.validator.addMethod("netmask",function(a,b){return this.optional(b)||/^(254|252|248|240|224|192|128)\.0\.0\.0|255\.(254|252|248|240|224|192|128|0)\.0\.0|255\.255\.(254|252|248|240|224|192|128|0)\.0|255\.255\.255\.(254|252|248|240|224|192|128|0)/i.test(a)},"Please enter a valid netmask."),a.validator.addMethod("nieES",function(a,b){"use strict";if(this.optional(b))return!0;var c,d=new RegExp(/^[MXYZ]{1}[0-9]{7,8}[TRWAGMYFPDXBNJZSQVHLCKET]{1}$/gi),e="TRWAGMYFPDXBNJZSQVHLCKET",f=a.substr(a.length-1).toUpperCase();return a=a.toString().toUpperCase(),!(a.length>10||a.length<9||!d.test(a))&&(a=a.replace(/^[X]/,"0").replace(/^[Y]/,"1").replace(/^[Z]/,"2"),c=9===a.length?a.substr(0,8):a.substr(0,9),e.charAt(parseInt(c,10)%23)===f)},"Please specify a valid NIE number."),a.validator.addMethod("nifES",function(a,b){"use strict";return!!this.optional(b)||(a=a.toUpperCase(),!!a.match("((^[A-Z]{1}[0-9]{7}[A-Z0-9]{1}$|^[T]{1}[A-Z0-9]{8}$)|^[0-9]{8}[A-Z]{1}$)")&&(/^[0-9]{8}[A-Z]{1}$/.test(a)?"TRWAGMYFPDXBNJZSQVHLCKE".charAt(a.substring(8,0)%23)===a.charAt(8):!!/^[KLM]{1}/.test(a)&&a[8]==="TRWAGMYFPDXBNJZSQVHLCKE".charAt(a.substring(8,1)%23)))},"Please specify a valid NIF number."),a.validator.addMethod("nipPL",function(a){"use strict";if(a=a.replace(/[^0-9]/g,""),10!==a.length)return!1;for(var b=[6,5,7,2,3,4,5,6,7],c=0,d=0;d<9;d++)c+=b[d]*a[d];var e=c%11,f=10===e?0:e;return f===parseInt(a[9],10)},"Please specify a valid NIP number."),a.validator.addMethod("notEqualTo",function(b,c,d){return this.optional(c)||!a.validator.methods.equalTo.call(this,b,c,d)},"Please enter a different value, values must not be the same."),a.validator.addMethod("nowhitespace",function(a,b){return this.optional(b)||/^\S+$/i.test(a)},"No white space please"),a.validator.addMethod("pattern",function(a,b,c){return!!this.optional(b)||("string"==typeof c&&(c=new RegExp("^(?:"+c+")$")),c.test(a))},"Invalid format."),a.validator.addMethod("phoneNL",function(a,b){return this.optional(b)||/^((\+|00(\s|\s?\-\s?)?)31(\s|\s?\-\s?)?(\(0\)[\-\s]?)?|0)[1-9]((\s|\s?\-\s?)?[0-9]){8}$/.test(a)},"Please specify a valid phone number."),a.validator.addMethod("phonesUK",function(a,b){return a=a.replace(/\(|\)|\s+|-/g,""),this.optional(b)||a.length>9&&a.match(/^(?:(?:(?:00\s?|\+)44\s?|0)(?:1\d{8,9}|[23]\d{9}|7(?:[1345789]\d{8}|624\d{6})))$/)},"Please specify a valid uk phone number"),a.validator.addMethod("phoneUK",function(a,b){return a=a.replace(/\(|\)|\s+|-/g,""),this.optional(b)||a.length>9&&a.match(/^(?:(?:(?:00\s?|\+)44\s?)|(?:\(?0))(?:\d{2}\)?\s?\d{4}\s?\d{4}|\d{3}\)?\s?\d{3}\s?\d{3,4}|\d{4}\)?\s?(?:\d{5}|\d{3}\s?\d{3})|\d{5}\)?\s?\d{4,5})$/)},"Please specify a valid phone number"),a.validator.addMethod("phoneUS",function(a,b){return a=a.replace(/\s+/g,""),this.optional(b)||a.length>9&&a.match(/^(\+?1-?)?(\([2-9]([02-9]\d|1[02-9])\)|[2-9]([02-9]\d|1[02-9]))-?[2-9]([02-9]\d|1[02-9])-?\d{4}$/)},"Please specify a valid phone number"),a.validator.addMethod("postalcodeBR",function(a,b){return this.optional(b)||/^\d{2}.\d{3}-\d{3}?$|^\d{5}-?\d{3}?$/.test(a)},"Informe um CEP válido."),a.validator.addMethod("postalCodeCA",function(a,b){return this.optional(b)||/^[ABCEGHJKLMNPRSTVXY]\d[ABCEGHJKLMNPRSTVWXYZ] *\d[ABCEGHJKLMNPRSTVWXYZ]\d$/i.test(a)},"Please specify a valid postal code"),a.validator.addMethod("postalcodeIT",function(a,b){return this.optional(b)||/^\d{5}$/.test(a)},"Please specify a valid postal code"),a.validator.addMethod("postalcodeNL",function(a,b){return this.optional(b)||/^[1-9][0-9]{3}\s?[a-zA-Z]{2}$/.test(a)},"Please specify a valid postal code"),a.validator.addMethod("postcodeUK",function(a,b){return this.optional(b)||/^((([A-PR-UWYZ][0-9])|([A-PR-UWYZ][0-9][0-9])|([A-PR-UWYZ][A-HK-Y][0-9])|([A-PR-UWYZ][A-HK-Y][0-9][0-9])|([A-PR-UWYZ][0-9][A-HJKSTUW])|([A-PR-UWYZ][A-HK-Y][0-9][ABEHMNPRVWXY]))\s?([0-9][ABD-HJLNP-UW-Z]{2})|(GIR)\s?(0AA))$/i.test(a)},"Please specify a valid UK postcode"),a.validator.addMethod("require_from_group",function(b,c,d){var e=a(d[1],c.form),f=e.eq(0),g=f.data("valid_req_grp")?f.data("valid_req_grp"):a.extend({},this),h=e.filter(function(){return g.elementValue(this)}).length>=d[0];return f.data("valid_req_grp",g),a(c).data("being_validated")||(e.data("being_validated",!0),e.each(function(){g.element(this)}),e.data("being_validated",!1)),h},a.validator.format("Please fill at least {0} of these fields.")),a.validator.addMethod("skip_or_fill_minimum",function(b,c,d){var e=a(d[1],c.form),f=e.eq(0),g=f.data("valid_skip")?f.data("valid_skip"):a.extend({},this),h=e.filter(function(){return g.elementValue(this)}).length,i=0===h||h>=d[0];return f.data("valid_skip",g),a(c).data("being_validated")||(e.data("being_validated",!0),e.each(function(){g.element(this)}),e.data("being_validated",!1)),i},a.validator.format("Please either skip these fields or fill at least {0} of them.")),a.validator.addMethod("stateUS",function(a,b,c){var d,e="undefined"==typeof c,f=!e&&"undefined"!=typeof c.caseSensitive&&c.caseSensitive,g=!e&&"undefined"!=typeof c.includeTerritories&&c.includeTerritories,h=!e&&"undefined"!=typeof c.includeMilitary&&c.includeMilitary;return d=g||h?g&&h?"^(A[AEKLPRSZ]|C[AOT]|D[CE]|FL|G[AU]|HI|I[ADLN]|K[SY]|LA|M[ADEINOPST]|N[CDEHJMVY]|O[HKR]|P[AR]|RI|S[CD]|T[NX]|UT|V[AIT]|W[AIVY])$":g?"^(A[KLRSZ]|C[AOT]|D[CE]|FL|G[AU]|HI|I[ADLN]|K[SY]|LA|M[ADEINOPST]|N[CDEHJMVY]|O[HKR]|P[AR]|RI|S[CD]|T[NX]|UT|V[AIT]|W[AIVY])$":"^(A[AEKLPRZ]|C[AOT]|D[CE]|FL|GA|HI|I[ADLN]|K[SY]|LA|M[ADEINOST]|N[CDEHJMVY]|O[HKR]|PA|RI|S[CD]|T[NX]|UT|V[AT]|W[AIVY])$":"^(A[KLRZ]|C[AOT]|D[CE]|FL|GA|HI|I[ADLN]|K[SY]|LA|M[ADEINOST]|N[CDEHJMVY]|O[HKR]|PA|RI|S[CD]|T[NX]|UT|V[AT]|W[AIVY])$",d=f?new RegExp(d):new RegExp(d,"i"),this.optional(b)||d.test(a)},"Please specify a valid state"),a.validator.addMethod("strippedminlength",function(b,c,d){return a(b).text().length>=d},a.validator.format("Please enter at least {0} characters")),a.validator.addMethod("time",function(a,b){return this.optional(b)||/^([01]\d|2[0-3]|[0-9])(:[0-5]\d){1,2}$/.test(a)},"Please enter a valid time, between 00:00 and 23:59"),a.validator.addMethod("time12h",function(a,b){return this.optional(b)||/^((0?[1-9]|1[012])(:[0-5]\d){1,2}(\ ?[AP]M))$/i.test(a)},"Please enter a valid time in 12-hour am/pm format"),a.validator.addMethod("url2",function(a,b){return this.optional(b)||/^(https?|ftp):\/\/(((([a-z]|\d|-|\.|_|~|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])|(%[\da-f]{2})|[!\$&'\(\)\*\+,;=]|:)*@)?(((\d|[1-9]\d|1\d\d|2[0-4]\d|25[0-5])\.(\d|[1-9]\d|1\d\d|2[0-4]\d|25[0-5])\.(\d|[1-9]\d|1\d\d|2[0-4]\d|25[0-5])\.(\d|[1-9]\d|1\d\d|2[0-4]\d|25[0-5]))|((([a-z]|\d|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])|(([a-z]|\d|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])([a-z]|\d|-|\.|_|~|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])*([a-z]|\d|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])))\.)*(([a-z]|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])|(([a-z]|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])([a-z]|\d|-|\.|_|~|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])*([a-z]|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])))\.?)(:\d*)?)(\/((([a-z]|\d|-|\.|_|~|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])|(%[\da-f]{2})|[!\$&'\(\)\*\+,;=]|:|@)+(\/(([a-z]|\d|-|\.|_|~|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])|(%[\da-f]{2})|[!\$&'\(\)\*\+,;=]|:|@)*)*)?)?(\?((([a-z]|\d|-|\.|_|~|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])|(%[\da-f]{2})|[!\$&'\(\)\*\+,;=]|:|@)|[\uE000-\uF8FF]|\/|\?)*)?(#((([a-z]|\d|-|\.|_|~|[\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])|(%[\da-f]{2})|[!\$&'\(\)\*\+,;=]|:|@)|\/|\?)*)?$/i.test(a)},a.validator.messages.url),a.validator.addMethod("vinUS",function(a){if(17!==a.length)return!1;var b,c,d,e,f,g,h=["A","B","C","D","E","F","G","H","J","K","L","M","N","P","R","S","T","U","V","W","X","Y","Z"],i=[1,2,3,4,5,6,7,8,1,2,3,4,5,7,9,2,3,4,5,6,7,8,9],j=[8,7,6,5,4,3,2,10,0,9,8,7,6,5,4,3,2],k=0;for(b=0;b<17;b++){if(e=j[b],d=a.slice(b,b+1),8===b&&(g=d),isNaN(d)){for(c=0;c<h.length;c++)if(d.toUpperCase()===h[c]){d=i[c],d*=e,isNaN(g)&&8===c&&(g=h[c]);break}}else d*=e;k+=d}return f=k%11,10===f&&(f="X"),f===g},"The specified vehicle identification number (VIN) is invalid."),a.validator.addMethod("zipcodeUS",function(a,b){return this.optional(b)||/^\d{5}(-\d{4})?$/.test(a)},"The specified US ZIP Code is invalid"),a.validator.addMethod("ziprange",function(a,b){return this.optional(b)||/^90[2-5]\d\{2\}-\d{4}$/.test(a)},"Your ZIP-code must be in the range 902xx-xxxx to 905xx-xxxx"),a});


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/jquery-validation/dist/jquery.validate.min.js:
--------------------------------------------------------------------------------
1 | /*! jQuery Validation Plugin - v1.17.0 - 7/29/2017
2 |  * https://jqueryvalidation.org/
3 |  * Copyright (c) 2017 Jörn Zaefferer; Licensed MIT */
4 | !function(a){"function"==typeof define&&define.amd?define(["jquery"],a):"object"==typeof module&&module.exports?module.exports=a(require("jquery")):a(jQuery)}(function(a){a.extend(a.fn,{validate:function(b){if(!this.length)return void(b&&b.debug&&window.console&&console.warn("Nothing selected, can't validate, returning nothing."));var c=a.data(this[0],"validator");return c?c:(this.attr("novalidate","novalidate"),c=new a.validator(b,this[0]),a.data(this[0],"validator",c),c.settings.onsubmit&&(this.on("click.validate",":submit",function(b){c.submitButton=b.currentTarget,a(this).hasClass("cancel")&&(c.cancelSubmit=!0),void 0!==a(this).attr("formnovalidate")&&(c.cancelSubmit=!0)}),this.on("submit.validate",function(b){function d(){var d,e;return c.submitButton&&(c.settings.submitHandler||c.formSubmitted)&&(d=a("<input type='hidden'/>").attr("name",c.submitButton.name).val(a(c.submitButton).val()).appendTo(c.currentForm)),!c.settings.submitHandler||(e=c.settings.submitHandler.call(c,c.currentForm,b),d&&d.remove(),void 0!==e&&e)}return c.settings.debug&&b.preventDefault(),c.cancelSubmit?(c.cancelSubmit=!1,d()):c.form()?c.pendingRequest?(c.formSubmitted=!0,!1):d():(c.focusInvalid(),!1)})),c)},valid:function(){var b,c,d;return a(this[0]).is("form")?b=this.validate().form():(d=[],b=!0,c=a(this[0].form).validate(),this.each(function(){b=c.element(this)&&b,b||(d=d.concat(c.errorList))}),c.errorList=d),b},rules:function(b,c){var d,e,f,g,h,i,j=this[0];if(null!=j&&(!j.form&&j.hasAttribute("contenteditable")&&(j.form=this.closest("form")[0],j.name=this.attr("name")),null!=j.form)){if(b)switch(d=a.data(j.form,"validator").settings,e=d.rules,f=a.validator.staticRules(j),b){case"add":a.extend(f,a.validator.normalizeRule(c)),delete f.messages,e[j.name]=f,c.messages&&(d.messages[j.name]=a.extend(d.messages[j.name],c.messages));break;case"remove":return c?(i={},a.each(c.split(/\s/),function(a,b){i[b]=f[b],delete f[b]}),i):(delete e[j.name],f)}return g=a.validator.normalizeRules(a.extend({},a.validator.classRules(j),a.validator.attributeRules(j),a.validator.dataRules(j),a.validator.staticRules(j)),j),g.required&&(h=g.required,delete g.required,g=a.extend({required:h},g)),g.remote&&(h=g.remote,delete g.remote,g=a.extend(g,{remote:h})),g}}}),a.extend(a.expr.pseudos||a.expr[":"],{blank:function(b){return!a.trim(""+a(b).val())},filled:function(b){var c=a(b).val();return null!==c&&!!a.trim(""+c)},unchecked:function(b){return!a(b).prop("checked")}}),a.validator=function(b,c){this.settings=a.extend(!0,{},a.validator.defaults,b),this.currentForm=c,this.init()},a.validator.format=function(b,c){return 1===arguments.length?function(){var c=a.makeArray(arguments);return c.unshift(b),a.validator.format.apply(this,c)}:void 0===c?b:(arguments.length>2&&c.constructor!==Array&&(c=a.makeArray(arguments).slice(1)),c.constructor!==Array&&(c=[c]),a.each(c,function(a,c){b=b.replace(new RegExp("\\{"+a+"\\}","g"),function(){return c})}),b)},a.extend(a.validator,{defaults:{messages:{},groups:{},rules:{},errorClass:"error",pendingClass:"pending",validClass:"valid",errorElement:"label",focusCleanup:!1,focusInvalid:!0,errorContainer:a([]),errorLabelContainer:a([]),onsubmit:!0,ignore:":hidden",ignoreTitle:!1,onfocusin:function(a){this.lastActive=a,this.settings.focusCleanup&&(this.settings.unhighlight&&this.settings.unhighlight.call(this,a,this.settings.errorClass,this.settings.validClass),this.hideThese(this.errorsFor(a)))},onfocusout:function(a){this.checkable(a)||!(a.name in this.submitted)&&this.optional(a)||this.element(a)},onkeyup:function(b,c){var d=[16,17,18,20,35,36,37,38,39,40,45,144,225];9===c.which&&""===this.elementValue(b)||a.inArray(c.keyCode,d)!==-1||(b.name in this.submitted||b.name in this.invalid)&&this.element(b)},onclick:function(a){a.name in this.submitted?this.element(a):a.parentNode.name in this.submitted&&this.element(a.parentNode)},highlight:function(b,c,d){"radio"===b.type?this.findByName(b.name).addClass(c).removeClass(d):a(b).addClass(c).removeClass(d)},unhighlight:function(b,c,d){"radio"===b.type?this.findByName(b.name).removeClass(c).addClass(d):a(b).removeClass(c).addClass(d)}},setDefaults:function(b){a.extend(a.validator.defaults,b)},messages:{required:"This field is required.",remote:"Please fix this field.",email:"Please enter a valid email address.",url:"Please enter a valid URL.",date:"Please enter a valid date.",dateISO:"Please enter a valid date (ISO).",number:"Please enter a valid number.",digits:"Please enter only digits.",equalTo:"Please enter the same value again.",maxlength:a.validator.format("Please enter no more than {0} characters."),minlength:a.validator.format("Please enter at least {0} characters."),rangelength:a.validator.format("Please enter a value between {0} and {1} characters long."),range:a.validator.format("Please enter a value between {0} and {1}."),max:a.validator.format("Please enter a value less than or equal to {0}."),min:a.validator.format("Please enter a value greater than or equal to {0}."),step:a.validator.format("Please enter a multiple of {0}.")},autoCreateRanges:!1,prototype:{init:function(){function b(b){!this.form&&this.hasAttribute("contenteditable")&&(this.form=a(this).closest("form")[0],this.name=a(this).attr("name"));var c=a.data(this.form,"validator"),d="on"+b.type.replace(/^validate/,""),e=c.settings;e[d]&&!a(this).is(e.ignore)&&e[d].call(c,this,b)}this.labelContainer=a(this.settings.errorLabelContainer),this.errorContext=this.labelContainer.length&&this.labelContainer||a(this.currentForm),this.containers=a(this.settings.errorContainer).add(this.settings.errorLabelContainer),this.submitted={},this.valueCache={},this.pendingRequest=0,this.pending={},this.invalid={},this.reset();var c,d=this.groups={};a.each(this.settings.groups,function(b,c){"string"==typeof c&&(c=c.split(/\s/)),a.each(c,function(a,c){d[c]=b})}),c=this.settings.rules,a.each(c,function(b,d){c[b]=a.validator.normalizeRule(d)}),a(this.currentForm).on("focusin.validate focusout.validate keyup.validate",":text, [type='password'], [type='file'], select, textarea, [type='number'], [type='search'], [type='tel'], [type='url'], [type='email'], [type='datetime'], [type='date'], [type='month'], [type='week'], [type='time'], [type='datetime-local'], [type='range'], [type='color'], [type='radio'], [type='checkbox'], [contenteditable], [type='button']",b).on("click.validate","select, option, [type='radio'], [type='checkbox']",b),this.settings.invalidHandler&&a(this.currentForm).on("invalid-form.validate",this.settings.invalidHandler)},form:function(){return this.checkForm(),a.extend(this.submitted,this.errorMap),this.invalid=a.extend({},this.errorMap),this.valid()||a(this.currentForm).triggerHandler("invalid-form",[this]),this.showErrors(),this.valid()},checkForm:function(){this.prepareForm();for(var a=0,b=this.currentElements=this.elements();b[a];a++)this.check(b[a]);return this.valid()},element:function(b){var c,d,e=this.clean(b),f=this.validationTargetFor(e),g=this,h=!0;return void 0===f?delete this.invalid[e.name]:(this.prepareElement(f),this.currentElements=a(f),d=this.groups[f.name],d&&a.each(this.groups,function(a,b){b===d&&a!==f.name&&(e=g.validationTargetFor(g.clean(g.findByName(a))),e&&e.name in g.invalid&&(g.currentElements.push(e),h=g.check(e)&&h))}),c=this.check(f)!==!1,h=h&&c,c?this.invalid[f.name]=!1:this.invalid[f.name]=!0,this.numberOfInvalids()||(this.toHide=this.toHide.add(this.containers)),this.showErrors(),a(b).attr("aria-invalid",!c)),h},showErrors:function(b){if(b){var c=this;a.extend(this.errorMap,b),this.errorList=a.map(this.errorMap,function(a,b){return{message:a,element:c.findByName(b)[0]}}),this.successList=a.grep(this.successList,function(a){return!(a.name in b)})}this.settings.showErrors?this.settings.showErrors.call(this,this.errorMap,this.errorList):this.defaultShowErrors()},resetForm:function(){a.fn.resetForm&&a(this.currentForm).resetForm(),this.invalid={},this.submitted={},this.prepareForm(),this.hideErrors();var b=this.elements().removeData("previousValue").removeAttr("aria-invalid");this.resetElements(b)},resetElements:function(a){var b;if(this.settings.unhighlight)for(b=0;a[b];b++)this.settings.unhighlight.call(this,a[b],this.settings.errorClass,""),this.findByName(a[b].name).removeClass(this.settings.validClass);else a.removeClass(this.settings.errorClass).removeClass(this.settings.validClass)},numberOfInvalids:function(){return this.objectLength(this.invalid)},objectLength:function(a){var b,c=0;for(b in a)void 0!==a[b]&&null!==a[b]&&a[b]!==!1&&c++;return c},hideErrors:function(){this.hideThese(this.toHide)},hideThese:function(a){a.not(this.containers).text(""),this.addWrapper(a).hide()},valid:function(){return 0===this.size()},size:function(){return this.errorList.length},focusInvalid:function(){if(this.settings.focusInvalid)try{a(this.findLastActive()||this.errorList.length&&this.errorList[0].element||[]).filter(":visible").focus().trigger("focusin")}catch(b){}},findLastActive:function(){var b=this.lastActive;return b&&1===a.grep(this.errorList,function(a){return a.element.name===b.name}).length&&b},elements:function(){var b=this,c={};return a(this.currentForm).find("input, select, textarea, [contenteditable]").not(":submit, :reset, :image, :disabled").not(this.settings.ignore).filter(function(){var d=this.name||a(this).attr("name");return!d&&b.settings.debug&&window.console&&console.error("%o has no name assigned",this),this.hasAttribute("contenteditable")&&(this.form=a(this).closest("form")[0],this.name=d),!(d in c||!b.objectLength(a(this).rules()))&&(c[d]=!0,!0)})},clean:function(b){return a(b)[0]},errors:function(){var b=this.settings.errorClass.split(" ").join(".");return a(this.settings.errorElement+"."+b,this.errorContext)},resetInternals:function(){this.successList=[],this.errorList=[],this.errorMap={},this.toShow=a([]),this.toHide=a([])},reset:function(){this.resetInternals(),this.currentElements=a([])},prepareForm:function(){this.reset(),this.toHide=this.errors().add(this.containers)},prepareElement:function(a){this.reset(),this.toHide=this.errorsFor(a)},elementValue:function(b){var c,d,e=a(b),f=b.type;return"radio"===f||"checkbox"===f?this.findByName(b.name).filter(":checked").val():"number"===f&&"undefined"!=typeof b.validity?b.validity.badInput?"NaN":e.val():(c=b.hasAttribute("contenteditable")?e.text():e.val(),"file"===f?"C:\\fakepath\\"===c.substr(0,12)?c.substr(12):(d=c.lastIndexOf("/"),d>=0?c.substr(d+1):(d=c.lastIndexOf("\\"),d>=0?c.substr(d+1):c)):"string"==typeof c?c.replace(/\r/g,""):c)},check:function(b){b=this.validationTargetFor(this.clean(b));var c,d,e,f,g=a(b).rules(),h=a.map(g,function(a,b){return b}).length,i=!1,j=this.elementValue(b);if("function"==typeof g.normalizer?f=g.normalizer:"function"==typeof this.settings.normalizer&&(f=this.settings.normalizer),f){if(j=f.call(b,j),"string"!=typeof j)throw new TypeError("The normalizer should return a string value.");delete g.normalizer}for(d in g){e={method:d,parameters:g[d]};try{if(c=a.validator.methods[d].call(this,j,b,e.parameters),"dependency-mismatch"===c&&1===h){i=!0;continue}if(i=!1,"pending"===c)return void(this.toHide=this.toHide.not(this.errorsFor(b)));if(!c)return this.formatAndAdd(b,e),!1}catch(k){throw this.settings.debug&&window.console&&console.log("Exception occurred when checking element "+b.id+", check the '"+e.method+"' method.",k),k instanceof TypeError&&(k.message+=".  Exception occurred when checking element "+b.id+", check the '"+e.method+"' method."),k}}if(!i)return this.objectLength(g)&&this.successList.push(b),!0},customDataMessage:function(b,c){return a(b).data("msg"+c.charAt(0).toUpperCase()+c.substring(1).toLowerCase())||a(b).data("msg")},customMessage:function(a,b){var c=this.settings.messages[a];return c&&(c.constructor===String?c:c[b])},findDefined:function(){for(var a=0;a<arguments.length;a++)if(void 0!==arguments[a])return arguments[a]},defaultMessage:function(b,c){"string"==typeof c&&(c={method:c});var d=this.findDefined(this.customMessage(b.name,c.method),this.customDataMessage(b,c.method),!this.settings.ignoreTitle&&b.title||void 0,a.validator.messages[c.method],"<strong>Warning: No message defined for "+b.name+"</strong>"),e=/\$?\{(\d+)\}/g;return"function"==typeof d?d=d.call(this,c.parameters,b):e.test(d)&&(d=a.validator.format(d.replace(e,"{$1}"),c.parameters)),d},formatAndAdd:function(a,b){var c=this.defaultMessage(a,b);this.errorList.push({message:c,element:a,method:b.method}),this.errorMap[a.name]=c,this.submitted[a.name]=c},addWrapper:function(a){return this.settings.wrapper&&(a=a.add(a.parent(this.settings.wrapper))),a},defaultShowErrors:function(){var a,b,c;for(a=0;this.errorList[a];a++)c=this.errorList[a],this.settings.highlight&&this.settings.highlight.call(this,c.element,this.settings.errorClass,this.settings.validClass),this.showLabel(c.element,c.message);if(this.errorList.length&&(this.toShow=this.toShow.add(this.containers)),this.settings.success)for(a=0;this.successList[a];a++)this.showLabel(this.successList[a]);if(this.settings.unhighlight)for(a=0,b=this.validElements();b[a];a++)this.settings.unhighlight.call(this,b[a],this.settings.errorClass,this.settings.validClass);this.toHide=this.toHide.not(this.toShow),this.hideErrors(),this.addWrapper(this.toShow).show()},validElements:function(){return this.currentElements.not(this.invalidElements())},invalidElements:function(){return a(this.errorList).map(function(){return this.element})},showLabel:function(b,c){var d,e,f,g,h=this.errorsFor(b),i=this.idOrName(b),j=a(b).attr("aria-describedby");h.length?(h.removeClass(this.settings.validClass).addClass(this.settings.errorClass),h.html(c)):(h=a("<"+this.settings.errorElement+">").attr("id",i+"-error").addClass(this.settings.errorClass).html(c||""),d=h,this.settings.wrapper&&(d=h.hide().show().wrap("<"+this.settings.wrapper+"/>").parent()),this.labelContainer.length?this.labelContainer.append(d):this.settings.errorPlacement?this.settings.errorPlacement.call(this,d,a(b)):d.insertAfter(b),h.is("label")?h.attr("for",i):0===h.parents("label[for='"+this.escapeCssMeta(i)+"']").length&&(f=h.attr("id"),j?j.match(new RegExp("\\b"+this.escapeCssMeta(f)+"\\b"))||(j+=" "+f):j=f,a(b).attr("aria-describedby",j),e=this.groups[b.name],e&&(g=this,a.each(g.groups,function(b,c){c===e&&a("[name='"+g.escapeCssMeta(b)+"']",g.currentForm).attr("aria-describedby",h.attr("id"))})))),!c&&this.settings.success&&(h.text(""),"string"==typeof this.settings.success?h.addClass(this.settings.success):this.settings.success(h,b)),this.toShow=this.toShow.add(h)},errorsFor:function(b){var c=this.escapeCssMeta(this.idOrName(b)),d=a(b).attr("aria-describedby"),e="label[for='"+c+"'], label[for='"+c+"'] *";return d&&(e=e+", #"+this.escapeCssMeta(d).replace(/\s+/g,", #")),this.errors().filter(e)},escapeCssMeta:function(a){return a.replace(/([\\!"#$%&'()*+,.\/:;<=>?@\[\]^`{|}~])/g,"\\$1")},idOrName:function(a){return this.groups[a.name]||(this.checkable(a)?a.name:a.id||a.name)},validationTargetFor:function(b){return this.checkable(b)&&(b=this.findByName(b.name)),a(b).not(this.settings.ignore)[0]},checkable:function(a){return/radio|checkbox/i.test(a.type)},findByName:function(b){return a(this.currentForm).find("[name='"+this.escapeCssMeta(b)+"']")},getLength:function(b,c){switch(c.nodeName.toLowerCase()){case"select":return a("option:selected",c).length;case"input":if(this.checkable(c))return this.findByName(c.name).filter(":checked").length}return b.length},depend:function(a,b){return!this.dependTypes[typeof a]||this.dependTypes[typeof a](a,b)},dependTypes:{"boolean":function(a){return a},string:function(b,c){return!!a(b,c.form).length},"function":function(a,b){return a(b)}},optional:function(b){var c=this.elementValue(b);return!a.validator.methods.required.call(this,c,b)&&"dependency-mismatch"},startRequest:function(b){this.pending[b.name]||(this.pendingRequest++,a(b).addClass(this.settings.pendingClass),this.pending[b.name]=!0)},stopRequest:function(b,c){this.pendingRequest--,this.pendingRequest<0&&(this.pendingRequest=0),delete this.pending[b.name],a(b).removeClass(this.settings.pendingClass),c&&0===this.pendingRequest&&this.formSubmitted&&this.form()?(a(this.currentForm).submit(),this.submitButton&&a("input:hidden[name='"+this.submitButton.name+"']",this.currentForm).remove(),this.formSubmitted=!1):!c&&0===this.pendingRequest&&this.formSubmitted&&(a(this.currentForm).triggerHandler("invalid-form",[this]),this.formSubmitted=!1)},previousValue:function(b,c){return c="string"==typeof c&&c||"remote",a.data(b,"previousValue")||a.data(b,"previousValue",{old:null,valid:!0,message:this.defaultMessage(b,{method:c})})},destroy:function(){this.resetForm(),a(this.currentForm).off(".validate").removeData("validator").find(".validate-equalTo-blur").off(".validate-equalTo").removeClass("validate-equalTo-blur")}},classRuleSettings:{required:{required:!0},email:{email:!0},url:{url:!0},date:{date:!0},dateISO:{dateISO:!0},number:{number:!0},digits:{digits:!0},creditcard:{creditcard:!0}},addClassRules:function(b,c){b.constructor===String?this.classRuleSettings[b]=c:a.extend(this.classRuleSettings,b)},classRules:function(b){var c={},d=a(b).attr("class");return d&&a.each(d.split(" "),function(){this in a.validator.classRuleSettings&&a.extend(c,a.validator.classRuleSettings[this])}),c},normalizeAttributeRule:function(a,b,c,d){/min|max|step/.test(c)&&(null===b||/number|range|text/.test(b))&&(d=Number(d),isNaN(d)&&(d=void 0)),d||0===d?a[c]=d:b===c&&"range"!==b&&(a[c]=!0)},attributeRules:function(b){var c,d,e={},f=a(b),g=b.getAttribute("type");for(c in a.validator.methods)"required"===c?(d=b.getAttribute(c),""===d&&(d=!0),d=!!d):d=f.attr(c),this.normalizeAttributeRule(e,g,c,d);return e.maxlength&&/-1|2147483647|524288/.test(e.maxlength)&&delete e.maxlength,e},dataRules:function(b){var c,d,e={},f=a(b),g=b.getAttribute("type");for(c in a.validator.methods)d=f.data("rule"+c.charAt(0).toUpperCase()+c.substring(1).toLowerCase()),this.normalizeAttributeRule(e,g,c,d);return e},staticRules:function(b){var c={},d=a.data(b.form,"validator");return d.settings.rules&&(c=a.validator.normalizeRule(d.settings.rules[b.name])||{}),c},normalizeRules:function(b,c){return a.each(b,function(d,e){if(e===!1)return void delete b[d];if(e.param||e.depends){var f=!0;switch(typeof e.depends){case"string":f=!!a(e.depends,c.form).length;break;case"function":f=e.depends.call(c,c)}f?b[d]=void 0===e.param||e.param:(a.data(c.form,"validator").resetElements(a(c)),delete b[d])}}),a.each(b,function(d,e){b[d]=a.isFunction(e)&&"normalizer"!==d?e(c):e}),a.each(["minlength","maxlength"],function(){b[this]&&(b[this]=Number(b[this]))}),a.each(["rangelength","range"],function(){var c;b[this]&&(a.isArray(b[this])?b[this]=[Number(b[this][0]),Number(b[this][1])]:"string"==typeof b[this]&&(c=b[this].replace(/[\[\]]/g,"").split(/[\s,]+/),b[this]=[Number(c[0]),Number(c[1])]))}),a.validator.autoCreateRanges&&(null!=b.min&&null!=b.max&&(b.range=[b.min,b.max],delete b.min,delete b.max),null!=b.minlength&&null!=b.maxlength&&(b.rangelength=[b.minlength,b.maxlength],delete b.minlength,delete b.maxlength)),b},normalizeRule:function(b){if("string"==typeof b){var c={};a.each(b.split(/\s/),function(){c[this]=!0}),b=c}return b},addMethod:function(b,c,d){a.validator.methods[b]=c,a.validator.messages[b]=void 0!==d?d:a.validator.messages[b],c.length<3&&a.validator.addClassRules(b,a.validator.normalizeRule(b))},methods:{required:function(b,c,d){if(!this.depend(d,c))return"dependency-mismatch";if("select"===c.nodeName.toLowerCase()){var e=a(c).val();return e&&e.length>0}return this.checkable(c)?this.getLength(b,c)>0:b.length>0},email:function(a,b){return this.optional(b)||/^[a-zA-Z0-9.!#$%&'*+\/=?^_`{|}~-]+@[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?(?:\.[a-zA-Z0-9](?:[a-zA-Z0-9-]{0,61}[a-zA-Z0-9])?)*$/.test(a)},url:function(a,b){return this.optional(b)||/^(?:(?:(?:https?|ftp):)?\/\/)(?:\S+(?::\S*)?@)?(?:(?!(?:10|127)(?:\.\d{1,3}){3})(?!(?:169\.254|192\.168)(?:\.\d{1,3}){2})(?!172\.(?:1[6-9]|2\d|3[0-1])(?:\.\d{1,3}){2})(?:[1-9]\d?|1\d\d|2[01]\d|22[0-3])(?:\.(?:1?\d{1,2}|2[0-4]\d|25[0-5])){2}(?:\.(?:[1-9]\d?|1\d\d|2[0-4]\d|25[0-4]))|(?:(?:[a-z\u00a1-\uffff0-9]-*)*[a-z\u00a1-\uffff0-9]+)(?:\.(?:[a-z\u00a1-\uffff0-9]-*)*[a-z\u00a1-\uffff0-9]+)*(?:\.(?:[a-z\u00a1-\uffff]{2,})).?)(?::\d{2,5})?(?:[\/?#]\S*)?$/i.test(a)},date:function(a,b){return this.optional(b)||!/Invalid|NaN/.test(new Date(a).toString())},dateISO:function(a,b){return this.optional(b)||/^\d{4}[\/\-](0?[1-9]|1[012])[\/\-](0?[1-9]|[12][0-9]|3[01])$/.test(a)},number:function(a,b){return this.optional(b)||/^(?:-?\d+|-?\d{1,3}(?:,\d{3})+)?(?:\.\d+)?$/.test(a)},digits:function(a,b){return this.optional(b)||/^\d+$/.test(a)},minlength:function(b,c,d){var e=a.isArray(b)?b.length:this.getLength(b,c);return this.optional(c)||e>=d},maxlength:function(b,c,d){var e=a.isArray(b)?b.length:this.getLength(b,c);return this.optional(c)||e<=d},rangelength:function(b,c,d){var e=a.isArray(b)?b.length:this.getLength(b,c);return this.optional(c)||e>=d[0]&&e<=d[1]},min:function(a,b,c){return this.optional(b)||a>=c},max:function(a,b,c){return this.optional(b)||a<=c},range:function(a,b,c){return this.optional(b)||a>=c[0]&&a<=c[1]},step:function(b,c,d){var e,f=a(c).attr("type"),g="Step attribute on input type "+f+" is not supported.",h=["text","number","range"],i=new RegExp("\\b"+f+"\\b"),j=f&&!i.test(h.join()),k=function(a){var b=(""+a).match(/(?:\.(\d+))?$/);return b&&b[1]?b[1].length:0},l=function(a){return Math.round(a*Math.pow(10,e))},m=!0;if(j)throw new Error(g);return e=k(d),(k(b)>e||l(b)%l(d)!==0)&&(m=!1),this.optional(c)||m},equalTo:function(b,c,d){var e=a(d);return this.settings.onfocusout&&e.not(".validate-equalTo-blur").length&&e.addClass("validate-equalTo-blur").on("blur.validate-equalTo",function(){a(c).valid()}),b===e.val()},remote:function(b,c,d,e){if(this.optional(c))return"dependency-mismatch";e="string"==typeof e&&e||"remote";var f,g,h,i=this.previousValue(c,e);return this.settings.messages[c.name]||(this.settings.messages[c.name]={}),i.originalMessage=i.originalMessage||this.settings.messages[c.name][e],this.settings.messages[c.name][e]=i.message,d="string"==typeof d&&{url:d}||d,h=a.param(a.extend({data:b},d.data)),i.old===h?i.valid:(i.old=h,f=this,this.startRequest(c),g={},g[c.name]=b,a.ajax(a.extend(!0,{mode:"abort",port:"validate"+c.name,dataType:"json",data:g,context:f.currentForm,success:function(a){var d,g,h,j=a===!0||"true"===a;f.settings.messages[c.name][e]=i.originalMessage,j?(h=f.formSubmitted,f.resetInternals(),f.toHide=f.errorsFor(c),f.formSubmitted=h,f.successList.push(c),f.invalid[c.name]=!1,f.showErrors()):(d={},g=a||f.defaultMessage(c,{method:e,parameters:b}),d[c.name]=i.message=g,f.invalid[c.name]=!0,f.showErrors(d)),i.valid=j,f.stopRequest(c,j)}},d)),"pending")}}});var b,c={};return a.ajaxPrefilter?a.ajaxPrefilter(function(a,b,d){var e=a.port;"abort"===a.mode&&(c[e]&&c[e].abort(),c[e]=d)}):(b=a.ajax,a.ajax=function(d){var e=("mode"in d?d:a.ajaxSettings).mode,f=("port"in d?d:a.ajaxSettings).port;return"abort"===e?(c[f]&&c[f].abort(),c[f]=b.apply(this,arguments),c[f]):b.apply(this,arguments)}),a});


--------------------------------------------------------------------------------
/ef-mvc/wwwroot/lib/jquery/LICENSE.txt:
--------------------------------------------------------------------------------
 1 | Copyright JS Foundation and other contributors, https://js.foundation/
 2 | 
 3 | This software consists of voluntary contributions made by many
 4 | individuals. For exact contribution history, see the revision history
 5 | available at https://github.com/jquery/jquery
 6 | 
 7 | The following license applies to all parts of this software except as
 8 | documented below:
 9 | 
10 | ====
11 | 
12 | Permission is hereby granted, free of charge, to any person obtaining
13 | a copy of this software and associated documentation files (the
14 | "Software"), to deal in the Software without restriction, including
15 | without limitation the rights to use, copy, modify, merge, publish,
16 | distribute, sublicense, and/or sell copies of the Software, and to
17 | permit persons to whom the Software is furnished to do so, subject to
18 | the following conditions:
19 | 
20 | The above copyright notice and this permission notice shall be
21 | included in all copies or substantial portions of the Software.
22 | 
23 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
24 | EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
25 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
26 | NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
27 | LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
28 | OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
29 | WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
30 | 
31 | ====
32 | 
33 | All files located in the node_modules and external directories are
34 | externally maintained libraries used by this software which have their
35 | own licenses; we recommend you read them, as their terms may differ from
36 | the terms above.
37 | 


--------------------------------------------------------------------------------