Boost.Hana  1.3.0
Your standard library for metaprogramming
Concepts

Description

Concepts provided by the library.

Modules

 Applicative
 The Applicative concept represents Functors with the ability to lift values and combine computations.
 
 Comonad
 The Comonad concept represents context-sensitive computations and data.
 
 Comparable
 The Comparable concept defines equality and inequality.
 
 Constant
 The Constant concept represents data that can be manipulated at compile-time.
 
 Euclidean Ring
 The EuclideanRing concept represents a commutative Ring that can also be endowed with a division algorithm.
 
 Foldable
 The Foldable concept represents data structures that can be reduced to a single value.
 
 Functor
 The Functor concept represents types that can be mapped over.
 
 Group
 The Group concept represents Monoids where all objects have an inverse w.r.t. the Monoid's binary operation.
 
 Hashable
 The Hashable concept represents objects that can be normalized to a type-level hash.
 
 Iterable
 The Iterable concept represents data structures supporting external iteration.
 
 Logical
 The Logical concept represents types with a truth value.
 
 Metafunction
 A Metafunction is a function that takes hana::types as inputs and returns a hana::type as output.
 
 Monad
 The Monad concept represents Applicatives with the ability to flatten nested levels of structure.
 
 MonadPlus
 The MonadPlus concept represents Monads with a monoidal structure.
 
 Monoid
 The Monoid concept represents data types with an associative binary operation that has an identity.
 
 Orderable
 The Orderable concept represents totally ordered data types.
 
 Product
 Represents types that are generic containers of two elements.
 
 Ring
 The Ring concept represents Groups that also form a Monoid under a second binary operation that distributes over the first.
 
 Searchable
 The Searchable concept represents structures that can be searched.
 
 Sequence
 The Sequence concept represents generic index-based sequences.
 
 Struct
 The Struct concept represents struct-like user-defined types.
 

Classes

struct  boost::hana::IntegralConstant< C >
 The IntegralConstant concept represents compile-time integral values. More...