Data.Semigroup.Numbered

Documentation

class SemigroupNo (n :: Nat) g where

Minimal complete definition

sappendN | sconcatN

Methods

sappendN :: proxy n -> g -> g -> g

sconcatN :: proxy n -> NonEmpty g -> g

stimesN :: (Integral b, HasCallStack) => proxy n -> b -> g -> g

Instances

SemigroupNo n Void

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy n -> Void -> Void -> Void

sconcatN :: proxy n -> NonEmpty Void -> Void

stimesN :: (Integral b, HasCallStack) => proxy n -> b -> Void -> Void

SemigroupNo n ()

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy n -> () -> () -> ()

sconcatN :: proxy n -> NonEmpty () -> ()

stimesN :: (Integral b, HasCallStack) => proxy n -> b -> () -> ()

SemigroupNo n g => SemigroupNo n (Maybe g)

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy n -> Maybe g -> Maybe g -> Maybe g

sconcatN :: proxy n -> NonEmpty (Maybe g) -> Maybe g

stimesN :: (Integral b, HasCallStack) => proxy n -> b -> Maybe g -> Maybe g

SemigroupNo 0 [Void]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Void] -> [Void] -> [Void]

sconcatN :: proxy 0 -> NonEmpty [Void] -> [Void]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Void] -> [Void]

SemigroupNo 0 [Rational]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Rational] -> [Rational] -> [Rational]

sconcatN :: proxy 0 -> NonEmpty [Rational] -> [Rational]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Rational] -> [Rational]

SemigroupNo 0 [Maybe a]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Maybe a] -> [Maybe a] -> [Maybe a]

sconcatN :: proxy 0 -> NonEmpty [Maybe a] -> [Maybe a]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Maybe a] -> [Maybe a]

SemigroupNo 0 [Integer]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Integer] -> [Integer] -> [Integer]

sconcatN :: proxy 0 -> NonEmpty [Integer] -> [Integer]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Integer] -> [Integer]

SemigroupNo 0 [()]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [()] -> [()] -> [()]

sconcatN :: proxy 0 -> NonEmpty [()] -> [()]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [()] -> [()]

SemigroupNo 0 [Char]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Char] -> [Char] -> [Char]

sconcatN :: proxy 0 -> NonEmpty [Char] -> [Char]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Char] -> [Char]

SemigroupNo 0 [Double]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Double] -> [Double] -> [Double]

sconcatN :: proxy 0 -> NonEmpty [Double] -> [Double]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Double] -> [Double]

SemigroupNo 0 [Float]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Float] -> [Float] -> [Float]

sconcatN :: proxy 0 -> NonEmpty [Float] -> [Float]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Float] -> [Float]

SemigroupNo 0 [Int]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [Int] -> [Int] -> [Int]

sconcatN :: proxy 0 -> NonEmpty [Int] -> [Int]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [Int] -> [Int]

SemigroupNo 0 [a] => SemigroupNo 0 [[a]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 0 -> [[a]] -> [[a]] -> [[a]]

sconcatN :: proxy 0 -> NonEmpty [[a]] -> [[a]]

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> [[a]] -> [[a]]

SemigroupNo 1 [[Void]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Void]] -> [[Void]] -> [[Void]]

sconcatN :: proxy 1 -> NonEmpty [[Void]] -> [[Void]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Void]] -> [[Void]]

SemigroupNo 1 [[Rational]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Rational]] -> [[Rational]] -> [[Rational]]

sconcatN :: proxy 1 -> NonEmpty [[Rational]] -> [[Rational]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Rational]] -> [[Rational]]

SemigroupNo 1 [[Maybe a]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Maybe a]] -> [[Maybe a]] -> [[Maybe a]]

sconcatN :: proxy 1 -> NonEmpty [[Maybe a]] -> [[Maybe a]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Maybe a]] -> [[Maybe a]]

SemigroupNo 1 [[Integer]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Integer]] -> [[Integer]] -> [[Integer]]

sconcatN :: proxy 1 -> NonEmpty [[Integer]] -> [[Integer]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Integer]] -> [[Integer]]

SemigroupNo 1 [[()]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[()]] -> [[()]] -> [[()]]

sconcatN :: proxy 1 -> NonEmpty [[()]] -> [[()]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[()]] -> [[()]]

SemigroupNo 1 [[Char]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Char]] -> [[Char]] -> [[Char]]

sconcatN :: proxy 1 -> NonEmpty [[Char]] -> [[Char]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Char]] -> [[Char]]

SemigroupNo 1 [[Double]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Double]] -> [[Double]] -> [[Double]]

sconcatN :: proxy 1 -> NonEmpty [[Double]] -> [[Double]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Double]] -> [[Double]]

SemigroupNo 1 [[Float]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Float]] -> [[Float]] -> [[Float]]

sconcatN :: proxy 1 -> NonEmpty [[Float]] -> [[Float]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Float]] -> [[Float]]

SemigroupNo 1 [[Int]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[Int]] -> [[Int]] -> [[Int]]

sconcatN :: proxy 1 -> NonEmpty [[Int]] -> [[Int]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[Int]] -> [[Int]]

SemigroupNo 1 [[a]] => SemigroupNo 1 [[[a]]]

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy 1 -> [[[a]]] -> [[[a]]] -> [[[a]]]

sconcatN :: proxy 1 -> NonEmpty [[[a]]] -> [[[a]]]

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> [[[a]]] -> [[[a]]]

SemigroupNo n (Proxy x)

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy n -> Proxy x -> Proxy x -> Proxy x

sconcatN :: proxy n -> NonEmpty (Proxy x) -> Proxy x

stimesN :: (Integral b, HasCallStack) => proxy n -> b -> Proxy x -> Proxy x

SemigroupNo n g => SemigroupNo n (a -> g)

Defined in Data.Semigroup.Numbered

Methods

sappendN :: proxy n -> (a -> g) -> (a -> g) -> a -> g

sconcatN :: proxy n -> NonEmpty (a -> g) -> a -> g

stimesN :: (Integral b, HasCallStack) => proxy n -> b -> (a -> g) -> a -> g

The common directions

type SemigroupX = SemigroupNo 0

type SemigroupY = SemigroupNo 1

type SemigroupZ = SemigroupNo 2

Infix ops (diagrams/hmatrix style)

(|||) :: SemigroupX g => g -> g -> g infixl 6

Horizontal concatenation. Fixity as in diagrams.

(===) :: SemigroupY g => g -> g -> g infixl 6

Vertical concatenation. Fixity as in diagrams.

Infix ops (ASCII-art style)

(│) :: SemigroupX g => g -> g -> g infixr 6

Horizontal concatenation. Fixity as of the standard semigroup.

U+2502 / Vim digraph vv.

(──) :: SemigroupY g => g -> g -> g infixr 5

Vertical concatenation. U+2500 / Vim digraph hh.

(■) :: SemigroupZ g => g -> g -> g infixr 4

z-concatenation. U+25A0 / Vim digraph fS.

(┃) :: SemigroupX g => g -> g -> g infixr 3

Horizontal concatenation. U+2503 / Vim digraph VV.

(━━) :: SemigroupY g => g -> g -> g infixr 2

Vertical concatenation. U+2501 / Vim digraph HH.

(██) :: SemigroupZ g => g -> g -> g infixr 1

z-concatenation. U+254B / Vim digraph FB.