concept
active
concept:pair

Pair

A data type of two identical values, with denotational semantics as functions from Bool to a.

Neighborhood — ranked by edge-count

Communities (1)

community

Concepts (3)

concept
  • Monoid
    implements
    Standard algebraic abstraction with identity (ε) and associative binary operation ('); used to specify Image overlay operations.
  • Memo Tries
    associated_with
    Data structure generalizing Pair and Stream via indexable containers; demonstrates denotational design on memo structures
  • indexable container
    associated_with
    A class of types whose semantics are functions from an index type, enabling reuse of function instances.