Safe Haskell	None
Language	Haskell2010

QLinear.Index

Synopsis

Documentation

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

Typesafe index. To construct it use TypeApplications

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

Constructors

Instances details

(KnownNat i, KnownNat j) => Show (Index i j) Source #
Instance details Defined in QLinear.Index Methods showsPrec :: Int -> Index i j -> ShowS # show :: Index i j -> String # showList :: [Index i j] -> ShowS #