Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Compile-time settings
Synopsis
Documentation
mAX_TUPLE_SIZE :: Int Source #
mAX_SUM_SIZE :: Int Source #
mAX_REDUCTION_DEPTH :: Int Source #
Default maximum depth for both class instance search and type family reduction. See also #5395.
mAX_SOLVER_ITERATIONS :: Int Source #
Default maximum constraint-solver iterations Typically there should be very few
mAX_QC_FUEL :: Int Source #
In case of loopy quantified costraints constraints, how many times should we allow superclass expansions Should be less than mAX_SOLVER_ITERATIONS See Note [Expanding Recursive Superclasses and ExpansionFuel]
mAX_WANTEDS_FUEL :: Int Source #
In case of loopy wanted constraints, how many times should we allow superclass expansions Should be less than mAX_GIVENS_FUEL See Note [Expanding Recursive Superclasses and ExpansionFuel]
mAX_GIVENS_FUEL :: Int Source #
In case of loopy given constraints, how many times should we allow superclass expansions Should be less than max_SOLVER_ITERATIONS See Note [Expanding Recursive Superclasses and ExpansionFuel]
wORD64_SIZE :: Int Source #
fLOAT_SIZE :: Int Source #
dOUBLE_SIZE :: Int Source #