concat-examples-0.3.0.0: Some examples of compiling to categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.KnownNatOps

Description

Some type families to be used with GHC.KnownNat.Solver

Documentation

type family Div (m :: Nat) (n :: Nat) :: Nat Source #

type family Mod (m :: Nat) (n :: Nat) :: Nat Source #

Orphan instances

(KnownNat a, KnownNat b) => KnownNat2 "Div" a b Source # 
Instance details

Methods

natSing2 :: SNatKn "Div" Source #

(KnownNat a, KnownNat b) => KnownNat2 "Mod" a b Source # 
Instance details

Methods

natSing2 :: SNatKn "Mod" Source #