List of all items

Structs

• collapse::free_category::Edge
• collapse::free_category::Path
• collapse::free_category::Vertex
• collapse::limit::Cospan
• collapse::limit::Pullback
• collapse::span::Span
• collapse::span::SpanComposition
• effect::fiber::Fiber
• effect::io::IoFlatMap
• effect::io::IoK
• effect::resource::Resource
• effect::stream::Stream
• effect::stream::StreamK
• foundation::iso::Iso
• primitive::kan::LeftKan
• primitive::kan::RightKan

Enums

• collapse::free_category::FreeCategoryError
• effect::fiber::FiberError
• effect::io::Io

Traits

• collapse::adjunction::Adjunction
• collapse::free_category::Graph
• collapse::free_category::GraphMorphism
• collapse::limit::HasPullbacks
• foundation::category::Category
• foundation::functor::Functor
• foundation::kind::Kind
• foundation::monad::Monad
• foundation::monoidal::Braided
• foundation::monoidal::MonoidalCategory
• foundation::monoidal::Symmetric
• foundation::nat_trans::NatTrans
• foundation::semilattice::JoinSemilattice
• primitive::kan::IsLeftKan
• primitive::kan::IsRightKan

Functions

• collapse::free_category::interpret
• collapse::span::compose_spans
• effect::fiber::par_zip