opentheory-primitive-1.8: Haskell primitives used by OpenTheory packages (Index)

opentheory-primitive-1.8: Haskell primitives used by OpenTheory packages

Index

and
1 (Function)	OpenTheory.Primitive.Byte
2 (Function)	OpenTheory.Primitive.Word16
assert	OpenTheory.Primitive.Test
bit
1 (Function)	OpenTheory.Primitive.Random
2 (Function)	OpenTheory.Primitive.Byte
3 (Function)	OpenTheory.Primitive.Word16
Byte	OpenTheory.Primitive.Byte
check	OpenTheory.Primitive.Test
fromBytes	OpenTheory.Primitive.Word16
fromInt	OpenTheory.Primitive.Random
fromNatural
1 (Function)	OpenTheory.Primitive.Byte
2 (Function)	OpenTheory.Primitive.Word16
Natural	OpenTheory.Primitive.Natural
not
1 (Function)	OpenTheory.Primitive.Byte
2 (Function)	OpenTheory.Primitive.Word16
or
1 (Function)	OpenTheory.Primitive.Byte
2 (Function)	OpenTheory.Primitive.Word16
Random	OpenTheory.Primitive.Random
shiftLeft
1 (Function)	OpenTheory.Primitive.Natural
2 (Function)	OpenTheory.Primitive.Byte
3 (Function)	OpenTheory.Primitive.Word16
shiftRight
1 (Function)	OpenTheory.Primitive.Natural
2 (Function)	OpenTheory.Primitive.Byte
3 (Function)	OpenTheory.Primitive.Word16
split	OpenTheory.Primitive.Random
toBytes	OpenTheory.Primitive.Word16
toNatural	OpenTheory.Primitive.Byte
Word16	OpenTheory.Primitive.Word16