singleraeh-0.4.0: raehik's singletons
Safe HaskellSafe-Inferred
LanguageGHC2021

Singleraeh.Natural

Documentation

(%+) :: SNat n -> SNat m -> SNat (n + m) infixl 6 Source #

(%-) :: SNat n -> SNat m -> SNat (n - m) infixl 6 Source #

(%*) :: SNat n -> SNat m -> SNat (n * m) infixl 7 Source #

sMod :: SNat n -> SNat m -> SNat (Mod n m) Source #

sDiv :: SNat n -> SNat m -> SNat (Div n m) Source #