validation.fs

module Tests =     

    type User = { Name : string; Age : int }
    
    //let user = { Name = "Diego"; Age = 26 }
    
    let validate ux = validation ux {
        required  <@ ux.Name @> 
        minLength <@ ux.Name @> 3
        adhoc (if ux.Name = "Diego" then Success else Failure "hahaha")
        external (Strings.required) <@ ux.Name @>
    }
     
        
    [<EntryPoint>]
    let main args = 
        let v1 = validate { Name = "Diego"; Age = 26 } 
        let v2 = validate { Name = ""; Age = 26 }
        let v3 = validate { Name = "Diego"; Age = 22 }
        let v4 = validate { Name = ""; Age = 22 }
        
        Console.WriteLine("Hello world!")
        0