<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>BasicTypes</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_BasicTypes.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">BasicTypes</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type</span> <a href="#t:Version">Version</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:bumpVersion">bumpVersion</a> :: <a href="BasicTypes.html#t:Version">Version</a> -> <a href="BasicTypes.html#t:Version">Version</a></li><li class="src short"><a href="#v:initialVersion">initialVersion</a> :: <a href="BasicTypes.html#t:Version">Version</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:Arity">Arity</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:Alignment">Alignment</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:FunctionOrData">FunctionOrData</a> <ul class="subs"><li>= <a href="#v:IsFunction">IsFunction</a> </li><li>| <a href="#v:IsData">IsData</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:WarningTxt">WarningTxt</a> <ul class="subs"><li>= <a href="#v:WarningTxt">WarningTxt</a> [<a href="FastString.html#t:FastString">FastString</a>] </li><li>| <a href="#v:DeprecatedTxt">DeprecatedTxt</a> [<a href="FastString.html#t:FastString">FastString</a>] </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Fixity">Fixity</a> = <a href="#v:Fixity">Fixity</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:FixityDirection">FixityDirection</a> <ul class="subs"><li>= <a href="#v:InfixL">InfixL</a> </li><li>| <a href="#v:InfixR">InfixR</a> </li><li>| <a href="#v:InfixN">InfixN</a> </li></ul></li><li class="src short"><a href="#v:defaultFixity">defaultFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a></li><li class="src short"><a href="#v:maxPrecedence">maxPrecedence</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:negateFixity">negateFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a></li><li class="src short"><a href="#v:funTyFixity">funTyFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a></li><li class="src short"><a href="#v:compareFixity">compareFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a> -> <a href="BasicTypes.html#t:Fixity">Fixity</a> -> (<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>)</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:IPName">IPName</a> name = <a href="#v:IPName">IPName</a> name</li><li class="src short"><a href="#v:ipNameName">ipNameName</a> :: <a href="BasicTypes.html#t:IPName">IPName</a> name -> name</li><li class="src short"><a href="#v:mapIPName">mapIPName</a> :: (a -> b) -> <a href="BasicTypes.html#t:IPName">IPName</a> a -> <a href="BasicTypes.html#t:IPName">IPName</a> b</li><li class="src short"><span class="keyword">data</span> <a href="#t:RecFlag">RecFlag</a> <ul class="subs"><li>= <a href="#v:Recursive">Recursive</a> </li><li>| <a href="#v:NonRecursive">NonRecursive</a> </li></ul></li><li class="src short"><a href="#v:isRec">isRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isNonRec">isNonRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:boolToRecFlag">boolToRecFlag</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="BasicTypes.html#t:RecFlag">RecFlag</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:RuleName">RuleName</a> = <a href="FastString.html#t:FastString">FastString</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:TopLevelFlag">TopLevelFlag</a> <ul class="subs"><li>= <a href="#v:TopLevel">TopLevel</a> </li><li>| <a href="#v:NotTopLevel">NotTopLevel</a> </li></ul></li><li class="src short"><a href="#v:isTopLevel">isTopLevel</a> :: <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isNotTopLevel">isNotTopLevel</a> :: <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:OverlapFlag">OverlapFlag</a> <ul class="subs"><li>= <a href="#v:NoOverlap">NoOverlap</a> { <ul class="subs"><li><a href="#v:isSafeOverlap">isSafeOverlap</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li></ul> }</li><li>| <a href="#v:OverlapOk">OverlapOk</a> { <ul class="subs"><li><a href="#v:isSafeOverlap">isSafeOverlap</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li></ul> }</li><li>| <a href="#v:Incoherent">Incoherent</a> { <ul class="subs"><li><a href="#v:isSafeOverlap">isSafeOverlap</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li></ul> }</li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:Boxity">Boxity</a> <ul class="subs"><li>= <a href="#v:Boxed">Boxed</a> </li><li>| <a href="#v:Unboxed">Unboxed</a> </li></ul></li><li class="src short"><a href="#v:isBoxed">isBoxed</a> :: <a href="BasicTypes.html#t:Boxity">Boxity</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:TupleSort">TupleSort</a> <ul class="subs"><li>= <a href="#v:BoxedTuple">BoxedTuple</a> </li><li>| <a href="#v:UnboxedTuple">UnboxedTuple</a> </li><li>| <a href="#v:ConstraintTuple">ConstraintTuple</a> </li></ul></li><li class="src short"><a href="#v:tupleSortBoxity">tupleSortBoxity</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -> <a href="BasicTypes.html#t:Boxity">Boxity</a></li><li class="src short"><a href="#v:boxityNormalTupleSort">boxityNormalTupleSort</a> :: <a href="BasicTypes.html#t:Boxity">Boxity</a> -> <a href="BasicTypes.html#t:TupleSort">TupleSort</a></li><li class="src short"><a href="#v:tupleParens">tupleParens</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:OccInfo">OccInfo</a> <ul class="subs"><li>= <a href="#v:NoOccInfo">NoOccInfo</a> </li><li>| <a href="#v:IAmDead">IAmDead</a> </li><li>| <a href="#v:OneOcc">OneOcc</a> !<a href="BasicTypes.html#t:InsideLam">InsideLam</a> !<a href="BasicTypes.html#t:OneBranch">OneBranch</a> !<a href="BasicTypes.html#t:InterestingCxt">InterestingCxt</a> </li><li>| <a href="#v:IAmALoopBreaker">IAmALoopBreaker</a> !RulesOnly </li></ul></li><li class="src short"><a href="#v:seqOccInfo">seqOccInfo</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> ()</li><li class="src short"><a href="#v:zapFragileOcc">zapFragileOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="BasicTypes.html#t:OccInfo">OccInfo</a></li><li class="src short"><a href="#v:isOneOcc">isOneOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isDeadOcc">isDeadOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isStrongLoopBreaker">isStrongLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isWeakLoopBreaker">isWeakLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isNoOcc">isNoOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:strongLoopBreaker">strongLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a></li><li class="src short"><a href="#v:weakLoopBreaker">weakLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:InsideLam">InsideLam</a> = <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:insideLam">insideLam</a> :: <a href="BasicTypes.html#t:InsideLam">InsideLam</a></li><li class="src short"><a href="#v:notInsideLam">notInsideLam</a> :: <a href="BasicTypes.html#t:InsideLam">InsideLam</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:OneBranch">OneBranch</a> = <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:oneBranch">oneBranch</a> :: <a href="BasicTypes.html#t:OneBranch">OneBranch</a></li><li class="src short"><a href="#v:notOneBranch">notOneBranch</a> :: <a href="BasicTypes.html#t:OneBranch">OneBranch</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:InterestingCxt">InterestingCxt</a> = <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:EP">EP</a> a = <a href="#v:EP">EP</a> {<ul class="subs"><li><a href="#v:fromEP">fromEP</a> :: a</li><li><a href="#v:toEP">toEP</a> :: a</li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:HsBang">HsBang</a> <ul class="subs"><li>= <a href="#v:HsNoBang">HsNoBang</a> </li><li>| <a href="#v:HsStrict">HsStrict</a> </li><li>| <a href="#v:HsUnpack">HsUnpack</a> </li><li>| <a href="#v:HsUnpackFailed">HsUnpackFailed</a> </li><li>| <a href="#v:HsNoUnpack">HsNoUnpack</a> </li></ul></li><li class="src short"><a href="#v:isBanged">isBanged</a> :: <a href="BasicTypes.html#t:HsBang">HsBang</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isMarkedUnboxed">isMarkedUnboxed</a> :: <a href="BasicTypes.html#t:HsBang">HsBang</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:StrictnessMark">StrictnessMark</a> <ul class="subs"><li>= <a href="#v:MarkedStrict">MarkedStrict</a> </li><li>| <a href="#v:NotMarkedStrict">NotMarkedStrict</a> </li></ul></li><li class="src short"><a href="#v:isMarkedStrict">isMarkedStrict</a> :: <a href="BasicTypes.html#t:StrictnessMark">StrictnessMark</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:DefMethSpec">DefMethSpec</a> <ul class="subs"><li>= <a href="#v:NoDM">NoDM</a> </li><li>| <a href="#v:VanillaDM">VanillaDM</a> </li><li>| <a href="#v:GenericDM">GenericDM</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:CompilerPhase">CompilerPhase</a> <ul class="subs"><li>= <a href="#v:Phase">Phase</a> <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a> </li><li>| <a href="#v:InitialPhase">InitialPhase</a> </li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:PhaseNum">PhaseNum</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Activation">Activation</a> <ul class="subs"><li>= <a href="#v:NeverActive">NeverActive</a> </li><li>| <a href="#v:AlwaysActive">AlwaysActive</a> </li><li>| <a href="#v:ActiveBefore">ActiveBefore</a> <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a> </li><li>| <a href="#v:ActiveAfter">ActiveAfter</a> <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a> </li></ul></li><li class="src short"><a href="#v:isActive">isActive</a> :: <a href="BasicTypes.html#t:CompilerPhase">CompilerPhase</a> -> <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isActiveIn">isActiveIn</a> :: <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a> -> <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isNeverActive">isNeverActive</a> :: <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isAlwaysActive">isAlwaysActive</a> :: <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isEarlyActive">isEarlyActive</a> :: <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:RuleMatchInfo">RuleMatchInfo</a> <ul class="subs"><li>= <a href="#v:ConLike">ConLike</a> </li><li>| <a href="#v:FunLike">FunLike</a> </li></ul></li><li class="src short"><a href="#v:isConLike">isConLike</a> :: <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isFunLike">isFunLike</a> :: <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:InlineSpec">InlineSpec</a> <ul class="subs"><li>= <a href="#v:Inline">Inline</a> </li><li>| <a href="#v:Inlinable">Inlinable</a> </li><li>| <a href="#v:NoInline">NoInline</a> </li><li>| <a href="#v:EmptyInlineSpec">EmptyInlineSpec</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:InlinePragma">InlinePragma</a> = <a href="#v:InlinePragma">InlinePragma</a> {<ul class="subs"><li><a href="#v:inl_inline">inl_inline</a> :: <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></li><li><a href="#v:inl_sat">inl_sat</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="BasicTypes.html#t:Arity">Arity</a></li><li><a href="#v:inl_act">inl_act</a> :: <a href="BasicTypes.html#t:Activation">Activation</a></li><li><a href="#v:inl_rule">inl_rule</a> :: <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></li></ul>}</li><li class="src short"><a href="#v:defaultInlinePragma">defaultInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></li><li class="src short"><a href="#v:alwaysInlinePragma">alwaysInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></li><li class="src short"><a href="#v:neverInlinePragma">neverInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></li><li class="src short"><a href="#v:dfunInlinePragma">dfunInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></li><li class="src short"><a href="#v:isDefaultInlinePragma">isDefaultInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isInlinePragma">isInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isInlinablePragma">isInlinablePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isAnyInlinePragma">isAnyInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:inlinePragmaSpec">inlinePragmaSpec</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></li><li class="src short"><a href="#v:inlinePragmaSat">inlinePragmaSat</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="BasicTypes.html#t:Arity">Arity</a></li><li class="src short"><a href="#v:inlinePragmaActivation">inlinePragmaActivation</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:Activation">Activation</a></li><li class="src short"><a href="#v:inlinePragmaRuleMatchInfo">inlinePragmaRuleMatchInfo</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></li><li class="src short"><a href="#v:setInlinePragmaActivation">setInlinePragmaActivation</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></li><li class="src short"><a href="#v:setInlinePragmaRuleMatchInfo">setInlinePragmaRuleMatchInfo</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a> -> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:SuccessFlag">SuccessFlag</a> <ul class="subs"><li>= <a href="#v:Succeeded">Succeeded</a> </li><li>| <a href="#v:Failed">Failed</a> </li></ul></li><li class="src short"><a href="#v:succeeded">succeeded</a> :: <a href="BasicTypes.html#t:SuccessFlag">SuccessFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:failed">failed</a> :: <a href="BasicTypes.html#t:SuccessFlag">SuccessFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:successIf">successIf</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="BasicTypes.html#t:SuccessFlag">SuccessFlag</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:FractionalLit">FractionalLit</a> = <a href="#v:FL">FL</a> {<ul class="subs"><li><a href="#v:fl_text">fl_text</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></li><li><a href="#v:fl_value">fl_value</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a></li></ul>}</li><li class="src short"><a href="#v:negateFractionalLit">negateFractionalLit</a> :: <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a> -> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></li><li class="src short"><a href="#v:integralFractionalLit">integralFractionalLit</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Version" class="def">Version</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:bumpVersion" class="def">bumpVersion</a> :: <a href="BasicTypes.html#t:Version">Version</a> -> <a href="BasicTypes.html#t:Version">Version</a></p></div><div class="top"><p class="src"><a name="v:initialVersion" class="def">initialVersion</a> :: <a href="BasicTypes.html#t:Version">Version</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Arity" class="def">Arity</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Alignment" class="def">Alignment</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FunctionOrData" class="def">FunctionOrData</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IsFunction" class="def">IsFunction</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IsData" class="def">IsData</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:FunctionOrData" class="caption collapser" onclick="toggleSection('i:FunctionOrData')">Instances</p><div id="section.i:FunctionOrData" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:FunctionOrData">FunctionOrData</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:FunctionOrData">FunctionOrData</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="BasicTypes.html#t:FunctionOrData">FunctionOrData</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:FunctionOrData">FunctionOrData</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:FunctionOrData">FunctionOrData</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:FunctionOrData">FunctionOrData</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:WarningTxt" class="def">WarningTxt</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:WarningTxt" class="def">WarningTxt</a> [<a href="FastString.html#t:FastString">FastString</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DeprecatedTxt" class="def">DeprecatedTxt</a> [<a href="FastString.html#t:FastString">FastString</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:WarningTxt" class="caption collapser" onclick="toggleSection('i:WarningTxt')">Instances</p><div id="section.i:WarningTxt" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:WarningTxt">WarningTxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:WarningTxt">WarningTxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:WarningTxt">WarningTxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:WarningTxt">WarningTxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:WarningTxt">WarningTxt</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Fixity" class="def">Fixity</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Fixity" class="def">Fixity</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Fixity" class="caption collapser" onclick="toggleSection('i:Fixity')">Instances</p><div id="section.i:Fixity" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:Fixity">Fixity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:Fixity">Fixity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:Fixity">Fixity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:Fixity">Fixity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:Fixity">Fixity</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FixityDirection" class="def">FixityDirection</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:InfixL" class="def">InfixL</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InfixR" class="def">InfixR</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InfixN" class="def">InfixN</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:FixityDirection" class="caption collapser" onclick="toggleSection('i:FixityDirection')">Instances</p><div id="section.i:FixityDirection" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:defaultFixity" class="def">defaultFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a></p></div><div class="top"><p class="src"><a name="v:maxPrecedence" class="def">maxPrecedence</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:negateFixity" class="def">negateFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a></p></div><div class="top"><p class="src"><a name="v:funTyFixity" class="def">funTyFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a></p></div><div class="top"><p class="src"><a name="v:compareFixity" class="def">compareFixity</a> :: <a href="BasicTypes.html#t:Fixity">Fixity</a> -> <a href="BasicTypes.html#t:Fixity">Fixity</a> -> (<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>)</p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a name="t:IPName" class="def">IPName</a> name </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IPName" class="def">IPName</a> name</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IPName" class="caption collapser" onclick="toggleSection('i:IPName')">Instances</p><div id="section.i:IPName" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:Functor">Functor</a> <a href="BasicTypes.html#t:IPName">IPName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="BasicTypes.html#t:IPName">IPName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> name => <a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="BasicTypes.html#t:IPName">IPName</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> name => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="BasicTypes.html#t:IPName">IPName</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> name => <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> (<a href="BasicTypes.html#t:IPName">IPName</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> name => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="BasicTypes.html#t:IPName">IPName</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Unique.html#t:Uniquable">Uniquable</a> n => <a href="Unique.html#t:Uniquable">Uniquable</a> (<a href="BasicTypes.html#t:IPName">IPName</a> n)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> name => <a href="Binary.html#t:Binary">Binary</a> (<a href="BasicTypes.html#t:IPName">IPName</a> name)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:ipNameName" class="def">ipNameName</a> :: <a href="BasicTypes.html#t:IPName">IPName</a> name -> name</p></div><div class="top"><p class="src"><a name="v:mapIPName" class="def">mapIPName</a> :: (a -> b) -> <a href="BasicTypes.html#t:IPName">IPName</a> a -> <a href="BasicTypes.html#t:IPName">IPName</a> b</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:RecFlag" class="def">RecFlag</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Recursive" class="def">Recursive</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NonRecursive" class="def">NonRecursive</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:RecFlag" class="caption collapser" onclick="toggleSection('i:RecFlag')">Instances</p><div id="section.i:RecFlag" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:RecFlag">RecFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:RecFlag">RecFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:RecFlag">RecFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:RecFlag">RecFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:RecFlag">RecFlag</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isRec" class="def">isRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isNonRec" class="def">isNonRec</a> :: <a href="BasicTypes.html#t:RecFlag">RecFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:boolToRecFlag" class="def">boolToRecFlag</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="BasicTypes.html#t:RecFlag">RecFlag</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:RuleName" class="def">RuleName</a> = <a href="FastString.html#t:FastString">FastString</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TopLevelFlag" class="def">TopLevelFlag</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TopLevel" class="def">TopLevel</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NotTopLevel" class="def">NotTopLevel</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TopLevelFlag" class="caption collapser" onclick="toggleSection('i:TopLevelFlag')">Instances</p><div id="section.i:TopLevelFlag" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isTopLevel" class="def">isTopLevel</a> :: <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isNotTopLevel" class="def">isNotTopLevel</a> :: <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:OverlapFlag" class="def">OverlapFlag</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NoOverlap" class="def">NoOverlap</a></td><td class="doc"><p>This instance must not overlap another
</p></td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:isSafeOverlap" class="def">isSafeOverlap</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:OverlapOk" class="def">OverlapOk</a></td><td class="doc"><p>Silently ignore this instance if you find a
more specific one that matches the constraint
you are trying to resolve
</p><p>Example: constraint (Foo [Int])
instances (Foo [Int])
(Foo [a]) OverlapOk
Since the second instance has the OverlapOk flag,
the first instance will be chosen (otherwise
its ambiguous which to choose)
</p></td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:isSafeOverlap" class="def">isSafeOverlap</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:Incoherent" class="def">Incoherent</a></td><td class="doc"><p>Like OverlapOk, but also ignore this instance
if it doesn't match the constraint you are
trying to resolve, but could match if the type variables
in the constraint were instantiated
</p><p>Example: constraint (Foo [b])
instances (Foo [Int]) Incoherent
(Foo [a])
Without the Incoherent flag, we'd complain that
instantiating <code>b</code> would change which instance
was chosen
</p></td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:isSafeOverlap" class="def">isSafeOverlap</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:OverlapFlag" class="caption collapser" onclick="toggleSection('i:OverlapFlag')">Instances</p><div id="section.i:OverlapFlag" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:OverlapFlag">OverlapFlag</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Boxity" class="def">Boxity</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Boxed" class="def">Boxed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Unboxed" class="def">Unboxed</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Boxity" class="caption collapser" onclick="toggleSection('i:Boxity')">Instances</p><div id="section.i:Boxity" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:Boxity">Boxity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:Boxity">Boxity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:Boxity">Boxity</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isBoxed" class="def">isBoxed</a> :: <a href="BasicTypes.html#t:Boxity">Boxity</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TupleSort" class="def">TupleSort</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:BoxedTuple" class="def">BoxedTuple</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:UnboxedTuple" class="def">UnboxedTuple</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ConstraintTuple" class="def">ConstraintTuple</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TupleSort" class="caption collapser" onclick="toggleSection('i:TupleSort')">Instances</p><div id="section.i:TupleSort" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:TupleSort">TupleSort</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:TupleSort">TupleSort</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:TupleSort">TupleSort</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:TupleSort">TupleSort</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:tupleSortBoxity" class="def">tupleSortBoxity</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -> <a href="BasicTypes.html#t:Boxity">Boxity</a></p></div><div class="top"><p class="src"><a name="v:boxityNormalTupleSort" class="def">boxityNormalTupleSort</a> :: <a href="BasicTypes.html#t:Boxity">Boxity</a> -> <a href="BasicTypes.html#t:TupleSort">TupleSort</a></p></div><div class="top"><p class="src"><a name="v:tupleParens" class="def">tupleParens</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:OccInfo" class="def">OccInfo</a> </p><div class="doc"><p>Identifier occurrence information
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NoOccInfo" class="def">NoOccInfo</a></td><td class="doc"><p>There are many occurrences, or unknown occurences
</p></td></tr><tr><td class="src"><a name="v:IAmDead" class="def">IAmDead</a></td><td class="doc"><p>Marks unused variables. Sometimes useful for
lambda and case-bound variables.
</p></td></tr><tr><td class="src"><a name="v:OneOcc" class="def">OneOcc</a> !<a href="BasicTypes.html#t:InsideLam">InsideLam</a> !<a href="BasicTypes.html#t:OneBranch">OneBranch</a> !<a href="BasicTypes.html#t:InterestingCxt">InterestingCxt</a></td><td class="doc"><p>Occurs exactly once, not inside a rule
</p></td></tr><tr><td class="src"><a name="v:IAmALoopBreaker" class="def">IAmALoopBreaker</a> !RulesOnly</td><td class="doc"><p>This identifier breaks a loop of mutually recursive functions. The field
marks whether it is only a loop breaker due to a reference in a rule
</p></td></tr></table></div><div class="subs instances"><p id="control.i:OccInfo" class="caption collapser" onclick="toggleSection('i:OccInfo')">Instances</p><div id="section.i:OccInfo" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="BasicTypes.html#t:OccInfo">OccInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:OccInfo">OccInfo</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:seqOccInfo" class="def">seqOccInfo</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> ()</p></div><div class="top"><p class="src"><a name="v:zapFragileOcc" class="def">zapFragileOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="BasicTypes.html#t:OccInfo">OccInfo</a></p></div><div class="top"><p class="src"><a name="v:isOneOcc" class="def">isOneOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isDeadOcc" class="def">isDeadOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isStrongLoopBreaker" class="def">isStrongLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isWeakLoopBreaker" class="def">isWeakLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isNoOcc" class="def">isNoOcc</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:strongLoopBreaker" class="def">strongLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a></p></div><div class="top"><p class="src"><a name="v:weakLoopBreaker" class="def">weakLoopBreaker</a> :: <a href="BasicTypes.html#t:OccInfo">OccInfo</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InsideLam" class="def">InsideLam</a> = <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:insideLam" class="def">insideLam</a> :: <a href="BasicTypes.html#t:InsideLam">InsideLam</a></p></div><div class="top"><p class="src"><a name="v:notInsideLam" class="def">notInsideLam</a> :: <a href="BasicTypes.html#t:InsideLam">InsideLam</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OneBranch" class="def">OneBranch</a> = <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:oneBranch" class="def">oneBranch</a> :: <a href="BasicTypes.html#t:OneBranch">OneBranch</a></p></div><div class="top"><p class="src"><a name="v:notOneBranch" class="def">notOneBranch</a> :: <a href="BasicTypes.html#t:OneBranch">OneBranch</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InterestingCxt" class="def">InterestingCxt</a> = <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:EP" class="def">EP</a> a </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EP" class="def">EP</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:fromEP" class="def">fromEP</a> :: a</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:toEP" class="def">toEP</a> :: a</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsBang" class="def">HsBang</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsNoBang" class="def">HsNoBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsStrict" class="def">HsStrict</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsUnpack" class="def">HsUnpack</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsUnpackFailed" class="def">HsUnpackFailed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsNoUnpack" class="def">HsNoUnpack</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsBang" class="caption collapser" onclick="toggleSection('i:HsBang')">Instances</p><div id="section.i:HsBang" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isBanged" class="def">isBanged</a> :: <a href="BasicTypes.html#t:HsBang">HsBang</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isMarkedUnboxed" class="def">isMarkedUnboxed</a> :: <a href="BasicTypes.html#t:HsBang">HsBang</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:StrictnessMark" class="def">StrictnessMark</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:MarkedStrict" class="def">MarkedStrict</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NotMarkedStrict" class="def">NotMarkedStrict</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:StrictnessMark" class="caption collapser" onclick="toggleSection('i:StrictnessMark')">Instances</p><div id="section.i:StrictnessMark" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:StrictnessMark">StrictnessMark</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isMarkedStrict" class="def">isMarkedStrict</a> :: <a href="BasicTypes.html#t:StrictnessMark">StrictnessMark</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:DefMethSpec" class="def">DefMethSpec</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NoDM" class="def">NoDM</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:VanillaDM" class="def">VanillaDM</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:GenericDM" class="def">GenericDM</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:DefMethSpec" class="caption collapser" onclick="toggleSection('i:DefMethSpec')">Instances</p><div id="section.i:DefMethSpec" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:DefMethSpec">DefMethSpec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:DefMethSpec">DefMethSpec</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:CompilerPhase" class="def">CompilerPhase</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Phase" class="def">Phase</a> <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InitialPhase" class="def">InitialPhase</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:CompilerPhase" class="caption collapser" onclick="toggleSection('i:CompilerPhase')">Instances</p><div id="section.i:CompilerPhase" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:CompilerPhase">CompilerPhase</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:PhaseNum" class="def">PhaseNum</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Activation" class="def">Activation</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NeverActive" class="def">NeverActive</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AlwaysActive" class="def">AlwaysActive</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ActiveBefore" class="def">ActiveBefore</a> <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ActiveAfter" class="def">ActiveAfter</a> <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Activation" class="caption collapser" onclick="toggleSection('i:Activation')">Instances</p><div id="section.i:Activation" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:Activation">Activation</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:Activation">Activation</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:Activation">Activation</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:Activation">Activation</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:Activation">Activation</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isActive" class="def">isActive</a> :: <a href="BasicTypes.html#t:CompilerPhase">CompilerPhase</a> -> <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isActiveIn" class="def">isActiveIn</a> :: <a href="BasicTypes.html#t:PhaseNum">PhaseNum</a> -> <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isNeverActive" class="def">isNeverActive</a> :: <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isAlwaysActive" class="def">isAlwaysActive</a> :: <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isEarlyActive" class="def">isEarlyActive</a> :: <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:RuleMatchInfo" class="def">RuleMatchInfo</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ConLike" class="def">ConLike</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:FunLike" class="def">FunLike</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:RuleMatchInfo" class="caption collapser" onclick="toggleSection('i:RuleMatchInfo')">Instances</p><div id="section.i:RuleMatchInfo" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isConLike" class="def">isConLike</a> :: <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isFunLike" class="def">isFunLike</a> :: <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:InlineSpec" class="def">InlineSpec</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Inline" class="def">Inline</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Inlinable" class="def">Inlinable</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NoInline" class="def">NoInline</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EmptyInlineSpec" class="def">EmptyInlineSpec</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:InlineSpec" class="caption collapser" onclick="toggleSection('i:InlineSpec')">Instances</p><div id="section.i:InlineSpec" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:InlinePragma" class="def">InlinePragma</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:InlinePragma" class="def">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:inl_inline" class="def">inl_inline</a> :: <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:inl_sat" class="def">inl_sat</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="BasicTypes.html#t:Arity">Arity</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:inl_act" class="def">inl_act</a> :: <a href="BasicTypes.html#t:Activation">Activation</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:inl_rule" class="def">inl_rule</a> :: <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:InlinePragma" class="caption collapser" onclick="toggleSection('i:InlinePragma')">Instances</p><div id="section.i:InlinePragma" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:defaultInlinePragma" class="def">defaultInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></p></div><div class="top"><p class="src"><a name="v:alwaysInlinePragma" class="def">alwaysInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></p></div><div class="top"><p class="src"><a name="v:neverInlinePragma" class="def">neverInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></p></div><div class="top"><p class="src"><a name="v:dfunInlinePragma" class="def">dfunInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></p></div><div class="top"><p class="src"><a name="v:isDefaultInlinePragma" class="def">isDefaultInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isInlinePragma" class="def">isInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isInlinablePragma" class="def">isInlinablePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isAnyInlinePragma" class="def">isAnyInlinePragma</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:inlinePragmaSpec" class="def">inlinePragmaSpec</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:InlineSpec">InlineSpec</a></p></div><div class="top"><p class="src"><a name="v:inlinePragmaSat" class="def">inlinePragmaSat</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="BasicTypes.html#t:Arity">Arity</a></p></div><div class="top"><p class="src"><a name="v:inlinePragmaActivation" class="def">inlinePragmaActivation</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:Activation">Activation</a></p></div><div class="top"><p class="src"><a name="v:inlinePragmaRuleMatchInfo" class="def">inlinePragmaRuleMatchInfo</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a></p></div><div class="top"><p class="src"><a name="v:setInlinePragmaActivation" class="def">setInlinePragmaActivation</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:Activation">Activation</a> -> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></p></div><div class="top"><p class="src"><a name="v:setInlinePragmaRuleMatchInfo" class="def">setInlinePragmaRuleMatchInfo</a> :: <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a> -> <a href="BasicTypes.html#t:RuleMatchInfo">RuleMatchInfo</a> -> <a href="BasicTypes.html#t:InlinePragma">InlinePragma</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:SuccessFlag" class="def">SuccessFlag</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Succeeded" class="def">Succeeded</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Failed" class="def">Failed</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:SuccessFlag" class="caption collapser" onclick="toggleSection('i:SuccessFlag')">Instances</p><div id="section.i:SuccessFlag" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:SuccessFlag">SuccessFlag</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:succeeded" class="def">succeeded</a> :: <a href="BasicTypes.html#t:SuccessFlag">SuccessFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:failed" class="def">failed</a> :: <a href="BasicTypes.html#t:SuccessFlag">SuccessFlag</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:successIf" class="def">successIf</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="BasicTypes.html#t:SuccessFlag">SuccessFlag</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FractionalLit" class="def">FractionalLit</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FL" class="def">FL</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:fl_text" class="def">fl_text</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:fl_value" class="def">fl_value</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:FractionalLit" class="caption collapser" onclick="toggleSection('i:FractionalLit')">Instances</p><div id="section.i:FractionalLit" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:negateFractionalLit" class="def">negateFractionalLit</a> :: <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a> -> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></p></div><div class="top"><p class="src"><a name="v:integralFractionalLit" class="def">integralFractionalLit</a> :: <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="BasicTypes.html#t:FractionalLit">FractionalLit</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2763
