QLinear.Index

Documentation

data Index (i :: Nat) (j :: Nat)

Typesafe index. To construct it use TypeApplications

>>> Index @1 @3
Index 1 3
>>> :t Index @1 @3
Index @1 @3 :: Index 1 3

Constructors

Index

Instances

(KnownNat i, KnownNat j) => Show (Index i j)

Defined in QLinear.Index

Methods

showsPrec :: Int -> Index i j -> ShowS

show :: Index i j -> String

showList :: [Index i j] -> ShowS