| @Composable | |
| fun ParallaxScreen(modifier: Modifier = Modifier) { | |
| val context = LocalContext.current | |
| val scope = rememberCoroutineScope() | |
| var data by remember { mutableStateOf<SensorData?>(null) } | |
| DisposableEffect(Unit) { | |
| val dataManager = SensorDataManager(context) | |
| dataManager.init() |
| // MARK: - Reducable | |
| protocol Reducable { | |
| associatedtype State | |
| associatedtype Action | |
| associatedtype Environment | |
| associatedtype Effect | |
| func reduce( | |
| state: inout State, |
Leash requirements
Most pet-friendly campgrounds still have leash requirements for the safety of all campers and their pets. Leash requirements vary from location to location, but the general rule is that the leash is no longer than six feet long for easy control. Some places may have additional restrictions, such as no retractable leashes.
| // | |
| // ContentView.swift | |
| // MetalSwiftUI | |
| // | |
| // Created by Zach Eriksen on 9/8/20. | |
| // Copyright © 2020 oneleif. All rights reserved. | |
| // | |
| // Inspired [MetalUI](https://github.com/0xLeif/MetalUI) | |
| import SwiftUI |
| /* | |
| * Copyright 2019 Louis Cognault Ayeva Derman. Use of this source code is governed by the Apache 2.0 license. | |
| */ | |
| import android.location.Location | |
| import com.google.android.gms.location.LocationCallback | |
| import com.google.android.gms.location.LocationRequest | |
| import com.google.android.gms.location.LocationResult | |
| import com.google.android.gms.location.LocationServices | |
| import kotlinx.coroutines.CancellationException |
First off, thanks for all the comments and kind words on the original writeup; I've been meaning to follow up on some of the suggestions and write about the different ways to represent monads (and functors, HKTs, etc) that now exist, but a month of being busy has kind of gotten in the way (mainly with three new kittens!).
And for sure, I do not expect (nor do I want) this to become the norm for production-level Rust: rather, I hope that this can contribute to the foundations of programming with higher-level abstractions in Rust, somewhat like how early template metaprogramming in C++ and typeclass-constraint-unification metaprogramming in Haskell have contributed, perhaps indirectly, to later innovations in their respective languages and ecosystems that were much more reasoned, sound and usable.
One of the things suggested in the com