Constants

Documentation

hiVersion :: Integer

mAX_TUPLE_SIZE :: Int

mAX_CTUPLE_SIZE :: Int

mAX_SUM_SIZE :: Int

mAX_REDUCTION_DEPTH :: Int

Default maximum depth for both class instance search and type family reduction. See also #5395.

mAX_SOLVER_ITERATIONS :: Int

Default maximum constraint-solver iterations Typically there should be very few

wORD64_SIZE :: Int

fLOAT_SIZE :: Int

tARGET_MAX_CHAR :: Int