Skip to content

Commit

Permalink
Apply coding standards
Browse files Browse the repository at this point in the history
  • Loading branch information
@gusty
gusty committed Aug 30, 2022
1 parent ed03800 commit 32f5c4a
Showing 1 changed file with 66 additions and 54 deletions.
120 changes: 66 additions & 54 deletions docsrc/content/type-validation.fsx
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// This block of code is omitted in the generated HTML documentation. Use
// it to define helpers that you do not want to show in the documentation.
(**
Validation<'Error,'T>
=====================
Validation<'Error, 'T>
======================
This is similar to Result<'T,'Error> but with accumulative errors semantics, instead of short-circuit.
This is similar to Result<'T, 'Error> but with accumulative errors semantics, instead of short-circuit.
Examples
--------
Expand All @@ -18,72 +18,83 @@ open System
open FSharpPlus
open FSharpPlus.Data

module MovieValidations=
type VError= | MustNotBeEmpty
| MustBeAtLessThanChars of int
| MustBeADate
| MustBeOlderThan of int
| MustBeWithingRange of decimal*decimal
module String=
let nonEmpty (x:string) : Validation<VError list,string> =
if String.IsNullOrEmpty x
module MovieValidations =
type VError =
| MustNotBeEmpty
| MustBeAtLessThanChars of int
| MustBeADate
| MustBeOlderThan of int
| MustBeWithingRange of decimal * decimal

module String =
let nonEmpty (x:string) : Validation<VError list, string> =
if String.IsNullOrEmpty x
then Failure [MustNotBeEmpty]
else Success x
let mustBeLessThan (i:int) (x:string) : Validation<VError list,string> =
let mustBeLessThan (i: int) (x: string) : Validation<VError list, string> =
if isNull x || x.Length > i
then Failure [MustBeAtLessThanChars i]
else Success x
module Number=
let mustBeWithin (from,to') (x)=

module Number =
let mustBeWithin (from, to') x =
if from<= x && x <= to'
then Success x
else Failure [MustBeWithingRange (from,to')]
module DateTime=
let classicMovie year (d:DateTime)=
else Failure [MustBeWithingRange (from, to')]

module DateTime =
let classicMovie year (d: DateTime) =
if d.Year < year
then Success d
else Failure [MustBeOlderThan year]
let date (d:DateTime)=
let date (d: DateTime) =
if d.Date = d
then Success d
else Failure [MustBeADate]
type Genre=

type Genre =
|Classic
|PostClassic
|Modern
|PostModern
|Contemporary

type Movie = {
Id: int
Title: String
ReleaseDate: DateTime
Description: String
Price: decimal
Genre: Genre
}
with static member Create(id,title,releaseDate,description,price,genre): Validation<VError list,Movie> =
fun title releaseDate description price->{ Id=id;Title=title;ReleaseDate=releaseDate;Description=description;Price=price;Genre=genre }
} with
static member Create (id, title, releaseDate, description, price, genre) : Validation<VError list, Movie> =
fun title releaseDate description price -> { Id = id; Title = title; ReleaseDate = releaseDate; Description = description; Price = price; Genre = genre }
<!> String.nonEmpty title <* String.mustBeLessThan 100 title
<*> DateTime.classicMovie 1960 releaseDate <* DateTime.date releaseDate
<*> String.nonEmpty description <* String.mustBeLessThan 1000 description
<*> Number.mustBeWithin (0.0m, 999.99m) price

let newRelease = Movie.Create(1,"Midsommar",DateTime(2019,6,24),"Midsommar is a 2019 folk horror film written...",1m,Classic) //Failure [MustBeOlderThan 1960]
let oldie = Movie.Create(2,"Modern Times",DateTime(1936,2,5),"Modern Times is a 1936 American comedy film...",1m,Classic) // Success..
let titleToLong = Movie.Create(3, String.Concat (seq{ 1..110 }), DateTime(1950,1,1),"11",1m,Classic) //Failure [MustBeAtLessThanChars 100]
let newRelease = Movie.Create (1, "Midsommar", DateTime (2019, 6, 24), "Midsommar is a 2019 folk horror film written...", 1m, Classic) //Failure [MustBeOlderThan 1960]
let oldie = Movie.Create (2, "Modern Times", DateTime (1936, 2, 5), "Modern Times is a 1936 American comedy film...", 1m, Classic) // Success..
let titleToLong = Movie.Create (3, String.Concat (seq { 1..110 }), DateTime (1950, 1, 1), "11", 1m, Classic) //Failure [MustBeAtLessThanChars 100]


module Person =

type Name = { unName: String }
with static member create s = {unName = s }

type Email = { unEmail: String }
with static member create s = { unEmail = s }

module Person=
type Name = { unName : String }
with static member create s={unName=s}
type Email = { unEmail : String }
with static member create s={unEmail=s}
type Age = { unAge : int }
with static member create i={unAge=i}
with static member create i = { unAge = i }

type Person = { name : Name
email : Email
age : Age }
with static member create name email age={name=name;email=email;age=age }
type Person = {
name: Name
email: Email
age: Age }
with static member create name email age = { name = name; email = email; age = age }


type Error =
Expand All @@ -92,21 +103,21 @@ module Person=
| AgeBetween0and120

// Smart constructors
let mkName s =
let mkName s =
let l = length s
if (l >= 1 && l <= 50)
then Success <| Name.create s
else Failure [ NameBetween1And50 ]
else Failure [NameBetween1And50]

let mkEmail s =
let mkEmail s =
if String.contains '@' s
then Success <| Email.create s
else Failure [ EmailMustContainAtChar ]
else Failure [EmailMustContainAtChar]

let mkAge a =
let mkAge a =
if (a >= 0 && a <= 120)
then Success <| Age.create a
else Failure [ AgeBetween0and120 ]
else Failure [AgeBetween0and120]

let mkPerson pName pEmail pAge =
Person.create
Expand Down Expand Up @@ -147,36 +158,37 @@ module Person=
module Email =

// ***** Types *****
type AtString = AtString of string
type PeriodString = PeriodString of string
type NonEmptyString = NonEmptyString of string
type AtString = AtString of string
type PeriodString = PeriodString of string
type NonEmptyString = NonEmptyString of string

type Email = Email of string
type Email = Email of string

type VError = | MustNotBeEmpty
| MustContainAt
| MustContainPeriod
type VError =
| MustNotBeEmpty
| MustContainAt
| MustContainPeriod

// ***** Base smart constructors *****
// String must contain an '@' character
let atString (x:string) : Validation<VError list,AtString> =
let atString (x: string) : Validation<VError list, AtString> =
if String.contains '@' x then Success <| AtString x
else Failure [MustContainAt]

// String must contain an '.' character
let periodString (x:string) : Validation<VError list,PeriodString> =
let periodString (x: string) : Validation<VError list, PeriodString> =
if String.contains '.' x
then Success <| PeriodString x
else Failure [MustContainPeriod]

// String must not be empty
let nonEmptyString (x:string) : Validation<VError list,NonEmptyString> =
if not <| String.IsNullOrEmpty x
let nonEmptyString (x: string) : Validation<VError list, NonEmptyString> =
if not <| String.IsNullOrEmpty x
then Success <| NonEmptyString x
else Failure [MustNotBeEmpty]

// ***** Combining smart constructors *****
let email (x:string) : Validation<VError list, Email> =
let email (x: string) : Validation<VError list, Email> =
result (Email x) <*
nonEmptyString x <*
atString x <*
Expand Down

0 comments on commit 32f5c4a

Please sign in to comment.