Navs.Avalonia
1.0.0-beta-007
See the version list below for details.
dotnet add package Navs.Avalonia --version 1.0.0-beta-007
NuGet\Install-Package Navs.Avalonia -Version 1.0.0-beta-007
<PackageReference Include="Navs.Avalonia" Version="1.0.0-beta-007" />
paket add Navs.Avalonia --version 1.0.0-beta-007
#r "nuget: Navs.Avalonia, 1.0.0-beta-007"
// Install Navs.Avalonia as a Cake Addin #addin nuget:?package=Navs.Avalonia&version=1.0.0-beta-007&prerelease // Install Navs.Avalonia as a Cake Tool #tool nuget:?package=Navs.Avalonia&version=1.0.0-beta-007&prerelease
The Navs Family
Welcome to the Navs Family documentation.
This documentation is a work in progress.
This project contains the following libraries:
Navs
Navs is a router-like abstraction inspired by web routers such as vue-router, angular-router and similar projects.
It is primarily a "core" library which you would usually depend on in your own projects, as it is very generic and while F# can be very intelligent about type inference, it tends to produce quite verbose signatures. For more information visit the Navs section in these docs.
A Compelling Example:
let routes = [
Route.define<string>("home", "/", (fun _ -> "Home"))
Route.define<string>("about", "/about", (fun _ -> "About"))
Route.define<string>(
"guid",
"/:id<guid>",
fun context _ -> async {
do! Async.Sleep(90)
return
match context.UrlMatch.Params.TryGetValue "id" with
| true, id -> sprintf "Home %A" id
| false, _ -> "Guid No GUID"
}
)
]
let router = Router.get<string>(routes)
router.Content.AddCallback(fun content -> printfn $"%A{content}")
let! result1 = router.navigate("/about")
let! result2 = router.navigate("/home")
let! result3 = router.navigate("/123e4567-e89b-12d3-a456-426614174000")
// "About"
// "Home"
// "Home 123e4567-e89b-12d3-a456-426614174000"
Navs.Avalonia
This project attempts to hide the generics from call sites and offer a few DSLs to make it easier to use Navs in Avalonia applications. This router was designed to be used with Raw Avalonia Control classes however, it will pair very nicely with the NXUI project, Feel free to check the C# and F# samples in the Samples folder in the source code repository.
A Compelling Example:
let routes = [
Route.define(
"guid",
// routes can be typed!
"/:id<guid>",
fun context _ -> async {
// you can pre-load data if you want to
do! Async.Sleep(90)
return
// extract parameters from the URL
match context.urlMatch |> UrlMatch.getFromParams<guid> "id" with
| ValueSome id -> TextBlock().text(sprintf "Home %A" id)
| ValueNone -> TextBlock().text("Guid No GUID")
}
)
// Simpler non-async routes are also supported
Route.define("books", "/books", (fun _ _ -> TextBlock().text("Books")))
]
let getMainContent (router: IRouter<Control>) =
ContentControl()
.DockTop()
// with NXUI you can use the .content method to bind the content
// to the observable in a seamless way
.content(router.Content |> AVal.toBinding)
let navigate url (router: IRouter<Control>) _ _ =
task {
// navigation is asynchronous and returns a result
// in order to check if the navigation was successful
let! result = router.Navigate(url)
match result with
| Ok _ -> ()
| Error e -> printfn $"%A{e}"
}
|> ignore
let app () =
let router: IRouter<Control> = AvaloniaRouter(routes, splash = fun _ -> TextBlock().text("Loading..."))
Window()
.content(
DockPanel()
.lastChildFill(true)
.children(
StackPanel()
.DockTop()
.OrientationHorizontal()
.spacing(8)
.children(
Button().content("Books").OnClickHandler(navigate "/books" router),
Button()
.content("Guid")
.OnClickHandler(navigate $"/{Guid.NewGuid()}" router)
),
getMainContent(router)
)
)
NXUI.Run(app, "Navs.Avalonia!", Environment.GetCommandLineArgs()) |> ignore
Navs.FuncUI
In a similar Fashion of Navs.Avalonia, this project attempts to provide a smooth API interface for Avalonia.FuncUI, you can find a sample in the Samples folder in the source code repository.
A Compelling Example:
let routes = [
Route.define(
"books",
"/books",
(fun _ _ -> TextBlock.create [ TextBlock.text "Books" ])
)
Route.define(
"guid",
"/:id<guid>",
fun context _ -> async {
return
TextBlock.create [
match context.urlMatch |> UrlMatch.getFromParams<guid> "id" with
| ValueSome id -> TextBlock.text $"Visited: {id}"
| ValueNone -> TextBlock.text "Guid No GUID"
]
}
)
]
let appContent (router: IRouter<IView>, navbar: IRouter<IView> -> IView) =
Component(fun ctx ->
let currentView = ctx.useRouter router
DockPanel.create [
DockPanel.lastChildFill true
DockPanel.children [ navbar router; currentView.Current ]
]
)
UrlTemplates
This is a library for parsing URL-like strings into structured objects. It is used by Navs to parse navigable URLs and URL templates to find if they match.
Currently this library is mainly aimed to be used from F# but if there's interest in using it from C# I can add some more friendly APIs.
A Compelling Example:
open UrlTemplates.RouteMatcher
let template = "/api/v1/profiles/:id<int>?optionalKey<guid>&requiredKey!#hash"
let url = "/api/v1/profiles/2345?requiredKey=2#hash"
match RouteMatcher.matchStrings template url with
| Ok (urlTemplate, urlInfo, urlMatch) ->
let { Segments = foundParams; Query = queryParams; Hash = foundHash } = urlTemplate
// foundParams
// [ Plain ""; Plain "api"; Plain "v1"; Plain "profiles"; Param ("id", "2345");]
// query
// [Optional "optionalKeyu", Guid; Required "requiredKey", Int]
// hash
// "hash"
let { Params = urlParams; Query = query; Hash = hash } = urlInfo
// urlParams
// [ ""; "api"; "v1"; "profiles"; "2345" ]
// query
// [ "optionalKey", String ValueNone; "requiredKey", String ValueSome "2"]
// hash
// ValueSome "hash"
let { Params = foundParams; QueryParams = queryParams; Hash = foundHash } = urlMatch
// foundParams
// { { "id", box 2345 } }
// queryParams
// { { "requiredKey", box "2" } }
// foundHash
// ValueSome "hash"
| Error errors ->
for e in errors do
printfn $"%A{e}"
Product | Versions Compatible and additional computed target framework versions. |
---|---|
.NET | net6.0 is compatible. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed. net8.0 is compatible. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. |
-
net6.0
- Avalonia (>= 11.0.0)
- FSharp.Core (>= 8.0.101)
- Navs (>= 1.0.0-beta-007)
-
net8.0
- Avalonia (>= 11.0.0)
- FSharp.Core (>= 8.0.101)
- Navs (>= 1.0.0-beta-007)
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
1.0.0-rc-004 | 38 | 11/27/2024 |
1.0.0-rc-003 | 62 | 11/14/2024 |
1.0.0-rc-002 | 41 | 11/13/2024 |
1.0.0-rc-001 | 160 | 3/28/2024 |
1.0.0-beta-008 | 70 | 3/17/2024 |
1.0.0-beta-007 | 66 | 3/15/2024 |
1.0.0-beta-006 | 69 | 3/13/2024 |
1.0.0-beta-005 | 61 | 3/10/2024 |
1.0.0-beta-004 | 77 | 3/9/2024 |
1.0.0-beta-003 | 68 | 3/7/2024 |
1.0.0-beta-002 | 60 | 3/6/2024 |
1.0.0-beta-001 | 67 | 3/6/2024 |