llvm-dsl-0.1.1: Support for writing an EDSL with LLVM-JIT as target
LLVM.DSL.Debug.Counter
newtype T ident Source #
Constructors
Defined in LLVM.DSL.Debug.Counter
Methods
succ :: T ident -> T ident #
pred :: T ident -> T ident #
toEnum :: Int -> T ident #
fromEnum :: T ident -> Int #
enumFrom :: T ident -> [T ident] #
enumFromThen :: T ident -> T ident -> [T ident] #
enumFromTo :: T ident -> T ident -> [T ident] #
enumFromThenTo :: T ident -> T ident -> T ident -> [T ident] #
(==) :: T ident -> T ident -> Bool #
(/=) :: T ident -> T ident -> Bool #
compare :: T ident -> T ident -> Ordering #
(<) :: T ident -> T ident -> Bool #
(<=) :: T ident -> T ident -> Bool #
(>) :: T ident -> T ident -> Bool #
(>=) :: T ident -> T ident -> Bool #
max :: T ident -> T ident -> T ident #
min :: T ident -> T ident -> T ident #
format :: Int -> T ident -> String Source #
new :: IO (IORef (T ident)) Source #
next :: IORef (T ident) -> IO (T ident) Source #