LinAlg-0.2.0.0: An interface for specifying linear algebra computations
Numeric.LinAlg.SNat
data SNat :: Nat -> *
Instances
snat :: SNat n -> Int
lit :: KnownNat n => Proxy n -> SNat n
plus :: SNat n -> SNat m -> SNat (n + m)
times :: SNat n -> SNat m -> SNat (n * m)
pow :: SNat n -> SNat m -> SNat (n ^ m)
minus :: SNat n -> SNat m -> Maybe (SNat (n - m))
cmp :: SNat n -> SNat m -> Maybe (n :~: m)
unsafeCoerceSNat :: SNat n -> SNat m