Contents

module LensPerson

open Aether
open Aether.Operators
open System

type Address = 
    { street: string
      houseNumber: int
      place: string
      country: string }

    static member street_ =
        (fun a -> a.street), (fun b a -> { a with street = b })

type Born = 
    { at: Address
      on: DateTime }

    static member at_ =
        (fun a -> a.at), (fun b a -> { a with at = b })

    static member on_ =
        (fun a -> a.on), (fun b a -> { a with on = b })

    static member birthMonth_ =
        (fun a -> a.on.Month), (fun b a -> { a with on = DateTime(a.on.Year, b, a.on.Day) })

type Name = 
    { name: string
      surName: string }

type Person = 
    { name: Name
      born: Born
      address: Address }

    static member born_ =
        (fun a -> a.born), (fun b a -> { a with born = b })

    static member address_ =
        (fun a -> a.address), (fun b a -> { a with address = b })
        
let bornAtStreet = Person.born_ >-> Born.at_ >-> Address.street_

let bornOn = Person.born_ >-> Born.on_
        
let currentStreet = Person.address_ >-> Address.street_

let birthMonth = Person.born_ >-> Born.birthMonth_

Version data entries

321 entries across 321 versions & 1 rubygems

Version	Path
trackler-2.2.1.180	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.179	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.178	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.177	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.176	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.175	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.174	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.173	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.172	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.171	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.170	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.169	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.167	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.166	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.165	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.164	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.163	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.162	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.161	tracks/fsharp/exercises/lens-person/Example.fs
trackler-2.2.1.160	tracks/fsharp/exercises/lens-person/Example.fs