dotnet-websharper / mvu Goto Github PK

module Authentication

type Auth()=
    [<Name("isAuthenticated")>]
    [<Stub>]
    member this.IsLoggedIn(): Promise<bool>= X<_> 
    [<Name("loginWithRedirect")>]
    [<Stub>]
    member this.Login(options: LoginOptions): Promise<unit>= X<_>
    [<Name("logout")>]
    [<Stub>]
    member this.Logout(options: LogoutOptions): Promise<unit>= X<_>
    [<Name("handleRedirectCallback")>]
    [<Stub>]
    member this.finishLogin() : Promise<unit>= X<_>
	
[<Direct("createAuth0Client($options)")>]
let create(options: CreateOptions): Promise<Auth>= X<_>

let setup domain clientId=
    async {
        let! a= create({Domain= domain; ClientId=clientId}).AsAsync()
		// ...
    }

let update msg (state: State) : Action<Message, State> =
    match msg with
	// ...
	| SetupAuth ->
	CommandAsync (fun _ -> Authentication.setup "myDomain" "myClientId")

let Main () =
    let router = Router.Infer<Site.Route>()

    App.CreatePaged (Site.init()) Site.update Site.pageFor
    |> App.WithCustomRouting router Site.routeForState Site.goto
	// ...

module Site

let goto (route: Route) (state: State) : State =
    match route with
    | Welcome -> {state with Route=route; Screen= WelcomeScreen}
	// ...
    | AuthLoggedIn -> 
        // HERE
        state

let routeForState state = state.Route

    match msg with
	// ...
	| LoginFinished ->
	CommandAsync (fun _ -> Authentication.finishLogin())

module Action =

    let rec Map (wrapMsg: 'ChildMessage -> 'ParentMessage)
                (currentModel: 'ParentModel)
                (wrapModel: 'ParentModel -> 'ChildModel -> 'ParentModel)
                (unwrapModel: 'ParentModel -> 'ChildModel)
                (action: Action<'ChildMessage, 'ChildModel>)
                : Action<'ParentMessage, 'ParentModel> =
        match action with
        | DoNothing -> DoNothing
        | SetModel childModel -> UpdateModel (fun parent -> wrapModel parent childModel)
        | UpdateModel f -> UpdateModel (fun parent -> unwrapModel parent |> f |> wrapModel parent)
        | Command cmd -> Command (fun dispatch -> cmd (wrapMsg >> dispatch))
        | CommandAsync cmd -> CommandAsync (fun dispatch -> cmd (wrapMsg >> dispatch))
        | CombinedAction actions -> CombinedAction (List.map (Map wrapMsg currentModel wrapModel unwrapModel) actions)

// Use:
let update msg (state: State) : Action<Message, State> =
    match msg with
    | TagListMessage m -> 
        let updatedTagList= Tags.update m state.TagList
        SetModel {state with TagList=updatedTagList}
    | AuthMessage m ->
        Authentication.update m state.UserInfo
        |> Action.Map AuthMessage state (fun s i -> { s with UserInfo = i }) (fun s -> s.UserInfo)

|> Action.MagicMap AuthMessage state.UserInfo

|> Action.Map AuthMessage state (fun s i -> { s with UserInfo = i }) (fun s -> s.UserInfo)