Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.Level
Documentation
Constructors
Level Int |
Instances
Enum Level Source # | |
Show Level Source # | |
Eq Level Source # | |
Ord Level Source # | |
Prim Level Source # | |
Defined in PureSAT.Level Methods sizeOfType# :: Proxy Level -> Int# alignmentOfType# :: Proxy Level -> Int# alignment# :: Level -> Int# indexByteArray# :: ByteArray# -> Int# -> Level readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Level #) writeByteArray# :: MutableByteArray# s -> Int# -> Level -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Level -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Level readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Level #) writeOffAddr# :: Addr# -> Int# -> Level -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Level -> State# s -> State# s |
isZeroLevel :: Level -> Bool Source #
clearLevels :: Levels s -> ST s () Source #