Basics.BitBool

Documentation

type T = Bool

type T# = Int#

type R = 'IntRep

lift :: T# -> T

unlift :: T -> T#

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

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

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

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

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

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

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

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

def :: T

shows :: T -> String -> String