IdrisDoc
: Data.Mod2
Index
Data.Mod2
data
Mod2
:
Nat
->
Type
Integers modulo 2^n
MkMod2
:
Bits
n
->
Mod2
n
div
:
Mod2
n
->
Mod2
n
->
Mod2
n
Fixity
Left associative, precedence 9
intToMod
:
Integer
->
Mod2
n
modBin
:
(
Bits
n
->
Bits
n
->
Bits
n
) ->
Mod2
n
->
Mod2
n
->
Mod2
n
rem
:
Mod2
n
->
Mod2
n
->
Mod2
n