karpal-std 0.6.1

Standard prelude re-exports for the Karpal ecosystem
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

# karpal-std

Standard prelude for the Karpal ecosystem.

Re-exports the most commonly used types and traits from all Karpal crates
for ergonomic single-import usage.

## Usage

```rust
use karpal_std::prelude::*;
```

This gives you access to:

- **HKT encoding**: `HKT`, `HKT2`, `OptionF`, `ResultF`, `VecF`, `ResultBF`, `TupleF`, and more
- **Functor hierarchy**: `Functor`, `Apply`, `Applicative`, `Chain`, `Monad`,
  `Alt`, `Plus`, `Alternative`, `Foldable`, `Traversable`, `FunctorFilter`,
  `Selective`, `Bifunctor`, `Contravariant`, `NaturalTransformation`
- **Comonad hierarchy**: `Comonad`, `ComonadEnv`, `ComonadStore`, `ComonadTraced`, `Extend`
- **Algebraic typeclasses**: `Semigroup`, `Monoid`
- **Newtype wrappers**: `Sum`, `Product`, `Min`, `Max`, `First`, `Last`
- **Abstract algebra**: `Group`, `AbelianGroup`, `Semiring`, `Ring`, `Field`,
  `Lattice`, `BoundedLattice`, `Module`, `VectorSpace`
- **Adjunctions**: `Adjunction`, `ComposeF`, `End`, `Coend`, `DinaturalTransformation`
- **Effect system**: `FunctorSt`, `ApplicativeSt`, `ChainSt`, `MonadTrans`,
  `ExceptTF`, `WriterTF`, `ReaderTF`, `StateTF`
- **Proof system**: `Proven`, `Property`, `Rewrite`, `NonEmpty`, `Positive`,
  and law-verification derive macros
- **External verification**: `Obligation`, `ObligationBundle`, `Term`, `Sort`,
  `Certificate`, `Certified`, `SmtLib2`, `Lean4`, artifact layouts, configs,
  dry-run invocation plans, runner abstractions, backend policies, execution
  results, parsed SMT output, orchestration helpers, and verification reports
- **Optional amari-flynn bridge** (`karpal-std` feature `amari`): statistical
  rare-event verification helpers, amari SMT obligation adapters, and
  probabilistic contract macros
- **Diagramming**: `Tensor`, `Braiding`, `Symmetry`, `Diagram`, `TextRenderer`,
  and `SvgRenderer` for monoidal composition and string-diagram rendering
- **Profunctor**: `Profunctor`, `Strong`, `Choice`, `Traversing`, `FnP`, `ForgetF`, `TaggedF`
- **Optics**: `Iso`, `Lens`, `Prism`, `Traversal`, `Fold`, `Getter`, `Setter`, `Review`, and composed variants
- **Arrow hierarchy**: `Semigroupoid`, `Category`, `Arrow`, `ArrowChoice`, `ArrowApply`,
  `ArrowLoop`, `ArrowZero`, `ArrowPlus`, `FnA`, `KleisliF`, `CokleisliF`
- **Free constructions**: `Free`, `Cofree`, `Freer`, `Coyoneda`, `Yoneda`, `Day`,
  `FreeAp`, `FreeAlt`, `Codensity`, `Density`, `Lan`, `Ran`
- **Recursion schemes**: `Fix`, `Mu`, `Nu`, `cata`, `ana`, `hylo`, `para`, `apo`,
  `histo`, `futu`, `zygo`, `chrono`
- **Macros**: `do_!`, `ado_!`

For qualified access, the individual crates are also re-exported:

```rust
use karpal_std::karpal_core;
use karpal_std::karpal_profunctor;
use karpal_std::karpal_optics;
use karpal_std::karpal_arrow;
use karpal_std::karpal_free;
use karpal_std::karpal_recursion;
use karpal_std::karpal_algebra;
use karpal_std::karpal_effect;
use karpal_std::karpal_proof;
use karpal_std::karpal_verify;
use karpal_std::karpal_diagram;
```

The `do_!` and `ado_!` macros are available directly:

```rust
use karpal_std::do_;
use karpal_std::ado_;
```

## License

Apache-2.0