| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Crypto.Math.NatMath
Documentation
type family Div8 (bitLen :: Nat ) :: Nat where ... Source #
Equations
| Div8 0 = 0 | |
| Div8 1 = 0 | |
| Div8 2 = 0 | |
| Div8 3 = 0 | |
| Div8 4 = 0 | |
| Div8 5 = 0 | |
| Div8 6 = 0 | |
| Div8 7 = 0 | |
| Div8 8 = 1 | |
| Div8 9 = 1 | |
| Div8 10 = 1 | |
| Div8 11 = 1 | |
| Div8 12 = 1 | |
| Div8 13 = 1 | |
| Div8 14 = 1 | |
| Div8 15 = 1 | |
| Div8 16 = 2 | |
| Div8 17 = 2 | |
| Div8 18 = 2 | |
| Div8 19 = 2 | |
| Div8 20 = 2 | |
| Div8 21 = 2 | |
| Div8 22 = 2 | |
| Div8 23 = 2 | |
| Div8 24 = 3 | |
| Div8 25 = 3 | |
| Div8 26 = 3 | |
| Div8 27 = 3 | |
| Div8 28 = 3 | |
| Div8 29 = 3 | |
| Div8 30 = 3 | |
| Div8 31 = 3 | |
| Div8 32 = 4 | |
| Div8 33 = 4 | |
| Div8 34 = 4 | |
| Div8 35 = 4 | |
| Div8 36 = 4 | |
| Div8 37 = 4 | |
| Div8 38 = 4 | |
| Div8 39 = 4 | |
| Div8 40 = 5 | |
| Div8 41 = 5 | |
| Div8 42 = 5 | |
| Div8 43 = 5 | |
| Div8 44 = 5 | |
| Div8 45 = 5 | |
| Div8 46 = 5 | |
| Div8 47 = 5 | |
| Div8 48 = 6 | |
| Div8 49 = 6 | |
| Div8 50 = 6 | |
| Div8 51 = 6 | |
| Div8 52 = 6 | |
| Div8 53 = 6 | |
| Div8 54 = 6 | |
| Div8 55 = 6 | |
| Div8 56 = 7 | |
| Div8 57 = 7 | |
| Div8 58 = 7 | |
| Div8 59 = 7 | |
| Div8 60 = 7 | |
| Div8 61 = 7 | |
| Div8 62 = 7 | |
| Div8 63 = 7 | |
| Div8 64 = 8 | |
| Div8 n = 8 + Div8 (n - 64) |
type family IsDiv8 (bitLen :: Nat ) (n :: Nat ) where ... Source #
Equations
| IsDiv8 bitLen 0 = ' True | |
| IsDiv8 bitLen 1 = TypeError ((' Text "bitLen " :<>: ' ShowType bitLen) :<>: ' Text " is not divisible by 8") | |
| IsDiv8 bitLen 2 = TypeError ((' Text "bitLen " :<>: ' ShowType bitLen) :<>: ' Text " is not divisible by 8") | |
| IsDiv8 bitLen 3 = TypeError ((' Text "bitLen " :<>: ' ShowType bitLen) :<>: ' Text " is not divisible by 8") | |
| IsDiv8 bitLen 4 = TypeError ((' Text "bitLen " :<>: ' ShowType bitLen) :<>: ' Text " is not divisible by 8") | |
| IsDiv8 bitLen 5 = TypeError ((' Text "bitLen " :<>: ' ShowType bitLen) :<>: ' Text " is not divisible by 8") | |
| IsDiv8 bitLen 6 = TypeError ((' Text "bitLen " :<>: ' ShowType bitLen) :<>: ' Text " is not divisible by 8") | |
| IsDiv8 bitLen 7 = TypeError ((' Text "bitLen " :<>: ' ShowType bitLen) :<>: ' Text " is not divisible by 8") | |
| IsDiv8 bitLen n = IsDiv8 n ( Mod8 n) |
type family Mod8 (n :: Nat ) where ... Source #
Equations
| Mod8 0 = 0 | |
| Mod8 1 = 1 | |
| Mod8 2 = 2 | |
| Mod8 3 = 3 | |
| Mod8 4 = 4 | |
| Mod8 5 = 5 | |
| Mod8 6 = 6 | |
| Mod8 7 = 7 | |
| Mod8 8 = 0 | |
| Mod8 9 = 1 | |
| Mod8 10 = 2 | |
| Mod8 11 = 3 | |
| Mod8 12 = 4 | |
| Mod8 13 = 5 | |
| Mod8 14 = 6 | |
| Mod8 15 = 7 | |
| Mod8 16 = 0 | |
| Mod8 17 = 1 | |
| Mod8 18 = 2 | |
| Mod8 19 = 3 | |
| Mod8 20 = 4 | |
| Mod8 21 = 5 | |
| Mod8 22 = 6 | |
| Mod8 23 = 7 | |
| Mod8 24 = 0 | |
| Mod8 25 = 1 | |
| Mod8 26 = 2 | |
| Mod8 27 = 3 | |
| Mod8 28 = 4 | |
| Mod8 29 = 5 | |
| Mod8 30 = 6 | |
| Mod8 31 = 7 | |
| Mod8 32 = 0 | |
| Mod8 33 = 1 | |
| Mod8 34 = 2 | |
| Mod8 35 = 3 | |
| Mod8 36 = 4 | |
| Mod8 37 = 5 | |
| Mod8 38 = 6 | |
| Mod8 39 = 7 | |
| Mod8 40 = 0 | |
| Mod8 41 = 1 | |
| Mod8 42 = 2 | |
| Mod8 43 = 3 | |
| Mod8 44 = 4 | |
| Mod8 45 = 5 | |
| Mod8 46 = 6 | |
| Mod8 47 = 7 | |
| Mod8 48 = 0 | |
| Mod8 49 = 1 | |
| Mod8 50 = 2 | |
| Mod8 51 = 3 | |
| Mod8 52 = 4 | |
| Mod8 53 = 5 | |
| Mod8 54 = 6 | |
| Mod8 55 = 7 | |
| Mod8 56 = 0 | |
| Mod8 57 = 1 | |
| Mod8 58 = 2 | |
| Mod8 59 = 3 | |
| Mod8 60 = 4 | |
| Mod8 61 = 5 | |
| Mod8 62 = 6 | |
| Mod8 63 = 7 | |
| Mod8 n = Mod8 (n - 64) |
type IsDivisibleBy8 bitLen = IsDiv8 bitLen bitLen ~ ' True Source #