A newtype representing logical conjunction.
A newtype representing parameterized logical conjunction.
A newtype representing taking the first of two elements.
A newtype representing taking the last of two elements.
A newtype representing taking the max of two elements.
A newtype representing taking the min of two elements.
A newtype representing logical disjunction.
A newtype representing parameterized logical disjunction.
A newtype representing multiplication.
A newtype representing addition.
A newtype representing another type in a failed state
A newtype representing an input error in another type
A newtype representing an output error in another type