diff options
Diffstat (limited to 'packages/base/src/Internal/Modular.hs')
-rw-r--r-- | packages/base/src/Internal/Modular.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/packages/base/src/Internal/Modular.hs b/packages/base/src/Internal/Modular.hs index 8fa2747..1d8f761 100644 --- a/packages/base/src/Internal/Modular.hs +++ b/packages/base/src/Internal/Modular.hs | |||
@@ -159,6 +159,10 @@ instance KnownNat m => Element (Mod m Z) | |||
159 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | 159 | m' = fromIntegral . natVal $ (undefined :: Proxy m) |
160 | 160 | ||
161 | 161 | ||
162 | instance forall m . KnownNat m => CTrans (Mod m I) | ||
163 | instance forall m . KnownNat m => CTrans (Mod m Z) | ||
164 | |||
165 | |||
162 | instance forall m . KnownNat m => Container Vector (Mod m I) | 166 | instance forall m . KnownNat m => Container Vector (Mod m I) |
163 | where | 167 | where |
164 | conj' = id | 168 | conj' = id |