funland-laws
Options
All
  • Public
  • Public/Protected
  • All
Menu

Type-class laws for Semigroup, as defined in the funland sub-project and in the static-land spec.

Laws defined for Semigroup:

  1. Associativity: Associativity: S.concat(S.concat(a, b), c) ≡ S.concat(a, S.concat(b, c))

Type parameters

  • A

Hierarchy

  • SemigroupLaws

Index

Constructors

Properties

Methods

Constructors

constructor

Properties

F

F: Semigroup<A>

Methods

associativity

  • associativity(x: A, y: A, z: A): Equiv<A>

Legend

  • Module
  • Object literal
  • Variable
  • Function
  • Function with type parameter
  • Index signature
  • Type alias
  • Enumeration
  • Enumeration member
  • Property
  • Method
  • Interface
  • Interface with type parameter
  • Constructor
  • Property
  • Method
  • Index signature
  • Class
  • Class with type parameter
  • Constructor
  • Property
  • Method
  • Accessor
  • Index signature
  • Inherited constructor
  • Inherited property
  • Inherited method
  • Inherited accessor
  • Protected property
  • Protected method
  • Protected accessor
  • Private property
  • Private method
  • Private accessor
  • Static property
  • Static method

Generated using TypeDoc