Skip to content

bow-swift/bow-arch

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 
ย 

Repository files navigation

Bow Arch

Gitter bow-arch Playground

Welcome to Bow Arch!

Bow Arch is a library to architect applications in pure Functional Programming, based on the notion of Comonadic User Interfaces. Please, refer to the project website for extensive documentation.

ย 

๐Ÿ‘ฉโ€๐Ÿซ Principles

๐ŸŽจ View as a function of state: Using SwiftUI, we can create user interfaces in a declarative manner, that are a representation of a given state. The library goes even further and promotes the creation of views that are based on immutable state.

๐Ÿšง Clear separation of concerns: The core concepts in the library are state, input, dispatcher, view, and component. Each one of them deals with a specific concern, and lets us separate how our code deals with different aspects of application development.

๐Ÿ“ฆ Modularity: The library promotes the creation of components that can be easily reused across the application, or even in other applications. These components are highly composable and let us manage the complexity of large applications.

โœ… Testability: Functional code is intrinsically testable; therefore, software created with Bow Arch is easy to test. The library also provides utilities that you can leverage to write powerful and expressive tests.

๐Ÿงฉ Highly polymorphic: The library is based on abstract, parameterized artifacts. This makes this library not only a library to architect your application, but a library to create different architectures by replacing each of these parameters. Nevertheless, specific bindings are provided in the library, so that users do not have to deal with these details.

๐Ÿงฎ Mathematical background: Bow Arch is based on concepts from Category Theory, which brings soundness to the reasoning we can do about our code. Nonetheless, the API of the library hides the complexity of these concepts and users do not need to be experts in this topic to use the library in their applications.

ย 

๐Ÿ’ป How to get it

Bow Arch is available through Swift Package Manager, integrated in Xcode. You only need to use the repository URL on GitHub and the version or branch you would like to use. Alternatively, you can describe this dependency in your Package.swift file by adding the line:

.package(url: "https://github.com/bow-swift/bow-arch.git", from: "{version}")

ย 

๐Ÿ‘จโ€๐Ÿ’ป Usage

Bow Arch lets you architect your application in terms of components that can be reused across applications. Let's go over what you need to create in order to build a stepper component.

๐Ÿ“‹ State

A component should have a state that is rendered in its view. State is usually modeled using an immutable data structure, typically a struct.

For our stepper component, we can model our state as:

struct StepperState {
    let count: Int
}

๐Ÿ“ฒ Input

Next step is modeling inputs that a component can handle. Inputs are usually described using cases of an enum.

In our ongoing example, the component can receive two inputs, corresponding to tapping on the decrement or increment buttons. These can be modeled as:

enum StepperInput {
    case tapDecrement
    case tapIncrement
}

๐ŸŽจ View

With state and input defined, we can render a view using SwiftUI. SwiftUI is a declarative framework to describe user interfaces in Swift, with multiple bindings for the different operating systems in the Apple Platforms.

We can describe the view as a function of its state, and use a function to receive inputs:

import SwiftUI

struct StepperView: View {
    let state: StepperState
    let handle: (StepperInput) -> Void

    var body: some View {
        HStack {
            Button("-") {
                self.handle(.tapDecrement)
            }

            Text("\(state.count)")

            Button("+") {
                self.handle(.tapIncrement)
            }
        }
    }
}

๐Ÿ”จ Dispatcher

Inputs new to be transformed into actions that modify the state. This is done at the Dispatcher. Dispatchers are pure functions that receive inputs and produce actions:

typealias StepperDispatcher = StateDispatcher<Any, StepperState, StepperInput>

let stepperDispatcher = StepperDispatcher.pure { input in
    switch input {
    case .tapDecrement:
        return .modify { state in
            StepperState(count: state.count - 1)
        }^

    case .tapIncrement:
        return .modify { state in
            StepperState(count: state.count + 1)
        }^
    }
}

๐Ÿงฉ Component

Finally, we can put everything together as a component:

typealias StepperComponent = StoreComponent<Any, StepperState, StepperInput, StepperView>

let stepperComponent = StepperComponent(
    initialState: StepperState(count: 0),
    dispatcher: stepperDispatcher,
    render: StepperView.init)

Components already conform to SwiftUI View, so they can be used as part of other views, or assigned as the root view of a UIHostingController.

let controller = UIHostingController(rootView: stepperComponent)

ย 

๐Ÿ‘ Acknowledgements

We want to thank Arthur Xavier, Phil Freeman, and Edward Kmett, for their previous work on Comonads and Comonadic UIs in the PureScript and Haskell languages. The usage of optics to break down and compose components is inspired by the use of index and case paths in the Swift Composable Architecture by Stephen Cellis and Brandon Williams. Their work has inspired the creation of this library.

ย 

โš–๏ธ License

Copyright (C) 2020-2021 The Bow Authors

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

   http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.