puresat-0.1: Pure Haskell SAT-solver
Safe HaskellNone
LanguageHaskell2010

PureSAT.Assert

Contents

Synopsis

Documentation

assertST :: HasCallStack => String -> Bool -> ST s () Source #

Utilities

throwST :: Exception e => e -> ST s a Source #

raiseST# :: a -> State# s -> (# State# s, b #) Source #