llvm-dsl-0.1.2: Support for writing an EDSL with LLVM-JIT as target
Safe HaskellSafe-Inferred
LanguageHaskell98

LLVM.DSL.Debug.Counter

Documentation

newtype T ident Source #

Constructors

Cons Int 

Instances

Instances details
Enum (T ident) Source # 
Instance details

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] #

Eq (T ident) Source # 
Instance details

Defined in LLVM.DSL.Debug.Counter

Methods

(==) :: T ident -> T ident -> Bool #

(/=) :: T ident -> T ident -> Bool #

Ord (T ident) Source # 
Instance details

Defined in LLVM.DSL.Debug.Counter

Methods

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 #