5 people like it.
Like the snippet!
Use of Partial-Case with Parameters
Depicts use of one kind of active pattern matching; partial-case with parameters.
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
|
// A record type to hold name and age
type Person =
{ Name: string;
Age: int }
// Partial active pattern with two argus
let (|Young|_|) age (lst: list<Person>) =
lst |> List.mapi(fun i _ -> (lst.Item i).Age)
|> List.tryFind(fun i -> i <= age)
// A matching funtion
let findYoungAge = function
| Young 25 yr -> printfn "Found a young age of %d" yr
| _ -> printfn "Couldn't find any ages younger than 25"
// Construct a list of record values
let listOfPerson =
[ {Name = "John"; Age = 29};
{Name = "Simon"; Age = 24};
{Name = "Shirley"; Age = 50} ]
// "Found a young age of 24"
findYoungAge listOfPerson
|
Person.Name: string
Multiple items
val string : value:'T -> string
Full name: Microsoft.FSharp.Core.Operators.string
--------------------
type string = System.String
Full name: Microsoft.FSharp.Core.string
Person.Age: int
Multiple items
val int : value:'T -> int (requires member op_Explicit)
Full name: Microsoft.FSharp.Core.Operators.int
--------------------
type int = int32
Full name: Microsoft.FSharp.Core.int
--------------------
type int<'Measure> = int
Full name: Microsoft.FSharp.Core.int<_>
val age : int
val lst : Person list
type 'T list = List<'T>
Full name: Microsoft.FSharp.Collections.list<_>
type Person =
{Name: string;
Age: int;}
Full name: Script.Person
Multiple items
module List
from Microsoft.FSharp.Collections
--------------------
type List<'T> =
| ( [] )
| ( :: ) of Head: 'T * Tail: 'T list
interface IEnumerable
interface IEnumerable<'T>
member Head : 'T
member IsEmpty : bool
member Item : index:int -> 'T with get
member Length : int
member Tail : 'T list
static member Cons : head:'T * tail:'T list -> 'T list
static member Empty : 'T list
Full name: Microsoft.FSharp.Collections.List<_>
val mapi : mapping:(int -> 'T -> 'U) -> list:'T list -> 'U list
Full name: Microsoft.FSharp.Collections.List.mapi
val i : int
property List.Item: int -> Person
val tryFind : predicate:('T -> bool) -> list:'T list -> 'T option
Full name: Microsoft.FSharp.Collections.List.tryFind
val findYoungAge : _arg1:Person list -> unit
Full name: Script.findYoungAge
active recognizer Young: int -> Person list -> int option
Full name: Script.( |Young|_| )
val yr : int
val printfn : format:Printf.TextWriterFormat<'T> -> 'T
Full name: Microsoft.FSharp.Core.ExtraTopLevelOperators.printfn
val listOfPerson : Person list
Full name: Script.listOfPerson
More information