<!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>HsPat</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_HsPat.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">HsPat</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Pat" class="def">Pat</a> id </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:WildPat" class="def">WildPat</a> <a href="HsLit.html#t:PostTcType">PostTcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:VarPat" class="def">VarPat</a> id</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:LazyPat" class="def">LazyPat</a> (<a href="HsPat.html#t:LPat">LPat</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AsPat" class="def">AsPat</a> (<a href="SrcLoc.html#t:Located">Located</a> id) (<a href="HsPat.html#t:LPat">LPat</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ParPat" class="def">ParPat</a> (<a href="HsPat.html#t:LPat">LPat</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:BangPat" class="def">BangPat</a> (<a href="HsPat.html#t:LPat">LPat</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ListPat" class="def">ListPat</a> [<a href="HsPat.html#t:LPat">LPat</a> id] <a href="HsLit.html#t:PostTcType">PostTcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TuplePat" class="def">TuplePat</a> [<a href="HsPat.html#t:LPat">LPat</a> id] <a href="BasicTypes.html#t:Boxity">Boxity</a> <a href="HsLit.html#t:PostTcType">PostTcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:PArrPat" class="def">PArrPat</a> [<a href="HsPat.html#t:LPat">LPat</a> id] <a href="HsLit.html#t:PostTcType">PostTcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ConPatIn" class="def">ConPatIn</a> (<a href="SrcLoc.html#t:Located">Located</a> id) (<a href="HsPat.html#t:HsConPatDetails">HsConPatDetails</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ConPatOut" class="def">ConPatOut</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:pat_con" class="def">pat_con</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="DataCon.html#t:DataCon">DataCon</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:pat_tvs" class="def">pat_tvs</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:pat_dicts" class="def">pat_dicts</a> :: [<a href="Var.html#t:EvVar">EvVar</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:pat_binds" class="def">pat_binds</a> :: <a href="TcEvidence.html#t:TcEvBinds">TcEvBinds</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:pat_args" class="def">pat_args</a> :: <a href="HsPat.html#t:HsConPatDetails">HsConPatDetails</a> id</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:pat_ty" class="def">pat_ty</a> :: <a href="Type.html#t:Type">Type</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:ViewPat" class="def">ViewPat</a> (<a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id) (<a href="HsPat.html#t:LPat">LPat</a> id) <a href="HsLit.html#t:PostTcType">PostTcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:QuasiQuotePat" class="def">QuasiQuotePat</a> (<a href="HsTypes.html#t:HsQuasiQuote">HsQuasiQuote</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:LitPat" class="def">LitPat</a> <a href="HsLit.html#t:HsLit">HsLit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NPat" class="def">NPat</a> (<a href="HsLit.html#t:HsOverLit">HsOverLit</a> id) (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsExpr.html#t:SyntaxExpr">SyntaxExpr</a> id)) (<a href="HsExpr.html#t:SyntaxExpr">SyntaxExpr</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NPlusKPat" class="def">NPlusKPat</a> (<a href="SrcLoc.html#t:Located">Located</a> id) (<a href="HsLit.html#t:HsOverLit">HsOverLit</a> id) (<a href="HsExpr.html#t:SyntaxExpr">SyntaxExpr</a> id) (<a href="HsExpr.html#t:SyntaxExpr">SyntaxExpr</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SigPatIn" class="def">SigPatIn</a> (<a href="HsPat.html#t:LPat">LPat</a> id) (<a href="HsTypes.html#t:LHsType">LHsType</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SigPatOut" class="def">SigPatOut</a> (<a href="HsPat.html#t:LPat">LPat</a> id) <a href="Type.html#t:Type">Type</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:CoPat" class="def">CoPat</a> <a href="TcEvidence.html#t:HsWrapper">HsWrapper</a> (<a href="HsPat.html#t:Pat">Pat</a> id) <a href="Type.html#t:Type">Type</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Pat" class="caption collapser" onclick="toggleSection('i:Pat')">Instances</p><div id="section.i:Pat" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsPat.html#t:Pat">Pat</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> id => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsPat.html#t:Pat">Pat</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsPat.html#t:Pat">Pat</a> name)</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:InPat" class="def">InPat</a> id = <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutPat" class="def">OutPat</a> id = <a href="HsPat.html#t:LPat">LPat</a> id</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:LPat" class="def">LPat</a> id = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsPat.html#t:Pat">Pat</a> id)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsConDetails" class="def">HsConDetails</a> arg rec </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:PrefixCon" class="def">PrefixCon</a> [arg]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:RecCon" class="def">RecCon</a> rec</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InfixCon" class="def">InfixCon</a> arg arg</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsConDetails" class="caption collapser" onclick="toggleSection('i:HsConDetails')">Instances</p><div id="section.i:HsConDetails" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> <a href="HsPat.html#t:HsConDetails">HsConDetails</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> arg, <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> rec) => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsPat.html#t:HsConDetails">HsConDetails</a> arg rec)</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:HsConPatDetails" class="def">HsConPatDetails</a> id = <a href="HsPat.html#t:HsConDetails">HsConDetails</a> (<a href="HsPat.html#t:LPat">LPat</a> id) (<a href="HsPat.html#t:HsRecFields">HsRecFields</a> id (<a href="HsPat.html#t:LPat">LPat</a> id))</p></div><div class="top"><p class="src"><a name="v:hsConPatArgs" class="def">hsConPatArgs</a> :: <a href="HsPat.html#t:HsConPatDetails">HsConPatDetails</a> id -> [<a href="HsPat.html#t:LPat">LPat</a> id]</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsRecFields" class="def">HsRecFields</a> id arg </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsRecFields" class="def">HsRecFields</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:rec_flds" class="def">rec_flds</a> :: [<a href="HsPat.html#t:HsRecField">HsRecField</a> id arg]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:rec_dotdot" class="def">rec_dotdot</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</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:HsRecFields" class="caption collapser" onclick="toggleSection('i:HsRecFields')">Instances</p><div id="section.i:HsRecFields" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> <a href="HsPat.html#t:HsRecFields">HsRecFields</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> id, <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> arg) => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsPat.html#t:HsRecFields">HsRecFields</a> id arg)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id, <a href="Outputable.html#t:Outputable">Outputable</a> arg) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsPat.html#t:HsRecFields">HsRecFields</a> id arg)</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:HsRecField" class="def">HsRecField</a> id arg </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsRecField" class="def">HsRecField</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:hsRecFieldId" class="def">hsRecFieldId</a> :: <a href="SrcLoc.html#t:Located">Located</a> id</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:hsRecFieldArg" class="def">hsRecFieldArg</a> :: arg</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:hsRecPun" class="def">hsRecPun</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:HsRecField" class="caption collapser" onclick="toggleSection('i:HsRecField')">Instances</p><div id="section.i:HsRecField" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable2">Typeable2</a> <a href="HsPat.html#t:HsRecField">HsRecField</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> id, <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> arg) => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsPat.html#t:HsRecField">HsRecField</a> id arg)</td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id, <a href="Outputable.html#t:Outputable">Outputable</a> arg) => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsPat.html#t:HsRecField">HsRecField</a> id arg)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:hsRecFields" class="def">hsRecFields</a> :: <a href="HsPat.html#t:HsRecFields">HsRecFields</a> id arg -> [id]</p></div><div class="top"><p class="src"><a name="v:mkPrefixConPat" class="def">mkPrefixConPat</a> :: <a href="DataCon.html#t:DataCon">DataCon</a> -> [<a href="HsPat.html#t:OutPat">OutPat</a> id] -> <a href="Type.html#t:Type">Type</a> -> <a href="HsPat.html#t:OutPat">OutPat</a> id</p></div><div class="top"><p class="src"><a name="v:mkCharLitPat" class="def">mkCharLitPat</a> :: <a href="../base-4.5.1.0/Data-Char.html#t:Char">Char</a> -> <a href="HsPat.html#t:OutPat">OutPat</a> id</p></div><div class="top"><p class="src"><a name="v:mkNilPat" class="def">mkNilPat</a> :: <a href="Type.html#t:Type">Type</a> -> <a href="HsPat.html#t:OutPat">OutPat</a> id</p></div><div class="top"><p class="src"><a name="v:isBangHsBind" class="def">isBangHsBind</a> :: <a href="HsBinds.html#t:HsBind">HsBind</a> id -> <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:isLiftedPatBind" class="def">isLiftedPatBind</a> :: <a href="HsBinds.html#t:HsBind">HsBind</a> id -> <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:isBangLPat" class="def">isBangLPat</a> :: <a href="HsPat.html#t:LPat">LPat</a> id -> <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:hsPatNeedsParens" class="def">hsPatNeedsParens</a> :: <a href="HsPat.html#t:Pat">Pat</a> 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:isIrrefutableHsPat" class="def">isIrrefutableHsPat</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id => <a href="HsPat.html#t:LPat">LPat</a> id -> <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:pprParendLPat" class="def">pprParendLPat</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="HsPat.html#t:LPat">LPat</a> name -> <a href="Outputable.html#t:SDoc">SDoc</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
>
2902
