nonempty 0.6.0

Correct by construction non-empty vector
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
[dependencies.serde]
features = ["serde_derive"]
optional = true
version = "1"
[dev-dependencies.serde_json]
version = "1"

[features]
serialize = ["serde"]

[package]
authors = ["Alexis Sellier <self@cloudhead.io>"]
description = "Correct by construction non-empty vector"
edition = "2018"
license = "MIT"
name = "nonempty"
version = "0.6.0"