Basics.Word256

Documentation

type T = Word256

type T# = (# Word#, Word#, Word#, Word# #)

type R = 'TupleRep '['WordRep, 'WordRep, 'WordRep, 'WordRep]

lift :: T# -> T

unlift :: T -> T#

read# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, T# #)

write# :: MutableByteArray# s -> Int# -> T# -> State# s -> State# s

index# :: ByteArray# -> Int# -> T#

uninitialized# :: Int# -> State# s -> (# State# s, MutableByteArray# s #)

initialized# :: Int# -> T# -> State# s -> (# State# s, MutableByteArray# s #)

copy# :: MutableByteArray# s -> Int# -> ByteArray# -> Int# -> Int# -> State# s -> State# s

copyMutable# :: MutableByteArray# s -> Int# -> MutableByteArray# s -> Int# -> Int# -> State# s -> State# s

set# :: MutableByteArray# s -> Int# -> Int# -> T# -> State# s -> State# s

shrink# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, MutableByteArray# s #)

eq# :: T# -> T# -> Int#

neq# :: T# -> T# -> Int#

shows :: T -> String -> String